A Fortran 77 interpreter for mutation analysis
SIGPLAN '87 Papers of the Symposium on Interpreters and interpretive techniques
The growth of software testing
Communications of the ACM
A CASE primer for computer science educators
SIGCSE '89 Proceedings of the twentieth SIGCSE technical symposium on Computer science education
Testing large software products
ACM SIGSOFT Software Engineering Notes
Automated Software Test Data Generation
IEEE Transactions on Software Engineering
High Performance Software Testing on SIMD Machines
IEEE Transactions on Software Engineering
Data flow coverage and the C language
TAV4 Proceedings of the symposium on Testing, analysis, and verification
Load testing software using deterministic state testing
ISSTA '93 Proceedings of the 1993 ACM SIGSOFT international symposium on Software testing and analysis
Dominators, super blocks, and program coverage
POPL '94 Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Evaluation of expert system testing methods
Communications of the ACM
Designing programs that check their work
Journal of the ACM (JACM)
Generating test cases for real-time systems from logic specifications
ACM Transactions on Computer Systems (TOCS)
Using testability measures for dependability assessment
Proceedings of the 17th international conference on Software engineering
The chaining approach for software test data generation
ACM Transactions on Software Engineering and Methodology (TOSEM)
ISSTA '96 Proceedings of the 1996 ACM SIGSOFT international symposium on Software testing and analysis
Automated test data generation for programs with procedures
ISSTA '96 Proceedings of the 1996 ACM SIGSOFT international symposium on Software testing and analysis
Software unit test coverage and adequacy
ACM Computing Surveys (CSUR)
Efficient coverage testing using global dominator graphs
Proceedings of the 1999 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering
Software testing in the commercial environment
CSC '88 Proceedings of the 1988 ACM sixteenth annual conference on Computer science
Generation of Execution Sequences for Modular Time Critical Systems
IEEE Transactions on Software Engineering
Interactive Verification of Knowledge-Based Systems
IEEE Expert: Intelligent Systems and Their Applications
Using fault injection to increase software test coverage
ISSRE '96 Proceedings of the The Seventh International Symposium on Software Reliability Engineering
Evaluation of Regressive Methods for Automated Generation of Test Trajectories
ISSRE '00 Proceedings of the 11th International Symposium on Software Reliability Engineering
Encyclopedia of Computer Science
Design and evaluation of an intelligent decision support system for nuclear emergencies
Decision Support Systems
Towards management of software as assets: A literature review with additional sources
Information and Software Technology
Design and evaluation of an intelligent decision support system for nuclear emergencies
Decision Support Systems
Generating test data for distributed software using the chaining approach
Information and Software Technology
Parallel testing of distributed software
Information and Software Technology
Algorithm engineering: bridging the gap between algorithm theory and practice
Algorithm engineering: bridging the gap between algorithm theory and practice
Hi-index | 0.03 |