Projekte pro Jahr
Originalsprache | englisch |
---|---|
Titel | Tests and Proofs |
Herausgeber (Verlag) | Springer |
Seiten | 1-9 |
Band | 8570 |
DOIs | |
Publikationsstatus | Veröffentlicht - 2014 |
Veranstaltung | International Conference on Tests and Proofs: TAP 2014 - York, Großbritannien / Vereinigtes Königreich Dauer: 24 Juli 2014 → 25 Juli 2014 |
Publikationsreihe
Name | Lecture Notes in Computer Science |
---|---|
Herausgeber (Verlag) | Springer |
Konferenz
Konferenz | International Conference on Tests and Proofs |
---|---|
Kurztitel | TAP 2014 |
Land/Gebiet | Großbritannien / Vereinigtes Königreich |
Ort | York |
Zeitraum | 24/07/14 → 25/07/14 |
Fields of Expertise
- Information, Communication & Computing
Treatment code (Nähere Zuordnung)
- Application
- Experimental
Projekte
- 1 Abgeschlossen
-
TRUFAL - [Original in Englisch: Trust via Failed Falsification of Complex Dependable Systems Using Automated Test-Case Generation through Model Mutation]
Jöbstl, E. & Aichernig, B.
1/03/11 → 30/06/14
Projekt: Forschungsprojekt