Completely validated software: test adequacy and program mutation (panel session)
ICSE '89 Proceedings of the 11th international conference on Software engineering
Fault Injection for Dependability Validation: A Methodology and Some Applications
IEEE Transactions on Software Engineering
TAV4 Proceedings of the symposium on Testing, analysis, and verification
Improved serial algorithms for mutation analysis
ISSTA '93 Proceedings of the 1993 ACM SIGSOFT international symposium on Software testing and analysis
Validation, Verification, and Testing of Computer Software
ACM Computing Surveys (CSUR)
ACM SIGSOFT Software Engineering Notes
ACM SIGSOFT Software Engineering Notes
Mutation-based software testing using program schemata
ACM-SE 30 Proceedings of the 30th annual Southeast regional conference
The ability of directed tests to predict software quality
Annals of Software Engineering
Interface Mutation Test Adequacy Criterion: An Empirical Evaluation
Empirical Software Engineering
An Empirical Evaluation of Weak Mutation
IEEE Transactions on Software Engineering
Some Critical Remarks on a Hierarchy of Fault-Detecting Abilities of Test Methods
IEEE Transactions on Software Engineering
Testing Nondeterminate Systems
ISSRE '00 Proceedings of the 11th International Symposium on Software Reliability Engineering
The Efficiency of Critical Slicing in Fault Localization
Software Quality Control
A fault model and mutation testing of access control policies
Proceedings of the 16th international conference on World Wide Web
Information and Software Technology
| Hi-index | 0.00 |