Projects per year
Original language | English |
---|---|
Pages (from-to) | 383-404 |
Journal | Science of Computer Programming |
Volume | 97, Part 4 |
Publication status | Published - 2015 |
Fields of Expertise
- Information, Communication & Computing
Projects
- 2 Finished
-
EU - MBAT - Combined Model-based Analysis and Testing of Embedded Systems
Lorber, F. L., Tiran, S. & Aichernig, B.
1/11/11 → 31/12/13
Project: Research project
-
TRUFAL - Trust via Failed Falsification of Complex Dependable Systems Using Automated Test-Case Generation through Model Mutation
Jöbstl, E. & Aichernig, B.
1/03/11 → 28/02/14
Project: Research project