The category-partition method for specifying and generating fuctional tests
Communications of the ACM
Interprocedural slicing using dependence graphs
ACM Transactions on Programming Languages and Systems (TOPLAS)
SYS/3—a software development tool
CC '90 Proceedings of the third international workshop on Compiler compilers
Algorithmic Program DeBugging
An efficient way to find the side effects of procedure calls and the aliases of variables
POPL '79 Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Bug Localization by Algorithmic Debugging and Program Slicing
PLILP '90 Proceedings of the 2nd International Workshop on Programming Language Implementation and Logic Programming
Single-Assignment Semantics for Imperative Programs
PARLE '89 Proceedings of the Parallel Architectures and Languages Europe, Volume II: Parallel Languages
A method for determining the side effects of procedure calls.
A method for determining the side effects of procedure calls.
Generalized algorithmic debugging and testing
ACM Letters on Programming Languages and Systems (LOPLAS)
Implicit-specification errors and automatic, trace-based debugging
CSC '93 Proceedings of the 1993 ACM conference on Computer science
An overview of debugging tools
ACM SIGSOFT Software Engineering Notes
Software unit test coverage and adequacy
ACM Computing Surveys (CSUR)
Experimental Evaluation of Program Slicing for Fault Localization
Empirical Software Engineering
Towards an Algorithmic Debugging for Distributed Programs
APSEC '99 Proceedings of the Sixth Asia Pacific Software Engineering Conference
An Approach to Automated Program Testing and Debugging
APSEC '99 Proceedings of the Sixth Asia Pacific Software Engineering Conference
Hypertext support for the information needs of software maintainers
Journal of Software Maintenance and Evolution: Research and Practice
Use of correctness assertions in declarative diagnosis
Proceedings of the 2005 ACM symposium on Applied computing
Automated bug isolation via program chipping
Proceedings of the sixth international symposium on Automated analysis-driven debugging
Proceedings of the 2007 international symposium on Software testing and analysis
Automated bug isolation via program chipping
Software—Practice & Experience
Using abstract dependences to localize faults from procedural programs
AIAP'07 Proceedings of the 25th conference on Proceedings of the 25th IASTED International Multi-Conference: artificial intelligence and applications
Evolutionary repair of faulty software
Applied Soft Computing
Hi-index | 0.00 |