| 2008 |
|---|
| 7 | | Fevzi Belli,
Christof J. Budnik,
Axel Hollmann,
Mario Winter:
MOTES08 - Modellbasiertes Testen.
GI Jahrestagung (1) 2008: 173-174 |
| 6 | | Zhenyu Chen,
Axel Hollmann:
Positive and Negative Testing with Mutation-Driven Model Checking.
GI Jahrestagung (1) 2008: 187-192 |
| 5 | EE | Fevzi Belli,
Axel Hollmann:
Test generation and minimization with "basic" statecharts.
SAC 2008: 718-723 |
| 4 | | Friedrich Beidinger,
Axel Hollmann,
Markus Kleinselbeck,
Wolf Ritschel:
Vergleich einer graphenbasierten Methode mit der Klassifikationsbaummethode für die Testfallermittlung anhand einer automotiven Fallstudie.
Software Engineering (Workshops) 2008: 367-374 |
| 2007 |
|---|
| 3 | EE | Fevzi Belli,
Axel Hollmann,
Nimal Nissanke:
Modeling, Analysis and Testing of Safety Issues - An Event-Based Approach and Case Study.
SAFECOMP 2007: 276-282 |
| 2 | | Fevzi Belli,
Axel Hollmann:
Holistic testing with basic statecharts.
Software Engineering (Workshops) 2007: 91-100 |
| 2006 |
|---|
| 1 | | Fevzi Belli,
Christof J. Budnik,
Axel Hollmann:
Holistic Testing of Interactive Systems Using Statecharts.
Sicherheit 2006: 345-356 |
