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

doi:10.1109/QSIC.2014.13

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

Institute of Software Technology (7160)

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

Original language	English
Title of host publication	2014 14th International Conference on Quality Software
Publisher	.
Pages	117-126
DOIs	https://doi.org/10.1109/QSIC.2014.13
Publication status	Published - 2014
Event	International Conference on Quality Software: QSIC 2014 - Dallas, United States Duration: 2 Oct 2014 → 3 Oct 2014

Conference

Conference	International Conference on Quality Software
Country/Territory	United States
City	Dallas
Period	2/10/14 → 3/10/14

Fields of Expertise

Information, Communication & Computing

Access to Document

10.1109/QSIC.2014.13

1 Finished
1 Active

Formal Methods
Lucas, P., Lorber, F. L., Jöbstl, E. & Aichernig, B.
1/01/95 → …
Project: Research area
EU - MBAT - Combined Model-based Analysis and Testing of Embedded Systems
Lorber, F. L., Tiran, S. & Aichernig, B.
1/11/11 → 31/10/14
Project: Research project

Cite this

@inproceedings{c319ea25da384419aa7f9243037f087b,

title = "Integration of Requirements Engineering and Test-Case Generation via OSLC",

author = "Bernhard Aichernig and Klaus H{\"o}rmaier and Florian Lorber and Dejan Nickovic and Rupert Schlick and Stefan Tiran and Didier Simoneau",

year = "2014",

doi = "10.1109/QSIC.2014.13",

language = "English",

pages = "117--126",

booktitle = "2014 14th International Conference on Quality Software",

publisher = ".",

note = "International Conference on Quality Software : QSIC 2014 ; Conference date: 02-10-2014 Through 03-10-2014",

}

TY - GEN

T1 - Integration of Requirements Engineering and Test-Case Generation via OSLC

AU - Aichernig, Bernhard

AU - Hörmaier, Klaus

AU - Lorber, Florian

AU - Nickovic, Dejan

AU - Schlick, Rupert

AU - Tiran, Stefan

AU - Simoneau, Didier

PY - 2014

Y1 - 2014

U2 - 10.1109/QSIC.2014.13

DO - 10.1109/QSIC.2014.13

M3 - Conference paper

SP - 117

EP - 126

BT - 2014 14th International Conference on Quality Software

PB - .

T2 - International Conference on Quality Software

Y2 - 2 October 2014 through 3 October 2014

ER -

Integration of Requirements Engineering and Test-Case Generation via OSLC

Conference

Fields of Expertise

Access to Document

Projects

Formal Methods

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

Cite this