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

1 results

Finished
EU - MBAT - Combined Model-based Analysis and Testing of Embedded Systems
Aichernig, B. (Project manager), Lorber, F. L. (Attendee / Assistant) & Tiran, S. (Attendee / Assistant)
1/11/11 → 31/12/13
Project: Research project