| |
| 2008 | ||
|---|---|---|
| 4 | Mario Friske: Strukturelle Testabdeckung funktionaler Spezifikationen. GI Jahrestagung (1) 2008: 205-210 | |
| 2007 | ||
| 3 | EE | Mario Friske, Bernd-Holger Schlingloff: Improving Test Coverage for UML State Machines Using Transition Instrumentation. SAFECOMP 2007: 301-314 |
| 2006 | ||
| 2 | Mario Friske, Konrad Hilse: Evaluation von Transformationsmaschinen in der modellbasierten Qualitiätssicherung. GI Jahrestagung (2) 2006: 205-209 | |
| 2005 | ||
| 1 | Mario Friske, Holger Pirk: Werkzeuggestützte interaktive Formalisierung textueller Anwendungsfallbeschreibungen für den Systemtest. GI Jahrestagung (2) 2005: 516-520 | |
| 1 | Konrad Hilse | [2] |
| 2 | Holger Pirk | [1] |
| 3 | Bernd-Holger Schlingloff | [3] |