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

Gordon Fraser, Franz Wotawa

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Original languageEnglish
Title of host publicationProceedings of the 3rd international workshop on Advances in model-based testing
Place of PublicationNew York, NY, USA
PublisherAssociation of Computing Machinery
Pages64-74
ISBN (Print)978-1-59593-850-3
Publication statusPublished - 2007

Treatment code (Nähere Zuordnung)

  • Theoretical
  • Experimental

Cite this

Fraser, G., & Wotawa, F. (2007). Using LTL Rewriting to Improve the Performance of Model-Checker Based Test-Case Generation. In Proceedings of the 3rd international workshop on Advances in model-based testing (pp. 64-74). New York, NY, USA: Association of Computing Machinery.

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 proceedingConference contributionResearchpeer-review

Fraser, G & Wotawa, F 2007, Using LTL Rewriting to Improve the Performance of Model-Checker Based Test-Case Generation. in Proceedings of the 3rd international workshop on Advances in model-based testing. Association of Computing Machinery, New York, NY, USA, pp. 64-74.
Fraser G, Wotawa F. Using LTL Rewriting to Improve the Performance of Model-Checker Based Test-Case Generation. In Proceedings of the 3rd international workshop on Advances in model-based testing. New York, NY, USA: Association of Computing Machinery. 2007. p. 64-74
Fraser, Gordon ; Wotawa, Franz. / Using LTL Rewriting to Improve the Performance of Model-Checker Based Test-Case Generation. Proceedings of the 3rd international workshop on Advances in model-based testing. New York, NY, USA : Association of Computing Machinery, 2007. pp. 64-74
@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 contribution

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 -