ICST 2021
Mon 12 - Fri 16 April 2021

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.

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

Mon 12 Apr

Displayed time zone: Brasilia, Distrito Federal, Brazil change

09:00 - 09:10
Welcome and OpeningMutation at Tamandaré
Day opening
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
Session 1Mutation at Tamandaré
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
Keynote 2Mutation at Tamandaré
What It Would Take to Use Mutation Testing in Industry?
Moritz Beller Facebook, USA
11:50 - 12:00
Award SessionMutation at Tamandaré
Award Announcement
Jie M. Zhang University College London, UK
12:30 - 12:45
Day closing
Concluding Remarks

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.