Generating Checking Sequences for User Defined Fault Models
Résumé
In this paper, we investigate how a checking sequence can be generated from a Finite State Machine, with respect to a user-defined set of faults, modeled as a nondeterministic FSM, called Mutation Machine (MM). We propose an algorithm for generating a checking sequence in this scenario and demonstrate its correctness.
Origine : Fichiers produits par l'(les) auteur(s)
