Using LTL Rewriting to Improve the Performance of Model-Checker Based Test-Case Generation

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

Originalsprache	englisch
Titel	Proceedings of the 3rd international workshop on Advances in model-based testing
Erscheinungsort	New York, NY, USA
Herausgeber (Verlag)	Association of Computing Machinery
Seiten	64-74
ISBN (Print)	978-1-59593-850-3
Publikationsstatus	Veröffentlicht - 2007

Treatment code (Nähere Zuordnung)

Using LTL Rewriting to Improve the Performance of Model-Checker Based Test-Case Generation. / Fraser, Gordon; Wotawa, Franz.
Proceedings of the 3rd international workshop on Advances in model-based testing. New York, NY, USA: Association of Computing Machinery, 2007. S. 64-74.

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

@inproceedings{02ef6cc6ff794d93ab52d2bc4883ba8a,

title = "Using LTL Rewriting to Improve the Performance of Model-Checker Based Test-Case Generation",

author = "Gordon Fraser and Franz Wotawa",

year = "2007",

language = "English",

isbn = "978-1-59593-850-3",

pages = "64--74",

booktitle = "Proceedings of the 3rd international workshop on Advances in model-based testing",

publisher = "Association of Computing Machinery",

address = "United States",

}

TY - GEN

T1 - Using LTL Rewriting to Improve the Performance of Model-Checker Based Test-Case Generation

AU - Fraser, Gordon

AU - Wotawa, Franz

PY - 2007

Y1 - 2007

M3 - Conference paper

SN - 978-1-59593-850-3

SP - 64

EP - 74

BT - Proceedings of the 3rd international workshop on Advances in model-based testing

PB - Association of Computing Machinery

CY - New York, NY, USA

ER -