Using model-checkers to generate and analyze property relevant test-cases

Gordon Fraser, Franz Wotawa

Institute of Software Engineering and Artificial Intelligence (7160)

Publikation: Beitrag in einer Fachzeitschrift › Artikel › Begutachtung

Originalsprache	englisch
Seiten (von - bis)	161-183
Fachzeitschrift	Software Quality Journal
Jahrgang	16
Ausgabenummer	2
DOIs	https://doi.org/10.1007/s11219-007-9031-6
Publikationsstatus	Veröffentlicht - 2008

Treatment code (Nähere Zuordnung)

Theoretical

Zugriff auf Dokument

10.1007/s11219-007-9031-6

TE-DES - Systematische Testfallgenerierung für sicherheitskritische verteilte eingebettete Echtzeitsysteme mit unterschiedlichem SIL-Level
Fraser, G. (Teilnehmer (Co-Investigator)) & Wotawa, F. (Projektleiter (Principal Investigator))
1/02/05 → 28/02/07
Projekt: Forschungsprojekt

Dieses zitieren

@article{ddcc60ee0bc348938f86a29eb773277b,

title = "Using model-checkers to generate and analyze property relevant test-cases",

author = "Gordon Fraser and Franz Wotawa",

year = "2008",

doi = "10.1007/s11219-007-9031-6",

language = "English",

volume = "16",

pages = "161--183",

journal = "Software Quality Journal",

issn = "1573-1367",

publisher = "Springer New York",

number = "2",

}