Related references
Note: Only part of the references are listed.Predictive Mutation Testing
Jie Zhang et al.
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING (2019)
A path-aware approach to mutant reduction in mutation testing
Chang-ai Sun et al.
INFORMATION AND SOFTWARE TECHNOLOGY (2017)
Mutant reduction based on dominance relation for weak mutation testing
Dunwei Gong et al.
INFORMATION AND SOFTWARE TECHNOLOGY (2017)
Assessment of class mutation operators for C plus plus with the MuCPP mutation system
Pedro Delgado-Perez et al.
INFORMATION AND SOFTWARE TECHNOLOGY (2017)
Mutation testing cost reduction by clustering overlapped mutants
Yu-Seung Ma et al.
JOURNAL OF SYSTEMS AND SOFTWARE (2016)
Frama-C: A software analysis perspective
Florent Kirchner et al.
FORMAL ASPECTS OF COMPUTING (2015)
Metallaxis-FL: mutation-based fault localization
Mike Papadakis et al.
SOFTWARE TESTING VERIFICATION & RELIABILITY (2015)
Establishing Theoretical Minimal Sets of Mutants
Paul Ammann et al.
2014 IEEE SEVENTH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION (ICST) (2014)
Mutant Subsumption Graphs
Bob Kurtz et al.
2014 SEVENTH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION WORKSHOPS (ICSTW 2014) (2014)
GenProg: A Generic Method for Automatic Software Repair
Claire Le Goues et al.
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING (2012)
An Analysis and Survey of the Development of Mutation Testing
Yue Jia et al.
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING (2011)
Automatically performing weak mutation with the aid of symbolic execution, concolic testing and search-based testing
Mike Papadakis et al.
SOFTWARE QUALITY JOURNAL (2011)
Efficient multi-objective higher order mutation testing with genetic programming
William B. Langdon et al.
JOURNAL OF SYSTEMS AND SOFTWARE (2010)
Higher Order Mutation Testing
Yue Jia et al.
INFORMATION AND SOFTWARE TECHNOLOGY (2009)
Supporting controlled experimentation with testing techniques: An infrastructure and its potential impact
HS Do et al.
EMPIRICAL SOFTWARE ENGINEERING (2005)
MuJava: an automated class mutation system
YS Ma et al.
SOFTWARE TESTING VERIFICATION & RELIABILITY (2005)