Important DatesAbstract deadline: Friday 13 April 2007
Full paper deadline: Friday 20 April 2007
Notification of acceptance: Friday 8 June 2007
Final version due: Monday 25 June 2007
Workshop: 10-11 September 2007
In conjunction with TAIC-PART
General ChairMark Harman
John A Clark
Website maintained by Shuang Wang
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 now used in requirements validation (where distinguishing test cases can be used to challenge users about what they really want), with formal specifications (to assess resilience of specification properties to deviations), architectural design notations, and informal descriptions such as use cases. Data mutation has also been investigated for critical systems and web services. Mutation is now established as a major concept in software and systems V&V and uses of mutation are increasing.
Mutation Analysis 2007 (Mutation 2007) is the third in the series of international workshops focusing on mutation. It will take place over 10-11 September 2007 in the superb settings of the Cumberland Lodge, near Windsor. The workshop will be held in conjunction with the TAIC-Part conference (12-14 September 2007).
Researchers and practitioners are invited to submit original short or full papers in any area of mutation. Topics include but are not limited to:
Please view the presentation from mutation 2006.
Please notice that a special issue of the Journal of Systems and Software will be published with extended versions of selected papers from mutation 2007 and TAIC PART 2007.
Please check out the mutation testing community website.