4.7 Article

ReMuSSE: A Redundant Mutant Identification Technique Based on Selective Symbolic Execution

Related references

Note: Only part of the references are listed.
Article Computer Science, Software Engineering

Predictive Mutation Testing

Jie Zhang et al.

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING (2019)

Article Computer Science, Information Systems

A path-aware approach to mutant reduction in mutation testing

Chang-ai Sun et al.

INFORMATION AND SOFTWARE TECHNOLOGY (2017)

Article Computer Science, Information Systems

Mutant reduction based on dominance relation for weak mutation testing

Dunwei Gong et al.

INFORMATION AND SOFTWARE TECHNOLOGY (2017)

Article Computer Science, Information Systems

Assessment of class mutation operators for C plus plus with the MuCPP mutation system

Pedro Delgado-Perez et al.

INFORMATION AND SOFTWARE TECHNOLOGY (2017)

Article Computer Science, Software Engineering

Mutation testing cost reduction by clustering overlapped mutants

Yu-Seung Ma et al.

JOURNAL OF SYSTEMS AND SOFTWARE (2016)

Article Computer Science, Software Engineering

Frama-C: A software analysis perspective

Florent Kirchner et al.

FORMAL ASPECTS OF COMPUTING (2015)

Article Computer Science, Software Engineering

Metallaxis-FL: mutation-based fault localization

Mike Papadakis et al.

SOFTWARE TESTING VERIFICATION & RELIABILITY (2015)

Proceedings Paper Computer Science, Software Engineering

Establishing Theoretical Minimal Sets of Mutants

Paul Ammann et al.

2014 IEEE SEVENTH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION (ICST) (2014)

Proceedings Paper Computer Science, Software Engineering

Mutant Subsumption Graphs

Bob Kurtz et al.

2014 SEVENTH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION WORKSHOPS (ICSTW 2014) (2014)

Article Computer Science, Software Engineering

GenProg: A Generic Method for Automatic Software Repair

Claire Le Goues et al.

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING (2012)

Article Computer Science, Software Engineering

An Analysis and Survey of the Development of Mutation Testing

Yue Jia et al.

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING (2011)

Article Computer Science, Software Engineering

Automatically performing weak mutation with the aid of symbolic execution, concolic testing and search-based testing

Mike Papadakis et al.

SOFTWARE QUALITY JOURNAL (2011)

Article Computer Science, Software Engineering

Efficient multi-objective higher order mutation testing with genetic programming

William B. Langdon et al.

JOURNAL OF SYSTEMS AND SOFTWARE (2010)

Article Computer Science, Information Systems

Higher Order Mutation Testing

Yue Jia et al.

INFORMATION AND SOFTWARE TECHNOLOGY (2009)

Article Computer Science, Software Engineering

Supporting controlled experimentation with testing techniques: An infrastructure and its potential impact

HS Do et al.

EMPIRICAL SOFTWARE ENGINEERING (2005)

Article Computer Science, Software Engineering

MuJava: an automated class mutation system

YS Ma et al.

SOFTWARE TESTING VERIFICATION & RELIABILITY (2005)