The SESAME Experience: from Assembly Languages to Declarative Models

Authors:
Yves Crouzet;Helene Waeselynck;Benjamin Lussier;David Powell
Affiliations:
LAAS-CNRS, University of Toulouse, France;LAAS-CNRS, University of Toulouse, France;LAAS-CNRS, University of Toulouse, France;LAAS-CNRS, University of Toulouse, France
Venue:
MUTATION '06 Proceedings of the Second Workshop on Mutation Analysis
Year:
2006

Citing 0
Cited 1

Tolerance of design faults

Dependable and Historic Computing

Quantified Score

Hi-index	0.00

Visualization

Abstract

SESAME (Software Environment for Software Analysis by Mutation Effects) is a fault injection tool using mutation as the target fault model. It has been used for 15 years to support dependability research at LAAS-CNRS. A salient feature of SESAME is that it is multi-language. This made it possible to inject faults into software written in assembly languages, procedural languages (Pascal, C), a data-flow language (LUSTRE), as well as in a declarative language for temporal planning in robotics. This paper provides an overview of the tool, and reports on its use in experimental research addressing either fault removal or fault tolerance topics.