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

Ernits, Juhan-P. ; Kull, Andres; Raiend, Kullo ; Vain, Jüri (2006). Generating tests from EFSM models using guided model checking and iterated search refinement. Formal Approaches 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. Ed. Havelund, K., et al. Berlin: Springer, 85−99. (Lecture Notes in Computer Science; 4262).10.1007/11940197_6.
publitseeritud konverentsiettekanne
Ernits, Juhan-P. ; Kull, Andres; Raiend, Kullo ; Vain, Jüri
  • Inglise
Formal Approaches 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
Havelund, K., et al.
Berlin
Springer
0302-9743
978-3-540-49699-1
Lecture Notes in Computer Science
4262
2006
8599
Ilmunud
3.1. Artiklid/peatükid lisas loetletud kirjastuste välja antud kogumikes (kaasa arvatud Thomson Reuters Book Citation Index, Thomson Reuters Conference Proceedings Citation Index, Scopus refereeritud kogumikud)

Viited terviktekstile

dx.doi.org/10.1007/11940197_6