Zugehörige Institution(en) am KIT | Institut für Programmstrukturen und Datenorganisation (IPD) |
Publikationstyp | Proceedingsbeitrag |
Publikationsjahr | 2008 |
Sprache | Englisch |
Identifikator | ISBN: 978-0-7695-3127-4 KITopen-ID: 1000030556 |
Erschienen in | Proc. 1st International Conference on Software Testing, Verification, and Validation (ICST) |
Verlag | IEEE Computer Society |
Seiten | 238 - 247 |