Oliver Bodemer
IBM J. Res. Dev
In this paper, we present Vagabond, a system that uses a novel holistic approach to help users to understand and debug data exchange scenarios. Developing such a scenario is a complex and labor-intensive process where errors are often only revealed in the target instance produced as the result of this process. This makes it very hard to debug such scenarios, especially for non-power users. Vagabond aides a user in debugging by automatically generating possible explanations for target instance errors identified by the user.
Oliver Bodemer
IBM J. Res. Dev
Pradip Bose
VTS 1998
Khaled A.S. Abdel-Ghaffar
IEEE Trans. Inf. Theory
Eric Price, David P. Woodruff
FOCS 2011