Mutation 2007 Program

Day One, Monday 10 September

10:00 Arrival and Coffee
10:30 Welcome to Mutation 2007 (Mark Harman, John Clark and Jeff Offutt)
10:50 Short break
11:00 Keynote: Rich DeMillo
12:30 Lunch
2:00 Paper Session 1: Model-based Mutation
   Robert Hierons (Brunel University) and Mercedes Merayo (Universidad Complutense de Madrid)
   Mutation Testing from Probabilistic Finite State Machines

   Mark Trakhtenbrot (Holon Institute of Technology)
   New Mutations for Evaluation of Specification and Implementation Levels of Adequacy in Testing of Statecharts Models

   Gordon Fraser and Franz Wotawa (Graz University of Technology)
   Mutant Minimization for Model-Checker Based Test-Case Generation

3:30 Tea
4:00 Paper Session 2: Mutation Analysis Tools
   Sean Irvine, Tin Pavlinic, Leonard Trigg (Reel Two Ltd.), John Cleary (University of Waikato), Stuart Inglis (Reel Two Ltd.) and Mark Utting (University of Waikato)
   Jumble Java Bytecode to Measure JUnit Effectiveness

   Lydie du Bousquet and Michel Delaunay (LIG-LSR)
   ALien-V: A mutation tool for Lustre programs

   Michael Ellims (Pi Shurlok and Open University), Darrel Ince and Marian Petre (Open University)
   The Csaw C Mutation Tool: Initial Results

5:30 Close
7:00 Workshop Banquet (sponsored by Certess)

Day Two, Tuesday 11 September

8:00 Breakfast

9:00 Paper Session 3: Experimentation with Mutation
   Ben Smith and Laurie Williams (North Carolina State University)
   An Empirical Evaluation of Killing Mutants

   Mark Hampton and Stephane Petithomme (Certess Inc.)
   Leveraging a Commercial Mutation Analysis Tool For Research

   Jeremy Bradbury, James Cordy and Juergen Dingel (Queen's University)
   Comparative Assessment of Testing and Model Checking Using Program Mutation

10:30 Coffee
11:00 Panel Session
   Building tools for mutation analysis
   Len Bottaci, Mark Hampton, Mark Utting 12:30 Lunch
1:30 Walk
2:50 Tea
3:00 The Future of Mutation Testing: Community Think-in

4:00 Paper Session 4: Mutation for Security Testing
   Songtao Zhang, Thomas Dean (Queens University) and Scott Knight (Royal Military College of Canada)
   A Lightweight Approach to State Based Security Testing

   Tejeddine Mouelhi, Yves Le Traon (ENST - Bretagne) and Benoit Baudry (IRISA / INRIA)
   Mutation Analysis for Security Tests Qualification

5:30 Close
7:00 Dinner with TAIC-PART participants