Dan Hao, Lingming Zhang, Lu Zhang, Jiasu Sun and Hong Mei, "VIDA: Visual Interactive Debugging," Proceedings of 31st International Conference on Software Engineering (ICSE 2009), (Formal Tool Demonstration), 16-24 May 2009, pp. 583-586.

 

@inproceedings{DanHaoICSE09T,

  author    = {Dan Hao and Lingming Zhang and Lu Zhang and Jiasu Sun and Hong Mei},

  title     = {{VIDA}: Visual interactive debugging},

  booktitle = {Proc. of ICSE},

  year      = {2009},

  pages     = {583-586}

}