Generalized algorithmic debugging and testing
ACM Letters on Programming Languages and Systems (LOPLAS)
Dynamic Verification of C++ Generic Algorithms
IEEE Transactions on Software Engineering - Special issue on formal methods in software practice
Highly reliable upgrading of components
Proceedings of the 21st international conference on Software engineering
Reversible Debugging Using Program Instrumentation
IEEE Transactions on Software Engineering
Debugging natural semantics specifications
Proceedings of the sixth international symposium on Automated analysis-driven debugging
Generic program monitoring by trace analysis
Theory and Practice of Logic Programming
The efficient debugging system for locating logical errors in java programs
ICCSA'03 Proceedings of the 2003 international conference on Computational science and its applications: PartI
Automated debugging in java programs Using HDM
ICCS'03 Proceedings of the 2003 international conference on Computational science
Optimal algorithmic debugging and reduced coverage using search in structured domains
HVC'05 Proceedings of the First Haifa international conference on Hardware and Software Verification and Testing
| Hi-index | 0.00 |