Integrating model-based testing and analysis tools via test case exchange

Bernhard Aichernig, Florian Lukas Lorber, Stefan Tiran

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

Original languageEnglish
Title of host publicationIEEE International Symposium on Theoretical Aspects of Software Engineering
PublisherIEEE Computer Society
Pages119-126
ISBN (Print)978-1-4673-2353-6
Publication statusPublished - 2012
EventIEEE International Symposium on Theoretical Aspects of Software Engineering - Beijing, China
Duration: 4 Jul 20126 Jul 2012

Conference

ConferenceIEEE International Symposium on Theoretical Aspects of Software Engineering
CountryChina
CityBeijing
Period4/07/126/07/12

Fields of Expertise

  • Information, Communication & Computing

Treatment code (Nähere Zuordnung)

  • Theoretical

Cite this

Aichernig, B., Lorber, F. L., & Tiran, S. (2012). Integrating model-based testing and analysis tools via test case exchange. In IEEE International Symposium on Theoretical Aspects of Software Engineering (pp. 119-126). IEEE Computer Society.

Integrating model-based testing and analysis tools via test case exchange. / Aichernig, Bernhard; Lorber, Florian Lukas; Tiran, Stefan.

IEEE International Symposium on Theoretical Aspects of Software Engineering. IEEE Computer Society, 2012. p. 119-126.

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

Aichernig, B, Lorber, FL & Tiran, S 2012, Integrating model-based testing and analysis tools via test case exchange. in IEEE International Symposium on Theoretical Aspects of Software Engineering. IEEE Computer Society, pp. 119-126, IEEE International Symposium on Theoretical Aspects of Software Engineering, Beijing, China, 4/07/12.
Aichernig B, Lorber FL, Tiran S. Integrating model-based testing and analysis tools via test case exchange. In IEEE International Symposium on Theoretical Aspects of Software Engineering. IEEE Computer Society. 2012. p. 119-126
Aichernig, Bernhard ; Lorber, Florian Lukas ; Tiran, Stefan. / Integrating model-based testing and analysis tools via test case exchange. IEEE International Symposium on Theoretical Aspects of Software Engineering. IEEE Computer Society, 2012. pp. 119-126
@inproceedings{fa8b6f43be4f462fa4df2bbe000be91e,
title = "Integrating model-based testing and analysis tools via test case exchange",
author = "Bernhard Aichernig and Lorber, {Florian Lukas} and Stefan Tiran",
year = "2012",
language = "English",
isbn = "978-1-4673-2353-6",
pages = "119--126",
booktitle = "IEEE International Symposium on Theoretical Aspects of Software Engineering",
publisher = "IEEE Computer Society",
address = "United States",

}

TY - GEN

T1 - Integrating model-based testing and analysis tools via test case exchange

AU - Aichernig, Bernhard

AU - Lorber, Florian Lukas

AU - Tiran, Stefan

PY - 2012

Y1 - 2012

M3 - Conference contribution

SN - 978-1-4673-2353-6

SP - 119

EP - 126

BT - IEEE International Symposium on Theoretical Aspects of Software Engineering

PB - IEEE Computer Society

ER -