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

Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

Original language	English
Title of host publication	Proceedings of the International Conference on Software Engineering Advances (ICSEA 2007)
Place of Publication	Los Alamitos, CA, USA
Publisher	IEEE Computer Society
Pages	45-51
DOIs	https://doi.org/10.1109/ICSEA.2007.71
Publication status	Published - 2007

Treatment code (Nähere Zuordnung)

Test-Case Generation and Coverage Analysis for Nondeterministic Systems Using Model-Checkers. / Fraser, Gordon; Wotawa, Franz.
Proceedings of the International Conference on Software Engineering Advances (ICSEA 2007). Los Alamitos, CA, USA: IEEE Computer Society, 2007. p. 45-51.

Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

@inproceedings{c4aed9e21e1945a78a394474c71962fb,

title = "Test-Case Generation and Coverage Analysis for Nondeterministic Systems Using Model-Checkers",

author = "Gordon Fraser and Franz Wotawa",

year = "2007",

doi = "10.1109/ICSEA.2007.71",

language = "English",

pages = "45--51",

booktitle = "Proceedings of the International Conference on Software Engineering Advances (ICSEA 2007)",

publisher = "IEEE Computer Society",

address = "United States",

}

TY - GEN

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

AU - Fraser, Gordon

AU - Wotawa, Franz

PY - 2007

Y1 - 2007

U2 - 10.1109/ICSEA.2007.71

DO - 10.1109/ICSEA.2007.71

M3 - Conference paper

SP - 45

EP - 51

BT - Proceedings of the International Conference on Software Engineering Advances (ICSEA 2007)

PB - IEEE Computer Society

CY - Los Alamitos, CA, USA

ER -