Test-Case Generation and Coverage Analysis for Nondeterministic Systems Using Model-Checkers

Gordon Fraser, Franz Wotawa

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandBegutachtung

Originalspracheenglisch
TitelProceedings of the International Conference on Software Engineering Advances (ICSEA 2007)
ErscheinungsortLos Alamitos, CA, USA
Herausgeber (Verlag)IEEE Computer Society
Seiten45-51
DOIs
PublikationsstatusVeröffentlicht - 2007

Treatment code (Nähere Zuordnung)

  • Theoretical

Dieses zitieren