Integration of Requirements Engineering and Test-Case Generation via OSLC

Bernhard Aichernig, Klaus Hörmaier, Florian Lorber, Dejan Nickovic, Rupert Schlick, Stefan Tiran, Didier Simoneau

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

Original languageEnglish
Title of host publication2014 14th International Conference on Quality Software
Publisher.
Pages117-126
DOIs
Publication statusPublished - 2014
EventInternational Conference on Quality Software: QSIC 2014 - Dallas, United States
Duration: 2 Oct 2014 → 3 Oct 2014

Conference

ConferenceInternational Conference on Quality Software
Country/TerritoryUnited States
CityDallas
Period2/10/14 → 3/10/14

Fields of Expertise

  • Information, Communication & Computing

Access to Document

  • EU - MBAT - Combined Model-based Analysis and Testing of Embedded Systems

    Lorber, F. L. (Co-Investigator (CoI)), Tiran, S. (Co-Investigator (CoI)) & Aichernig, B. (Principal Investigator (PI))

    1/11/11 → 31/12/13

    Project: Research project

  • Formal Methods

    Lucas, P. (Co-Investigator (CoI)), Lorber, F. L. (Co-Investigator (CoI)), Jöbstl, E. (Co-Investigator (CoI)) & Aichernig, B. (Co-Investigator (CoI))

    1/01/95 → 31/12/24

    Project: Research area

Cite this