This page will soon grow in content and contain information about the scope of this research track.
Call for Papers
Mutation analysis involves mutation of software artefacts 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 generators and other testing techniques.
We invite submissions in the following areas:
- 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.)
Submission types: We invite submissions of both full-length (10 pages) and short-length (6 pages) research papers as well as industry practice papers (6 pages). All submissions must conform to the two-column IEEE conference publication format.
Submission link: EasyChair
All 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 paper will be reviewed by three reviewers.