Model-driven test case design for model-to-model semantics preservation
Gerking, Christopher
; Ladleif, Jan; Schäfer, Wilhelm
; Ladleif, Jan; Schäfer, Wilhelm| Zugehörige Institution(en) am KIT | Institut für Informationssicherheit und Verlässlichkeit (KASTEL) Institut für Programmstrukturen und Datenorganisation (IPD) |
| Publikationstyp | Proceedingsbeitrag |
| Publikationsjahr | 2015 |
| Sprache | Englisch |
| Identifikator | ISBN: 978-1-4503-3813-4 KITopen-ID: 1000142775 |
| Erschienen in | A-TEST 2015: Proceedings of the 6th International Workshop on Automating Test Case Design, Selection and Evaluation. Ed.: T. E. J. Vos |
| Veranstaltung | 6th International Workshop on Automating Test Case Design, Selection and Evaluation (A-TEST 2015), Bergamo, Italien, 30.08.2015 – 31.08.2015 |
| Verlag | Association for Computing Machinery (ACM) |
| Seiten | 1–7 |
| Externe Relationen | Siehe auch |
| Nachgewiesen in | Scopus Dimensions |