Improved Underspecification for Model-based Testing in Agile Development
| Zugehörige Institution(en) am KIT | Institut für Theoretische Informatik (ITI) |
| Publikationstyp | Proceedingsbeitrag |
| Publikationsjahr | 2010 |
| Sprache | Englisch |
| Identifikator | ISBN: 978-3-88579-273-4 KITopen-ID: 1000028628 |
| Erschienen in | Proceedings of the Second International Workshop on Formal Methods and Agile Methods, 17 September 2010, Pisa (Italy) |
| Verlag | Gesellschaft für Informatik (GI) |
| Seiten | 63-78 |
| Serie | Lecture Notes in Informatics ; 179 |