KIT | KIT-Bibliothek | Impressum | Datenschutz

Model-driven test case design for model-to-model semantics preservation

Gerking, Christopher ORCID iD icon; Ladleif, Jan; Schäfer, Wilhelm


Originalveröffentlichung
DOI: 10.1145/2804322.2804323
Scopus
Zitationen: 2
Dimensions
Zitationen: 1
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 Dimensions
Scopus
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page