Formal Test-Driven Development with Verified Test Cases

Bernhard Aichernig, Florian Lukas Lorber, Stefan Tiran

Institute of Software Technology (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., Tiran, S. & Aichernig, B.
1/11/11 → 31/10/14
Project: Research project

Cite this