prindi

Generating tests from EFSM models using guided model checking and iterated search refinment

autor
Ernits, Juhan-Peep
Kull, Andres
Raiend, Kullo
Vain, Jüri
vastutusandmed
J.-P.Ernits, A.Kull, K.Raiend, J.Vain
allikas
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
ilmumiskoht
Berlin
kirjastus/väljaandja
Springer
ilmumisaasta
2006
leheküljed
p. 85-99
leitav
https://link.springer.com/chapter/10.1007/11940197_6
märksõna
testid
jadad
mudelid
kriteeriumid
iteratsioonimeetodid
ISBN
978-3-540-49699-1
märkused
(Lecture notes in computer science, ISSN 0302-9743 ; 4262)
keel
inglise
Ernits, J.-P., Kull, A., Raiend, K., Vain, J. Generating tests from EFSM models using guided model checking and iterated search refinment // 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. Berlin : Springer, 2006. p. 85-99. https://link.springer.com/chapter/10.1007/11940197_6