Software engineering (2nd ed.)
Software engineering (2nd ed.)
A Fortran language system for mutation-based software testing
Software—Practice & Experience
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
Mutation analysis of program test data
Mutation analysis of program test data
A theory of error-based testing
A theory of error-based testing
Mutation analysis using mutant schemata
ISSTA '93 Proceedings of the 1993 ACM SIGSOFT international symposium on Software testing and analysis
A semantic model of program faults
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)
Software unit test coverage and adequacy
ACM Computing Surveys (CSUR)
Use of Sequencing Constraints for Specification-Based Testing of Concurrent Programs
IEEE Transactions on Software Engineering
Interface Mutation: An Approach for Integration Testing
IEEE Transactions on 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
Limitations of empirical testing technique knowledge
Lecture notes on empirical software engineering
Reviewing 25 Years of Testing Technique Experiments
Empirical Software Engineering
A fault model and mutation testing of access control policies
Proceedings of the 16th international conference on World Wide Web
Towards Mutation Analysis for Lustre Programs
Electronic Notes in Theoretical Computer Science (ENTCS)
A transformational language for mutant description
Computer Languages, Systems and Structures
On reduced neighborhood mutation analysis using a single mutagenic operator
Proceedings of the 47th Annual Southeast Regional Conference
Information and Software Technology
Time-aware test-case prioritization using integer linear programming
Proceedings of the eighteenth international symposium on Software testing and analysis
Accurate rank ordering of error candidates for efficient HDL design debugging
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Functional qualification of TLM verification
Proceedings of the Conference on Design, Automation and Test in Europe
A practical system for mutation testing: help for the common programmer
ITC'94 Proceedings of the 1994 international conference on Test
Selecting mutation operators with a multiobjective approach
Expert Systems with Applications: An International Journal
Object-Oriented testing capabilities and performance evaluation of the c# mutation system
CEE-SET'09 Proceedings of the 4th IFIP TC 2 Central and East European conference on Advances in Software Engineering Techniques
Quality evaluation of object-oriented and standard mutation operators applied to c# programs
TOOLS'12 Proceedings of the 50th international conference on Objects, Models, Components, Patterns
On the Reuse of TLM Mutation Analysis at RTL
Journal of Electronic Testing: Theory and Applications
ConSMutate: SQL mutants for guiding concolic testing of database applications
ICFEM'12 Proceedings of the 14th international conference on Formal Engineering Methods: formal methods and software engineering
Science of Computer Programming
Comparing non-adequate test suites using coverage criteria
Proceedings of the 2013 International Symposium on Software Testing and Analysis
Selective mutation testing for concurrent code
Proceedings of the 2013 International Symposium on Software Testing and Analysis
Critical components testing using hybrid genetic algorithm
ACM SIGSOFT Software Engineering Notes
Hi-index | 0.00 |