Mutation 2020
Sat 24 Oct 2020 Porto, Portugal
co-located with ICST 2020

Mutation is widely acknowledged as one of the most important techniques to assess the fault-revealing ability of tests. In recent years, mutation has gained popularity both in academia and research, with several companies and research projects attempting to incorporate mutation to the development life cycle. Mutation analysis has traditionally targeted the source code but has also been successfully applied to various artefacts at different levels of abstraction. Examples of such artefacts include: database schemas, finite state machines, various model notations, security policies, software product lines, etc. Mutation has also been employed to solve various research problems including the Test Oracle Problem, Fault Localisation and Debugging, Defect Prediction, etc. To this day, the mutation field continues to expand with an increasing trend of high quality publications.

Mutation 2020 is the 15th in the series of international workshops focusing on mutation analysis. The workshop will be co-located with the 13th International Conference on Software Testing, Verification, and Validation (ICST 2020). Accepted papers will be published as part of the ICST proceedings.

The Mutation workshop aims to be the premier forum for practitioners and researchers to discuss recent advances in the area and propose new research directions. We invite submissions of both full-length and short-length research papers and especially encourage the submission of industry practice papers.

All information about this workshop can be found at the workshop’s official website: https://mutation-workshop.github.io/2020/

You're viewing the program in a time zone which is different from your device's time zone - change time zone

Sat 24 Oct
Times are displayed in time zone: Greenwich Mean Time : Lisbon change

12:40 - 15:00
12:40
25m
Day opening
Warm Up
Mutation 2020
13:05
10m
Day opening
Welcome
Mutation 2020
13:15
75m
Talk
Keynote
Mutation 2020
Mike PapadakisUniversity of Luxembourg, Luxembourg
14:30
15m
Full-paper
On the impact of timeouts and JVM crashes in Pitest
Mutation 2020
Thomas LaurentLero & University College Dublin, Fionnuala WallLero and University College Dublin, Anthony VentresqueLero and University College Dublin
Link to publication DOI
14:45
15m
Full-paper
Using mutation testing to measure behavioural test diversity
Mutation 2020
Francisco GomesChalmers | University of Gothenburg, Felix DobslawChalmers University of Technology, Robert FeldtChalmers University of Technology
Link to publication DOI
15:15 - 16:30
15:15
15m
Full-paper
SiMut: Exploring Program Similarity to Support the Cost Reduction of Mutation Testing
Mutation 2020
Alessandro V. PizzoletoFederal University of Sao Carlos, Fabiano FerrariFederal University of São Carlos, Lucas D. DalliloUniversity of Sao Paulo, Jeff OffuttGeorge Mason University
Link to publication DOI
15:30
15m
Full-paper
Predicting Survived and Killed Mutants
Mutation 2020
Alejandra Duque TorresInstitute of Computer Science, University of Tartu, Natia DoliashviliInstitute of Computer Science, University of Tartu, Dietmar PfahlUniversity of Tartu, Rudolf RamlerSoftware Competence Center Hagenberg
Link to publication DOI
15:45
15m
Full-paper
Fault Types of Adaptive and Context-Aware Systems and Their Relationship with Fault-based Testing Approaches
Mutation 2020
Bento Rafael SiqueiraFederal University of São Carlos, Fabiano FerrariFederal University of São Carlos, Kathiani E. SouzaFederal University of São Carlos, Daniel S. M. SantibáñezFederal University of São Carlos, Valter Vieira CamargoFederal University of São Carlos
Link to publication DOI
16:00
15m
Full-paper
MutantDistiller: Using Symbolic Execution for Automatic Detection of Equivalent Mutants and Generation of Mutant Killing Tests
Mutation 2020
Michael Baer, Norbert Oster, Michael PhilippsenFriedrich-Alexander University Erlangen-Nürnberg (FAU)
Link to publication DOI
16:15
15m
Full-paper
An Approach to Identifying Minimal and Equivalent Mutants Based on Source Code Structure
Mutation 2020
Claudinei Brito JuniorUniversidade de São Paulo, Vinicius DurelliUniversidade Federal de São João del-Rei, Rafael S. DurelliFederal University of Lavras Lavras, Simone do Rocio Senger de SouzaUniversity of São Paulo - USP, Auri VincenziFederal University of São Carlos, Marcio Eduardo DelamaroUniversidade de São Paulo
Link to publication DOI

Call for Submissions

Mutation is widely acknowledged as one of the most important techniques to assess the quality of tests. In recent years, mutation has gained popularity both in academia and research, with several companies and research projects attempting to incorporate mutation to the development life cycle. Mutation analysis has traditionally targeted the source code but has also been successfully applied to various artefacts at different levels of abstraction. Examples of such artefacts include: database schemas, finite state machines, various model notations, security policies, software product lines, etc. Mutation has also been employed to solve various research problems including the Test Oracle Problem, Fault Localisation and Debugging, Defect Prediction, etc. To this day, the mutation field continues to expand with an increasing trend of high quality publications. The Mutation workshop aims to be the premier forum for practitioners and researchers to discuss recent advances in the area and propose new research directions. We invite submissions of both full-length and short-length research papers and especially encourage the submission of industry practice papers.

Topics of interest

Topics include, but are not limited to:

  • Mutation-based test adequacy criteria (theoretical analyses and practical applications).
  • Mutation-based test data generation.
  • Higher order mutation testing.
  • Novel mutation testing paradigms and applications.
  • Novel solutions to mutation’s problems.
  • Empirical studies using and/or evaluating mutation.
  • Theoretical analysis of mutation testing.
  • Mutation testing tools.
  • Industrial experience and application of mutation testing.
  • Mutation for mobile, internet, and cloud-based systems (QoS, power consumption, etc).
  • Mutation for non-functional properties, including security, reliability, performance, etc.
  • Mutation for artificial intelligence (e.g., data mutation, model mutation, mutation-based test data generation, etc.)

Types of submission

Three types of papers can be submitted to the workshop:

  • Full papers (10 pages): Research, case studies.
  • Short papers (6 pages): Research in progress, tools.
  • Industrial papers (6 pages): Applications and lessons learned in industry.
  • Poster papers (2 pages): Research in progress, tools, problem descriptions, new ideas.

Each paper must conform to the two columns IEEE conference publication format and must be submitted in PDF format via EasyChair. Submissions will be evaluated according to the relevance and originality of the work and to their ability to generate discussions between the participants of the workshop. Three reviewers will review each paper and all the accepted papers will be published as part of the ICST proceedings.

Special issue on mutation analysis and its industrial applications

We encourage authors of accepted papers to submit an extended version of their paper to a special issue on Mutation Analysis and its Industrial Applications published by the Journal of Software Testing, Verification and Reliability (STVR).