Resources

This is the Resources section, here you can find a starting point for mutation testing, a short glossary, the list of people and group involved in mutation testing and some other external links.

Getting Started

If you are new to Mutation Testing you can start from Getting Started section.

Glossary

• Mutation Testing
• Strong Mutation Testing
• Weak Mutation Testing

Tools and Companies and Jobs

Tools

• PIMS is an early mutation testing tool, pioneered the general process typically used in mutation testing of creating mutants (of Fortran IV programs), accepting test cases from the users, and then executing the test cases on the mutants to decide how many mutants were killed.
• Mothra is a mutation toolset which provided an integrated set of tools, each of which performed an individual, separate task to support mutation analysis and testing. Because each Mothra tool is a separate command, it was easy to incorporate, and thus experiment with, additional types of processing. Although a few other mutation testing tools have been developed since Mothra, Mothra is likely the most widely known mutation testing system extant.
• Proteum is the first mutation testing tool that implements all mutation operators designed for the ANSI C programming language http://www.serc.net/report/tr41p.pdf. The tool is available by writing to Professor Jose Maldonado jcmaldon@icmc.usp.br.
• µJava (muJava) is a mutation system for Java programs. It automatically generates mutants for both traditional mutation testing and class-level mutation testing. µJava can test individual classes and packages of multiple classes. Tests are supplied by the users as sequences of method calls to the classes under test encapsulated in methods in separate classes.
• MuClipse is an Eclipse plugin verion of µJava (muJava).
• Jumble is a mutation system for Java programs with JUnit tests. It measures the quality of the JUnit tests (and reports possible missing tests) by efficiently mutating the bytecode of each Java class. Jumble can be used from the command line or as an Eclipse plugin. It handles all Java versions up to 1.6. (free, open source, strong mutation testing)
• JesTer is a mutation test tool for Java code and JUnit tests (free, open source) ("strong" mutation testing).
• PesTer is a mutation test tool for Python code and PyUnit tests (free, open source) ("strong" mutation testing).
• Nester is a mutation test tool for C# code and NUnit tests (free, open source) ("strong" mutation testing).
• SQLMutation is a mutation system for database queries. It generates mutants of SQL SELECT statements from a Web browser or from other applications that consume a Web Service.
• insure++ is a mutation test tool for C++ code (commercial product).
• GCT does mutation coverage for C ("weak" mutation testing). (open source, standard distribution hasn't been ported to modern versions of Unix or Windows).
• One of the oldest Mothra tool is available.
• Plextest C++ is a "strong" mutation testing tool (commercial product).
• Heckle is a mutation testing tool for Ruby (free, open source).
• Parasoft Insure++ enables fast, reliable detection and resolution of elusive runtime memory errors (commercial product).
• Certitude performs Functional Qualification and is derived from mutation analysis research

Companies

• Certess helps integrated circuit (IC) design teams tackle the most formidable problem in functional verification: the absence of objective quality assurance in the verification of ICs and systems. Functional Qualification enables design teams to improve their effectiveness and the predictability of their project schedules, which are currently dominated by the verification task.

Jobs

• Certess is interested in candidates with experience in the following areas: mutation testing, software testing, EDA development, C++, formal methods, simulation engines, software architecture. Please send your CV to mark.hamptonATcertess.com

People and groups

PhD Students Working on Mutation Testing

This page contains a list of PhD students who are working on mutation testing.

People

This is a list of people involved in mutation testing area.

Name	Country	University or Company	Research field	MTO member
Aditya Mathur	USA	Purdue University
Benoit Baudry	France	Université Rennes 1
Byoungju Choi	Korea	Ewha Womans University		Byoungju Choi
Eric Wong	USA	University of Texas		Eric Wong
Fevzi Belli	Germany	Universität Paderborn
Florian Letombe	France	Certess	Functional Qualification	Florian Letombe
Helene Waeselynck	France	Laboratoire d'Architecture et d'Analyse des Systèmes
James Andrews	Canada	The University of Western Ontario
James Cordy	Canada	Queen's University
Jeff Offutt	USA	George Mason University
John Clark	UK	The University of York
Jose' Carlos Maldonado	Brazil	Universidade de Sao Paulo
Ling Liu	China / Europe	ETH Zurich
Lionel Briand	Canada	Carleton University
Lu Zhang	China	Peking University
Mark Hampton	France	Certess		Mark Hampton
Mark Harman	UK	King's College London
Paul Ammann	USA	George Mason University
Phil McMinn	UK	The University of Sheffield		Phil McMinn
Richard DeMillo	USA	Georgia Tech University
Richard Lipton	USA	Georgia Tech University
Rob Hierons	UK	Brunel University
Roger Alexander	USA	Washington State University
Sudipto Ghosh	USA	Purdue University
Tao Xie	USA	North Carolina State University
Vadim Okun	USA	University of Maryland Baltimore County
William Howden	USA	University of California
Yong-Rae Kwon	Korea	Korea Advanced Institute of Science and Technology
Yves Le Traon	France	Université Rennes 1

External links

• Mutation Testing (Wikipedia)
• List of tools and publications by Jeff Offutt
• Other Mutation Testing tools