Formal Test-Driven Development with Verified Test Cases

Stefan Tiran (Speaker), Bernhard K. Aichernig, Florian Lorber

Research output: Chapter in Book or Conference Proceedings › Conference Proceedings with Oral Presentation › peer-review

Original language	English
Title of host publication	Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development
Number of pages	10
Publication status	Published - 2014
Event	MODELSWARD 2014 - Duration: 7 Jan 2014 → 9 Jan 2014

Conference	MODELSWARD 2014
Period	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 -