Completely validated software: test adequacy and program mutation (panel session)
ICSE '89 Proceedings of the 11th international conference on Software engineering
The coupling effect: fact or fiction
TAV3 Proceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verification
Investigations of the software testing coupling effect
ACM Transactions on Software Engineering and Methodology (TOSEM)
Constraint-Based Automatic Test Data Generation
IEEE Transactions on Software Engineering
Estimation and Enhancement of Real-Time Software Reliability Through Mutation Analysis
IEEE Transactions on Computers - Special issue on fault-tolerant computing
Experimental results from an automatic test case generator
ACM Transactions on Software Engineering and Methodology (TOSEM)
Effect of test set minimization on fault detection effectiveness
Proceedings of the 17th international conference on Software engineering
Critical slicing for software fault localization
ISSTA '96 Proceedings of the 1996 ACM SIGSOFT international symposium on Software testing and analysis
An experimental determination of sufficient mutant operators
ACM Transactions on Software Engineering and Methodology (TOSEM)
An experimental evaluation of selective mutation
ICSE '93 Proceedings of the 15th international conference on Software Engineering
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
POPL '80 Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
The ability of directed tests to predict software quality
Annals of Software Engineering
Interface Mutation Test Adequacy Criterion: An Empirical Evaluation
Empirical 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
On the Use of Mutation Faults in Empirical Assessments of Test Case Prioritization Techniques
IEEE Transactions on Software Engineering
Automatic mutation test input data generation via ant colony
Proceedings of the 9th annual conference on Genetic and evolutionary computation
Towards Mutation Analysis for Lustre Programs
Electronic Notes in Theoretical Computer Science (ENTCS)
On reduced neighborhood mutation analysis using a single mutagenic operator
Proceedings of the 47th Annual Southeast Regional Conference
Information and Software Technology
Automating software tests with partial oracles in integrated environments
Proceedings of the 5th Workshop on Automation of Software Test
Functional qualification of TLM verification
Proceedings of the Conference on Design, Automation and Test in Europe
Proof process evaluation with mutation analysis
TAP'10 Proceedings of the 4th international conference on Tests and proofs
A practical system for mutation testing: help for the common programmer
ITC'94 Proceedings of the 1994 international conference on Test
Testing techniques in software engineering
Testing techniques in software engineering
On the estimation of adequate test set size using fault failure rates
Journal of Systems and Software
Using conditional mutation to increase the efficiency of mutation analysis
Proceedings of the 6th International Workshop on Automation of Software Test
Automating unit and integration testing with partial oracles
Software Quality Control
MAJOR: An efficient and extensible tool for mutation analysis in a Java compiler
ASE '11 Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering
Test data regeneration: generating new test data from existing test data
Software Testing, Verification & Reliability
Regression testing minimization, selection and prioritization: a survey
Software Testing, Verification & Reliability
Hi-index | 0.00 |