Formal Test-Driven Development with Verified Test Cases

Bernhard Aichernig, Florian Lukas Lorber, Stefan Tiran

Research output: Book/ReportOther report

Original languageEnglish
Publisher.
Publication statusPublished - 2012

Fields of Expertise

  • Information, Communication & Computing

Projects

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

Lorber, F. L., Tiran, S. & Aichernig, B.

1/11/1131/10/14

Project: Research project

Cite this