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.
**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 include, but are not limited to, the following:
Three types of papers can be submitted to the workshop:
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.
Download: CfPmarkdown (txt)
TBA.
TBA.