%0 Conference Proceedings
%T Adaptive Testing of Deterministic Implementations Specified by Nondeterministic FSMs
%+ Centre de Recherche Informatique de Montréal = Computer Research Institute of Montréal (CRIM)
%+ Tomsk State University [Tomsk]
%A Petrenko, Alexandre
%A Yevtushenko, Nina
%< avec comité de lecture
%( Lecture Notes in Computer Science
%B 23th International Conference on Testing Software and Systems (ICTSS)
%C Paris, France
%Y Burkhart Wolff
%Y Fatiha Zaïdi
%I Springer
%3 Testing Software and Systems
%V LNCS-7019
%P 162-178
%8 2011-11-07
%D 2011
%R 10.1007/978-3-642-24580-0_12
%K nondeterministic FSM
%K conformance testing
%K test generation
%K adaptive testing
%Z Computer Science [cs]
%Z Computer Science [cs]/Networking and Internet Architecture [cs.NI]Conference papers
%X The paper addresses the problem of adaptive testing of a deterministic FSM which models an implementation under test using a nondeterministic FSM as its specification. It elaborates a method for deriving test fragments, combining and executing them in adaptive way such that the implementation passes the test if and only if it is a reduction of the specification. Compared to the existing methods, it uses adaptive test fragments needed to reach as well as to distinguish states.
%G English
%Z TC 6
%Z WG 6.1
%2 https://inria.hal.science/hal-01583921/document
%2 https://inria.hal.science/hal-01583921/file/978-3-642-24580-0_12_Chapter.pdf
%L hal-01583921
%U https://inria.hal.science/hal-01583921
%~ IFIP-LNCS
%~ IFIP
%~ IFIP-TC
%~ IFIP-WG
%~ IFIP-TC6
%~ IFIP-WG6-1
%~ IFIP-ICTSS
%~ IFIP-LNCS-7019