Improving Model-Checkers for Software Testing

Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

Originalsprache	englisch
Titel	Quality Software, 2007. QSIC '07. Seventh International Conference on
Herausgeber (Verlag)	IEEE Computer Society
Seiten	25-31
DOIs	https://doi.org/10.1109/QSIC.2007.4385477
Publikationsstatus	Veröffentlicht - 2007

Treatment code (Nähere Zuordnung)

Testmethodik, Testmanagement und Zertifizierung (SN-P2)
Fraser, G. (Teilnehmer (Co-Investigator)), Wotawa, F. (Teilnehmer (Co-Investigator)) & Peischl, B. J. (Projektleiter (Principal Investigator))
1/05/06 → 31/12/10
Projekt: Forschungsprojekt

@inproceedings{902e45310b354fbdada8e564f6a403dd,

title = "Improving Model-Checkers for Software Testing",

author = "Gordon Fraser and Franz Wotawa",

year = "2007",

doi = "10.1109/QSIC.2007.4385477",

language = "English",

pages = "25--31",

booktitle = "Quality Software, 2007. QSIC '07. Seventh International Conference on",

publisher = "IEEE Computer Society",

address = "United States",

}