B. Jeannet, T. Jéron, V. Rusu. Model-based test selection for infinite state reactive systems. In Formal Methods of Components and Objects, FMCO'06, Revised Lectures, F.S de Boer, M.M. Bonsangue, S. Graf, W.-P. de Roever (eds.), Lecture Notes in Computer Science, Volume 4709, Pages 47-69, 2007.
Bertrand Jeannet http://pop-art.inrialpes.fr/people/bjeannet/
@InProceedings{JJR-FMCO-07,
Author = {Jeannet, B. and Jéron, T. and Rusu, V.},
Title = {Model-based test selection for infinite state reactive systems},
BookTitle = {{Formal Methods of Components and Objects, FMCO'06, Revised Lectures}},
editor = {de Boer, F.S and Bonsangue, M.M. and Graf, S. and de Roever, W.-P.},
Volume = {4709},
Pages = {47--69},
Series = {Lecture Notes in Computer Science},
Publisher = {Springer-Verlag},
Year = {2007}
}
Get EndNote Reference (.ref)