The evaluation of program-based software test data adequacy criteria
Communications of the ACM
PMothra: scheduling mutants for execution on a hypercube
TAV3 Proceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verification
Constraint-Based Automatic Test Data Generation
IEEE Transactions on Software Engineering
Software testing using high-performance computers
Software testing using high-performance computers
An Execution-Backtracking Approach to Debugging
IEEE Software
Implementation-based analysis and testing of Prolog programs
ISSTA '93 Proceedings of the 1993 ACM SIGSOFT international symposium on Software testing and analysis
Reliable benchmarks using numerical instability
SODA '94 Proceedings of the fifth annual ACM-SIAM symposium on Discrete algorithms
| Hi-index | 0.15 |