MUTATION 2023
The 18th International Workshop on Mutation Analysis
Co-located with ICST
April 16, 2023
Tell Me More

About Mutation 2023

Mutation analysis involves mutation of software artifacts that are then used to evaluate the quality of software verification tools and techniques. It is considered the premier technique for evaluating the fault revealing effectiveness of test suites, test generation techniques and other testing approaches. Ideas derived from mutation analysis have also been used to test artifacts at different levels of abstraction, including requirements, formal specifications, models, architectural design notations and even informal descriptions. Recently, mutation has played an important role in software engineering for AI, such as in verifying learned models and behaviors. Furthermore, researchers and practitioners have investigated diverse forms of mutation, such as training data or test data mutation, in combination with metamorphic testing to evaluate model performance in machine learning and detecting adversarial examples.

Mutation 2023 is the 18th in the series of international workshops focusing on mutation analysis. The workshop will be co-located with the International Conference on Software Testing, Verification, and Validation (ICST 2023). 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.



Call for Papers

Call for Papers

**NOTICE (24 Jan 2024)**: To give a bit of extra time to authors, we decided to have a soft deadline and allow the authors to update their submissions by Jan 31 only if they made initial submissions before the original deadline (Jan 27). **Please, remember to register your paper and submit the title and abstract before the deadline Jan 27.**

Mutation 2023 aims to be the premier forum for practitioners and researchers to discuss recent advances in the area of mutation analysis 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 of interest include, but are not limited to, the following:

  • Evaluation of mutation-based test adequacy criteria, and comparative studies with other test adequacy criteria.
  • Formal theoretical analysis of mutation testing.
  • Empirical studies on any aspects of mutation testing.
  • Mutation based generation of program variants.
  • Higher-order mutation testing.
  • Mutation testing tools.
  • Mutation for mobile, internet, and cloud based systems (e.g., addressing QoS, power consumption, stress testing, performance, etc.).
  • Mutation for security and reliability.
  • Novel mutation testing applications, and mutation testing in novel domains.
  • Industrial experience with mutation testing.
  • Mutation for artificial intelligence (e.g., data mutation, model mutation, mutation-based test data generation, etc.)

Types of Submissions

Three types of papers can be submitted to the workshop:

  • Full papers (10 pages including references): Research, case studies.
  • Short papers (6 pages including references): Research in progress, tools.
  • Industrial papers (6 pages including references): Applications and lessons learned in industry.

Each paper must conform to the two columns IEEE conference publication format (please use the letter format template and conference option) 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. Each submission will be reviewed by three reviewers, and all accepted papers will be published as part of the ICST proceedings.

Mutation 2023 will employ a double-anonymous review process. Authors must make every effort to anonymize their papers to hide their identities throughout the review process. See the double-anonymous QnA page for more information.

Special Issue

Selected papers will be invited to submit extended versions of their manuscripts for a special issue on Mutation Analysis in the Journal of Software: Testing, Verification and Reliability (STVR).

Important Dates

  • Submission deadline: Fri 27 Jan 2023
  • Notification of acceptance: Fri 17 Feb 2027
  • Camera-ready: Fri 7 Mar 2023
  • Workshop date: Sun 16 Apr 2023

Download: CfPmarkdown (txt)

Special Issue

Special Issue - STVR

Special Issue of the International Workshop on Mutation Analysis at the Journal of Software: Testing, Verification and Reliability (STVR).

Mutation analysis involves mutation of software artifacts that are then used to evaluate the quality of software verification tools and techniques. It is considered the premier technique for evaluating the fault-revealing effectiveness of test suites, test generation techniques and other testing approaches.

Ideas derived from mutation analysis have also been used to test artifacts at different levels of abstraction, including requirements, formal specifications, models, architectural design notations and even informal descriptions. Recently, mutation has also played an important role in software engineering for AI, such as in verifying trained models and their behaviors. Furthermore, researchers and practitioners have investigated diverse forms of mutation, such as training or test data mutation, in combination with metamorphic testing to evaluate model performance in machine learning and detecting adversarial examples.

In addition to the open call for papers that are on the topics of interest below, all authors with an accepted paper at the 18th edition International Workshop on Mutation Analysis (Mutation), collocated with ICST at Dublin in April 2023, are kindly encouraged to submit the extended versions of their work. We also extend the invitation to papers from the past two editions of the Mutation Workshop, 2021 and 2022, that were held virtually.

Important Dates

  • Submission opens: 14th July 2023
  • Submission deadline: 1st October 2023

Guest Editors

  • Donghwan Shin
  • Renzo Degiovanni
  • Mike Papadakis (not appearing in the Proceedings)

Topics of Interest

Topics of interest include, but are not limited to, the following:

  • Evaluation of mutation-based test adequacy criteria, and comparative studies with other test adequacy criteria.
  • Formal theoretical analysis of mutation testing.
  • Empirical studies on any aspects of mutation testing.
  • Mutation based generation of program variants.
  • Higher-order mutation testing.
  • Mutation testing tools.
  • Mutation for mobile, internet, and cloud based systems (e.g., addressing QoS, power consumption, stress testing, performance, etc.).
  • Mutation for security and reliability.
  • Novel mutation testing applications, and mutation testing in novel domains.
  • Industrial experience with mutation testing.
  • Mutation for artificial intelligence (e.g., data mutation, model mutation, mutation-based test data generation, etc.)

Review Process

All submissions will be reviewed based on the Software: Testing, Verification and Reliability (STVR) standards and will undergo a rigorous reviewing process. Reviews of extended versions of the papers presented at the previous editions of the Mutation Workshops (i.e., Mutation 2021, 2022, and 2023) may include some of the reviewers of the original papers as well as new reviewers with relevant expertise to ensure the highest possible review quality. The guest editors of the special issue are not permitted to submit.

Submission

For extended versions of workshop or conference papers, it is necessary to include at least 30% new contents and clearly explain the additional contributions. The abstract should be different from that of the original paper, and the proper citation of the original workshop/conference paper is required. To submit your paper, please use the manuscript submission site for Software Testing, Verification and Reliability (http://wiley.atyponrex.com/journal/stvr) and select "Special Issue Paper". In the cover letter, mention that you are submitting to the “International Workshop on Mutation Analysis". Additionally, we encourage you to notify us via email when you submit your paper.

Download: CfP-Special-Issue-STVR.pdf

Organisation

Organisation

Program Chairs

Renzo Degiovanni
SnT, University of Luxembourg
Donghwan Shin
University of Sheffield

Program Committee

Amin Alipour
University of Houston (USA)
Pedro Delgado-Perez
University of Cadiz (Spain)
Lin Deng
Towson University (USA)
Alex Denisov
GitHub Inc. (Germany)
Sudipto Ghosh
Dept of Computer Science, Colorado State University (USA)
Rahul Gopinath
University of Sydney (Australia)
Giovani Guizzo
University College London (UK)
Jinhan Kim
KAIST (South Korea)
Birgitta Lindström
University of Skövde (Sweden)
Goran Petrovic
Google (USA)
José Miguel Rojas
The University of Sheffield (UK)
Thierry Titcheu Chekam
SES (Luxembourg)

Keynote

Gunel Jahangirova

Lecturer/Assistant Profesor
Kings College London

Program

(GMT+1 Time)


09:30-09:35

Opening


09:35-10:30

Keynote: Mutation Testing of Deep Learning Systems: from Real Faults Investigation to Practical Applications


Prof. Gunel Jahangirova

11:00-12:30

Session 1


(Chair) Renzo Degiovanni

Analysis of mutation operators for FSM testing


Danial Nikbin and Yvan Labiche

A Tool for Mutation Analysis in Racket


Bambi Zhuang, James Perretta, Arjun Guha and Jonathan Bell

The Inversive Relationship Between Bugs and Patches: An Empirical Study


Jinhan Kim, Jongchan Park and Shin Yoo

12:30-14:00

Lunch (90 min)


14:00-15:00

Session 2


(Chair) Renzo Degiovanni

Mutation Testing in Continuous Integration: An Exploratory Industrial Case Study


Jonatan Orgard, Gregory Gay, Francisco Gomes and Kim Viggedal

Validation of Mutation Testing in the Safety Critical Industry through a Pilot Study


Sten Vercammen, Markus Borg and Serge Demeyer

15:00-15:30

Best paper award and closing



Registration

TBA.

-->