Verifiable partial specifications for logic programming
SAC '96 Proceedings of the 1996 ACM symposium on Applied Computing
Automated Software Engineering
Algorithmic Debugging and Hypothetical Reasoning
Automated Software Engineering
Comparing Two Models for Software Debugging
KI '01 Proceedings of the Joint German/Austrian Conference on AI: Advances in Artificial Intelligence
Proceedings of the sixth international symposium on Automated analysis-driven debugging
A survey of intelligent debugging
AI Communications
Approximating Extended Answer Sets
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
ICIC'10 Proceedings of the Advanced intelligent computing theories and applications, and 6th international conference on Intelligent computing
Evolutionary repair of faulty software
Applied Soft Computing
Software quality assurance economics
Information and Software Technology
Improved methods and measures for computing dynamic program slices in stochastic simulations
Proceedings of the Winter Simulation Conference
Hi-index | 0.00 |