The Community for Technology Leaders
Mutation Analysis, Workshop on (2006)
Raleigh, North Carolina
Nov. 7, 2006 to Nov. 10, 2006
ISBN: 0-7695-2897-X
TABLE OF CONTENTS
Session 4

Mutation testing implements grammar-based testing (Abstract)

J. Offutt , Inf. & Software Eng., George Mason Univ., Fairfax, VA
P. Ammann , Inf. & Software Eng., George Mason Univ., Fairfax, VA
pp. 12
Session 1

SQLMutation: A tool to generate mutants of SQL database queries (Abstract)

Ma Jose Suarez-Cabal , University of Oviedo, Spain
Claudio de la Riva , University of Oviedo, Spain
Javier Tuya , University of Oviedo, Spain
pp. 1

Mutation Analysis for Reactive System Environment Properties (Abstract)

Michel Delaunay , LSR-IMAG, France
Huy Vu Do , LCIS-ESISAR, France
Chantal Robach , LCIS-ESISAR, France
pp. 2

Efficient Mutant Generation for Mutation Testing of Pointcuts in Aspect-Oriented Programs (Abstract)

Prasanth Anbalagan , North Carolina State University, Raleigh, NC
Tao Xie , North Carolina State University, Raleigh, NC
pp. 3

ExMAn: A Generic and Customizable Framework for Experimental Mutation Analysis (Abstract)

James R. Cordy , Queen?s University, Ontario, Canada
Juergen Dingel , Queen?s University, Ontario, Canada
Jeremy S. Bradbury , Queen?s University, Ontario, Canada
pp. 4
Session 2

Finding Sufficient Mutation Operators via Variable Reduction (Abstract)

James H. Andrews , University of Western Ontario
Akbar Siami Namin , University of Western Ontario
pp. 5

Assessment of Data Diversity Methods for Software Fault Tolerance Based on Mutation Analysis (Abstract)

Guillermo Gallardo , University of Bristol, UK
Julio C. Gallardo , Research Associate at the SSRC
John May , University of Bristol, UK
pp. 6

The SESAME Experience: from Assembly Languages to Declarative Models (Abstract)

Helene Waeselynck , LAAS-CNRS, University of Toulouse, France
David Powell , LAAS-CNRS, University of Toulouse, France
Yves Crouzet , LAAS-CNRS, University of Toulouse, France
Benjamin Lussier , LAAS-CNRS, University of Toulouse, France
pp. 7

Fault-Based Interface Testing Between Real-Time Operating System and Application (Abstract)

Byoungju Choi , Ewha University, Seoul, 120-750, Korea
Ahyoung Sung , Ewha University, Seoul, 120-750, Korea
Jina Jang , Ewha University, Seoul, 120-750, Korea
pp. 8
Session 3

Basic Operations for Generating Behavioral Mutants (Abstract)

Christof J. Budnik , University of Paderborn, Germany
W. Eric Wong , University of Texas at Dallas, Richardson, TX
Fevzi Belli , University of Paderborn, Germany
pp. 9

Mutation Operators for Concurrent Java (J2SE 5.0) (Abstract)

Juergen Dingel , Queen?s University, Ontario, Canada
James R. Cordy , Queen?s University, Ontario, Canada
Jeremy S. Bradbury , Queen?s University, Ontario, Canada
pp. 11
Session 4

Mutation-based Model Synthesis in Model Driven Engineering (Abstract)

Sagar Sen , McGill University (also at IRISA), Montreal Canada
Benoit Baudry , IRISA, France
pp. 13
255 ms
(Ver 3.1 (10032016))