Projects per year
Original language | English |
---|---|
Title of host publication | IEEE 8th Int. Conf. on Software Testing, Verification and Validation, ICST 2015 |
Publisher | IEEE |
Pages | 1-8 |
DOIs | |
Publication status | Published - 2015 |
Event | 8th IEEE International Conference on Software Testing, Verification and Validation: ICST 2015 - Graz, Austria Duration: 13 Apr 2015 → 17 Apr 2015 |
Conference
Conference | 8th IEEE International Conference on Software Testing, Verification and Validation |
---|---|
Country/Territory | Austria |
City | Graz |
Period | 13/04/15 → 17/04/15 |
Fields of Expertise
- Information, Communication & Computing
Projects
- 5 Finished
-
CRYSTAL - Critical Systems Engineering Factories
Lorber, F. L. (Co-Investigator (CoI)) & Aichernig, B. (Principal Investigator (PI))
1/05/13 → 30/04/16
Project: Research project
-
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
-
TRUFAL - Trust via Failed Falsification of Complex Dependable Systems Using Automated Test-Case Generation through Model Mutation
Jöbstl, E. (Co-Investigator (CoI)) & Aichernig, B. (Principal Investigator (PI))
1/03/11 → 28/02/14
Project: Research project