| 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 |