Formal Test-Driven Development with Verified Test Cases

Bernhard Aichernig, Florian Lukas Lorber, Stefan Tiran

Institute of Software Engineering and Artificial Intelligence (7160)

Research output: Book/Report › Other report

Original language	English
Publisher	.
Publication status	Published - 2012

Fields of Expertise

Information, Communication & Computing

Access to Document

tr_fm12.pdfFinal published version, 572 KB

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

Cite this