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

full record print

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

ISBN

978-3-540-49699-1

notes

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

language

inglise

Märksõnad ja võtmesõnad

subject term

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