Yao Qi, Raja Das, et al.
ISSTA 2009
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.
Yao Qi, Raja Das, et al.
ISSTA 2009
Charles H. Bennett, Aram W. Harrow, et al.
IEEE Trans. Inf. Theory
Pradip Bose
VTS 1998
Ruixiong Tian, Zhe Xiang, et al.
Qinghua Daxue Xuebao/Journal of Tsinghua University