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.