International Workshop on Mutation Analysis

Mutation is acknowledged as an important way to assess the fault-finding effectiveness of tests sets. Mutation testing has mostly been applied at the source code level, but more recently, related ideas have also been used to test artifacts described in a considerable variety of notations and at different levels of abstraction. Mutation ideas are used with requirements, formal specifications, architectural design notations, informal descriptions (eg use cases) and hardware. Mutation is now established as a major concept in software and systems V&V and uses of mutation are increasing.

Mutation Analysis 2013 (Mutation 2013) is the eighth in the series of international workshops focusing on mutation. It will take place in March 18, 2013 in Luxembourg. The workshop will be held in conjunction with the sixth International Conference on Software Testing, Verification, and Validation (ICST 2013). Accepted papers will be published as part of the ICST proceedings.

A "Best Paper Award" will be conferred to the author(s) of a full paper presented at the workshop, selected by the program chairs based on the best combined marks of paper reviewing, assessed by the program committee. (The "Best Pper Award" went to "XACMUT: XACML 2.0 Mutants Generator".)

The goal of the Mutation workshop is to provide a forum for researchers and practitioners to discuss new and emerging trends in mutation analysis. We invite submissions of both full-length and short-length research papers as well as industry practice papers.

Topics include but are not limited to:

  • Mutation-based test adequacy criteria (theory or practical application).
  • Mutation-based test data generation.
  • Higher order mutation testing.
  • Novel mutation testing paradigms and applications.
  • Empirical studies of mutation testing.
  • Formal theoretical analysis of mutation testing.
  • Comparative studies (i.e., studies that compare mutation with other testing techniques).
  • Mutation testing tools.
  • Industrial experience with mutation testing.
  • New mutation systems for programming languages and for higher-level descriptive.
  • Increasing the efficiency of mutation.
  • Mutation for mobile, internet and cloud based systems.
  • Mutation for security and reliability.