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

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

Original language	English
Title of host publication	Proceedings of the 3rd international workshop on Advances in model-based testing
Place of Publication	New York, NY, USA
Publisher	Association of Computing Machinery
Pages	64-74
ISBN (Print)	978-1-59593-850-3
Publication status	Published - 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. p. 64-74.

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

@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 -