Formal Test-Driven Development with Verified Test Cases

Bernhard Aichernig; Florian Lukas Lorber; Stefan Tiran

doi:10.5220/0004874406260635

Formal Test-Driven Development with Verified Test Cases

Bernhard Aichernig, Florian Lukas Lorber, Stefan Tiran

Institut für Softwaretechnologie (7160)

Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

Originalsprache	englisch
Titel	Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development
Erscheinungsort	Lisbon
Herausgeber (Verlag)	SCITEPRESS – Science and Technology Publications
Seiten	626-635
ISBN (Print)	978-989-758-007-9
DOIs	https://doi.org/10.5220/0004874406260635
Publikationsstatus	Veröffentlicht - 2014
Veranstaltung	International Conference on Model-Driven Engineering and Software Development - Lisbon, Portugal Dauer: 7 Jan. 2014 → 9 Jan. 2014

Konferenz

Konferenz	International Conference on Model-Driven Engineering and Software Development
Land/Gebiet	Portugal
Ort	Lisbon
Zeitraum	7/01/14 → 9/01/14

Fields of Expertise

Information, Communication & Computing

Zugriff auf Dokument

10.5220/0004874406260635

1 Abgeschlossen
1 Laufend

Formale Methoden
Lucas, P., Lorber, F. L., Jöbstl, E. & Aichernig, B.
1/01/95 → …
Projekt: Arbeitsgebiet
EU - MBAT - Combined Model-based Analysis and Testing of Embedded Systems
Lorber, F. L., Tiran, S. & Aichernig, B.
1/11/11 → 31/10/14
Projekt: Forschungsprojekt

Dieses zitieren

Formal Test-Driven Development with Verified Test Cases. / Aichernig, Bernhard; Lorber, Florian Lukas; Tiran, Stefan.
Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development. Lisbon: SCITEPRESS – Science and Technology Publications, 2014. S. 626-635.

Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

Aichernig, B, Lorber, FL & Tiran, S 2014, Formal Test-Driven Development with Verified Test Cases. in Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development. SCITEPRESS – Science and Technology Publications, Lisbon, S. 626-635, International Conference on Model-Driven Engineering and Software Development, Lisbon, Portugal, 7/01/14. https://doi.org/10.5220/0004874406260635

@inproceedings{b8c1e238f128418a8f8cdbd0d58fa70d,

title = "Formal Test-Driven Development with Verified Test Cases",

author = "Bernhard Aichernig and Lorber, {Florian Lukas} and Stefan Tiran",

year = "2014",

doi = "10.5220/0004874406260635",

language = "English",

isbn = "978-989-758-007-9",

pages = "626--635",

booktitle = "Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development",

publisher = "SCITEPRESS – Science and Technology Publications",

note = "International Conference on Model-Driven Engineering and Software Development ; Conference date: 07-01-2014 Through 09-01-2014",

}

TY - GEN

T1 - Formal Test-Driven Development with Verified Test Cases

AU - Aichernig, Bernhard

AU - Lorber, Florian Lukas

AU - Tiran, Stefan

PY - 2014

Y1 - 2014

U2 - 10.5220/0004874406260635

DO - 10.5220/0004874406260635

M3 - Conference paper

SN - 978-989-758-007-9

SP - 626

EP - 635

BT - Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development

PB - SCITEPRESS – Science and Technology Publications

CY - Lisbon

T2 - International Conference on Model-Driven Engineering and Software Development

Y2 - 7 January 2014 through 9 January 2014

ER -

Formal Test-Driven Development with Verified Test Cases

Konferenz

Fields of Expertise

Zugriff auf Dokument

Projekte

Formale Methoden

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

Dieses zitieren