The goal of the Mutation workshop is to provide a forum for researchers and practitioners to discuss new and emerging trends in mutation analysis.
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 artifacts at different levels of abstraction. Examples of such artifacts 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 Localization 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.
Mon 12 AprDisplayed time zone: Brasilia, Distrito Federal, Brazil change
09:00 - 09:10
Amin Alipour University of Houston, Jie M. Zhang University College London, UK
09:10 - 10:00
Keynote 1Mutation at Tamandaré
Chair(s): Jie M. Zhang University College London, UK
|Mutation for Compiler Testing|
Dan Hao Peking University, China
10:00 - 10:50
|Efficiently Sampling Higher Order Mutants Using Causal Effect|
Saeyoon Oh Korea Advanced Institute of Science and Technology (KAIST), Seongmin Lee Korea Advanced Institute of Science and Technology, Shin Yoo Korea Advanced Institute of Science and Technology
|Inducing Subtle Mutations with Program RepairBest Paper Award|
Florian Schwander , Rahul Gopinath CISPA, Germany, Andreas Zeller CISPA Helmholtz Center for Information Security
|Automatic Equivalent Mutants Classification Using Abstract Syntax Tree Neural Networks|
Samuel Peacock Towson University, Lin Deng Towson University, Josh Dehlinger Towson University, Suranjan Chakraborty Towson University
11:00 - 11:50
|What It Would Take to Use Mutation Testing in Industry?|
Moritz Beller Facebook, USA
11:50 - 12:00
Jie M. Zhang University College London, UK
12:00 - 12:30
|Random Selection Might Just be Indomitable|
|MutantBench: an Equivalent Mutant Problem Comparison Framework|
Lars van Hijfte Universiteit van Amsterdam, Ana Maria Oprescu
12:30 - 12:45
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.