Generating tests from EFSM models using guided model checking and iterated search refinment
author
Ernits, Juhan-Peep
Kull, Andres
Raiend, Kullo
Vain, Jüri
statement of authorship
J.-P.Ernits, A.Kull, K.Raiend, J.Vain
source
Formal Approach to Software Testing and Runtime Verification : First Combined International Workshops FATES 2006 and RV 2006 : Seattle, WA, USA, August 15-16, 2006 : revised selected papers
location of publication
Berlin
publisher
Springer
year of publication
2006
pages
p. 85-99
url
https://link.springer.com/chapter/10.1007/11940197_6
subject term
testid
jadad
mudelid
kriteeriumid
iteratsioonimeetodid
ISBN
978-3-540-49699-1
notes
(Lecture notes in computer science, ISSN 0302-9743 ; 4262)
language
inglise