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

Gordon Fraser, Franz Wotawa

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Original languageEnglish
Title of host publicationProceedings of the International Conference on Software Engineering Advances (ICSEA 2007)
Place of PublicationLos Alamitos, CA, USA
PublisherIEEE Computer Society
Pages45-51
DOIs
Publication statusPublished - 2007

Treatment code (Nähere Zuordnung)

  • Theoretical

Cite this

Fraser, G., & Wotawa, F. (2007). Test-Case Generation and Coverage Analysis for Nondeterministic Systems Using Model-Checkers. In Proceedings of the International Conference on Software Engineering Advances (ICSEA 2007) (pp. 45-51). Los Alamitos, CA, USA: IEEE Computer Society. https://doi.org/10.1109/ICSEA.2007.71