PELAS-Program Error-Locating Assistant System
IEEE Transactions on Software Engineering
A review of automated debugging systems: knowledge, strategies and techniques
ICSE '88 Proceedings of the 10th international conference on Software engineering
Inductive Inference: Theory and Methods
ACM Computing Surveys (CSUR)
Algorithmic Debugging and Hypothetical Reasoning
Automated Software Engineering
Constraint Programming: Strategic Directions
Constraints
Isolating cause-effect chains from computer programs
ACM SIGSOFT Software Engineering Notes
Inferring Flow of Control in Program Synthesis by Example
KI '99 Proceedings of the 23rd Annual German Conference on Artificial Intelligence: Advances in Artificial Intelligence
A brief survey of program slicing
ACM SIGSOFT Software Engineering Notes
A Declarative Debugger for Maude
AMAST 2008 Proceedings of the 12th international conference on Algebraic Methodology and Software Technology
Development and Verification of Rule Based Systems -- A Survey of Developers
RuleML '08 Proceedings of the International Symposium on Rule Representation, Interchange and Reasoning on the Web
A Declarative Debugger for Maude Functional Modules
Electronic Notes in Theoretical Computer Science (ENTCS)
Debugging debugging: acm sigsoft impact paper award keynote
Proceedings of the the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
Heuristic and formal methods in automatic program debugging
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 1
Stepping through an answer-set program
LPNMR'11 Proceedings of the 11th international conference on Logic programming and nonmonotonic reasoning
Algorithmic debugging to support cognitive diagnosis in tutoring systems
KI'11 Proceedings of the 34th Annual German conference on Advances in artificial intelligence
Artificial Intelligence in Medicine
Declarative debugging of wrong and missing answers for SQL views
FLOPS'12 Proceedings of the 11th international conference on Functional and Logic Programming
Declarative datalog debugging for mere mortals
Datalog 2.0'12 Proceedings of the Second international conference on Datalog in Academia and Industry
Hi-index | 0.00 |