Ernits, J.-P., Kull, A., Raiend, K., Vain, J.

täiskirje 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

ISBN

978-3-540-49699-1

märkused

(Lecture notes in computer science, ISSN 0302-9743 ; 4262)

keel

inglise

Märksõnad ja võtmesõnad

märksõna

testid

jadad

mudelid

kriteeriumid

iteratsioonimeetodid

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