selected publications
-
conference paper
- Debugging with Dynamic Temporal Assertions. 2014 IEEE INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING WORKSHOPS (ISSREW). 257-262. 2014
- An Agent-Oriented Source-Level Debugger on Top of a Monitoring Framework. 2009 Sixth International Conference on Information Technology: New Generations. 241-247. 2009
- Integrating Collaborative Program Development and Debugging within a Virtual Environment. Lecture Notes in Computer Science. 107-120. 2008