Nondeterministic Testing with Linear Model-Checker Counterexamples

Gordon Fraser; Franz Wotawa

doi:10.1109/QSIC.2007.4385486

Nondeterministic Testing with Linear Model-Checker Counterexamples

Institute of Software Engineering and Artificial Intelligence (7160)

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	107-116
ISBN (Print)	978-0-7695-3035-2
DOIs	https://doi.org/10.1109/QSIC.2007.4385486
Publikationsstatus	Veröffentlicht - 2007
Veranstaltung	International Conference on Quality Software: QSIC 2007 - Portland, USA / Vereinigte Staaten Dauer: 11 Okt. 2007 → 12 Okt. 2007

Konferenz

Konferenz	International Conference on Quality Software
Land/Gebiet	USA / Vereinigte Staaten
Ort	Portland
Zeitraum	11/10/07 → 12/10/07

Treatment code (Nähere Zuordnung)

Theoretical

Zugriff auf Dokument

10.1109/QSIC.2007.4385486

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

Dieses zitieren

@inproceedings{06f81da7873a4a359375bfa15a94fb6d,

title = "Nondeterministic Testing with Linear Model-Checker Counterexamples",

author = "Gordon Fraser and Franz Wotawa",

year = "2007",

doi = "10.1109/QSIC.2007.4385486",

language = "English",

isbn = "978-0-7695-3035-2",

pages = "107--116",

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

publisher = "IEEE Computer Society",

address = "United States",

note = "International Conference on Quality Software : QSIC 2007 ; Conference date: 11-10-2007 Through 12-10-2007",

}

TY - GEN

T1 - Nondeterministic Testing with Linear Model-Checker Counterexamples

AU - Fraser, Gordon

AU - Wotawa, Franz

PY - 2007

Y1 - 2007

U2 - 10.1109/QSIC.2007.4385486

DO - 10.1109/QSIC.2007.4385486

M3 - Conference paper

SN - 978-0-7695-3035-2

SP - 107

EP - 116

BT - Quality Software, 2007. QSIC '07. Seventh International Conference on

PB - IEEE Computer Society

T2 - International Conference on Quality Software

Y2 - 11 October 2007 through 12 October 2007

ER -

Nondeterministic Testing with Linear Model-Checker Counterexamples

Konferenz

Treatment code (Nähere Zuordnung)

Zugriff auf Dokument

Projekte

Testmethodik, Testmanagement und Zertifizierung (SN-P2)

Dieses zitieren