%0 Conference Proceedings
%T Generating Checking Sequences for User Defined Fault Models
%+ Centre de Recherche Informatique de Montréal = Computer Research Institute of Montréal (CRIM)
%+ Universidade de São Paulo = University of São Paulo (USP)
%A Petrenko, Alexandre
%A Simao, Adenilso
%Z Part 6: Short Contributions
%< avec comité de lecture
%( Lecture Notes in Computer Science
%B 29th IFIP International Conference on Testing Software and Systems (ICTSS)
%C St. Petersburg, Russia
%Y Nina Yevtushenko
%Y Ana Rosa Cavalli
%Y Hüsnü Yenigün
%I Springer International Publishing
%3 Testing Software and Systems
%V LNCS-10533
%P 320-325
%8 2017-10-09
%D 2017
%R 10.1007/978-3-319-67549-7_20
%K FSM testing
%K Fault models
%K Checking sequence
%K Mutation machine
%Z Computer Science [cs]
%Z Computer Science [cs]/Networking and Internet Architecture [cs.NI]Conference papers
%X 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.
%G English
%Z TC 6
%Z WG 6.1
%2 https://inria.hal.science/hal-01678955/document
%2 https://inria.hal.science/hal-01678955/file/449632_1_En_20_Chapter.pdf
%L hal-01678955
%U https://inria.hal.science/hal-01678955
%~ IFIP-LNCS
%~ IFIP
%~ IFIP-TC
%~ IFIP-WG
%~ IFIP-TC6
%~ IFIP-WG6-1
%~ IFIP-ICTSS
%~ IFIP-LNCS-10533