Zugehörige Institution(en) am KIT | Institut für Programmstrukturen und Datenorganisation (IPD) Institut für Theoretische Informatik (ITI) |
Publikationstyp | Proceedingsbeitrag |
Publikationsmonat/-jahr | 04.2012 |
Sprache | Englisch |
Identifikator | ISBN: 978-1-4577-1906-6 KITopen-ID: 1000122693 |
Erschienen in | 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation, Montreal, QC, Canada, 17-21 April 2012, [proceedings ; including workshop papers] |
Verlag | Institute of Electrical and Electronics Engineers (IEEE) |
Seiten | 101–110 |
Nachgewiesen in | Scopus Dimensions |