Formal Test-Driven Development with Verified Test Cases

Stefan Tiran (Vortragende:r), Bernhard K. Aichernig, Florian Lorber

Publikation: Beitrag in Buch oder Tagungsband › Vortrag mit Beitrag in Tagungsband › Begutachtung

Originalsprache	Englisch
Titel	Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development
Seitenumfang	10
Publikationsstatus	Veröffentlicht - 2014
Veranstaltung	MODELSWARD 2014 - Dauer: 7 Jan. 2014 → 9 Jan. 2014

Konferenz	MODELSWARD 2014
Zeitraum	7/01/14 → 9/01/14

Research Field

@inproceedings{65c1ab421b7d4247aa773334da4be6e5,

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

author = "Stefan Tiran and Aichernig, \{Bernhard K.\} and Florian Lorber",

year = "2014",

language = "English",

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

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

note = "MODELSWARD 2014 ; Conference date: 07-01-2014 Through 09-01-2014",

}

TY - GEN

T1 - Formal Test-Driven Development with Verified Test Cases

AU - Aichernig, Bernhard K.

AU - Lorber, Florian

A2 - Tiran, Stefan

PY - 2014

Y1 - 2014

M3 - Conference Proceedings with Oral Presentation

SN - 978-989-758-007-9

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

T2 - MODELSWARD 2014

Y2 - 7 January 2014 through 9 January 2014

ER -