%O BookSection 
%F tschaen05a
%A Tschaen, V.
%T Test generation algorithms based on preorder relations
%B Model-Based Testing of Reactive Systems
%E Broy, M.
%E Jonsson, B.
%E Katoen, J.-P.
%E Leucker, M.
%E Pretschner, A.
%N 3472

%S LNCS
%I Springer Verlag
%X Testing theory has been studied for a long time. Based on finite state machines at the beginning, it has been extended to conformance testing of transition systems. Test generation methods have been developed for both of these models
%U http://www.irisa.fr/vertecs/Publis/Ps/2005-Test-Chap-Book.pdf
%D 2005