Second Workshop on Mutation Analysis (Mutation2006) in conjunction with ISSRE'06 |
|||||||||||||||||||||||||||||||||||||||||||||||||||||
Call for paperProgramImportant datesSubmission deadline: August 21, 2006 Workshop OrganizersYves
Le Traon (ENST-Bretagne, France) Program Committee
|
Organization of the workshop dayThe workshop will take place in room Hannover III Progam
|
07:30 |
Registration for workshops and main conference |
09:00 |
Welcome |
09:10 |
Session 1, chair: Eric Wong |
SQLMutation: a Tool to
Generate Mutants of SQL Database Queries
|
|
Mutation Analysis for
Reactive System Environment Properties |
|
Efficient Mutant Generation
for Mutation Testing of Pointcuts in Aspect-Oriented Programs
|
|
Exman: a Generic and Customizable
Framework for Experimental Mutation Analysis |
|
10:10 |
Coffee break |
10:40 |
Session 2, chair: Fevzi Belli |
Finding Sufficient Mutation
Operators via Variable Reduction |
|
Assessment of Data Diversity
Methods for Software Fault Tolerance Based on Mutation Analysis
|
|
The Sesame Experience:
from Assembly Languages to Declarative Models |
|
Fault-Based Interface
Testing Between Real-Time Operating System and Application
|
|
12:00 |
Lunch |
1:30 |
Session 3, chair: James Andrews |
Basic Operations for Generating
Behavioral Mutants |
|
MuGamma: Mutation Analysis
of Deployed Software to Increase Confidence and Assist Evolution
|
|
Mutation Operators for
Concurrent Java (J2SE 5.0) |
|
2:30 |
Coffee break |
3:00 |
Session 4, chair: Sudipto Ghosh |
Mutation Testing Implements
Grammar-Based Testing |
|
Mutation-Based Model Synthesis
in Model-Driven Engineering |
|
Establishing a Mutation
Testing Educational Module Based on IMA-CID |
|
4:00 |
Break |
4:15 |
Panel / Discussion |
5:30 |
Conclusion |