Synthesis of test purpose directed reactive planning tester for nondeterministic systems

vastutusandmed
Jüri Vain, Kullo Raiend, Andres Kull, Juhan P.Ernits
allikas
22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007) : November 5-9, 2007, Atlanta, Georgia, USA
ilmumiskoht
[S.l.]
kirjastus/väljaandja
ilmumisaasta
leheküljed
p. 363-372
ISBN
978-1-59593-882-4
Vain, J., Raiend, K., Kull, A., Ernits, J.-P. Synthesis of test purpose directed reactive planning tester for nondeterministic systems // 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007) : November 5-9, 2007, Atlanta, Georgia, USA. [S.l.] : ACM Press, 2007. p. 363-372.