György E. Révész
Theoretical Computer Science
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.
György E. Révész
Theoretical Computer Science
John M. Boyer, Charles F. Wiecha
DocEng 2009
Limin Hu
IEEE/ACM Transactions on Networking
Charles H. Bennett, Aram W. Harrow, et al.
IEEE Trans. Inf. Theory