Synthesis of test purpose directed reactive planning tester for nondeterministic systems
author
Vain, Jüri
Raiend, Kullo
Kull, Andres
Ernits, Juhan-Peep
statement of authorship
Jüri Vain, Kullo Raiend, Andres Kull, Juhan P.Ernits
source
22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007) : November 5-9, 2007, Atlanta, Georgia, USA
location of publication
[S.l.]
publisher
ACM Press
year of publication
2007
pages
p. 363-372
url
https://www.researchgate.net/publication/220883693_Synthesis_of_test_purpose_directed_reactive_planning_tester_for_nondeterministic_systems
subject term
testimine
mudelid
algoritmid
kompuutermodelleerimine
ISBN
978-1-59593-882-4
language
inglise