Proc. of the 1st European Software Engineering Conference on ESEC '87
Reducing the effects of infeasible paths in branch testing
TAV3 Proceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verification
Interprocedural slicing using dependence graphs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Software testing techniques (2nd ed.)
Software testing techniques (2nd ed.)
Automated Software Test Data Generation
IEEE Transactions on Software Engineering
Dynamic slicing of computer programs
Journal of Systems and Software
The semantic approach to program slicing
PLDI '91 Proceedings of the ACM SIGPLAN 1991 conference on Programming language design and implementation
Constraint-Based Automatic Test Data Generation
IEEE Transactions on Software Engineering
Automatic Generation of Path Covers Based on the Control Flow Analysis of Computer Programs
IEEE Transactions on Software Engineering
An overview and comparative classification of program slicing techniques
Journal of Systems and Software
The chaining approach for software test data generation
ACM Transactions on Software Engineering and Methodology (TOSEM)
Reducing and estimating the cost of test coverage criteria
Proceedings of the 18th international conference on Software engineering
Incremental Regression Testing
ICSM '93 Proceedings of the Conference on Software Maintenance
The program dependence graph in a software development environment
SDE 1 Proceedings of the first ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
A System to Generate Test Data and Symbolically Execute Programs
IEEE Transactions on Software Engineering
A Domain Strategy for Computer Program Testing
IEEE Transactions on Software Engineering
Symbolic Testing and the DISSECT Symbolic Evaluation System
IEEE Transactions on Software Engineering
An applicable test data generation algorithm for domain errors
Proceedings of the 1998 ACM SIGSOFT international symposium on Software testing and analysis
A brief survey of program slicing
ACM SIGSOFT Software Engineering Notes
System Test Planning of Software: An Optimization Approach
IEEE Transactions on Software Engineering
Detecting large number of infeasible paths through recognizing their patterns
Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
Heuristics-based infeasible path detection for dynamic test data generation
Information and Software Technology
A rigorous approach towards test case generation
Information Sciences: an International Journal
| Hi-index | 0.00 |