Auflistung nach Autor "Hollmann, Axel"
Anzeige der Dokumente 1-8 von 8
-
Holistic testing of interactive systems using statecharts
Belli, Fevzi; Budnik, Christof J.; Hollmann, Axel
345-356 -
Holistic Testing with Basic Statecharts
Belli, Fevzi; Hollmann, Axel
91-100 -
Modellbasiertes Testen
Belli, Fevzi; Budnik, Christof J.; Hollmann, Axel; Saglietti, Francesca; Winter, Mario
353-353 -
MOTES08 - Modellbasiertes Testen – 3. Workshop im Rahmen der Jahrestagung der Gesellschaft für Informatik am 9. September 2008 in München – Einführung und Übersicht über die angenommenen Beiträge
Belli, Fevzi; Budnik, Christof J.; Hollmann, Axel; Winter, Mario
173-174 -
MOTES09 - Modellbasiertes Testen – 4. Workshop im Rahmen der Jahrestagung der Gesellschaft für Informatik am 29. September 2009 in Lübeck – Einführung und Übersicht über die angenommenen Beiträge
Belli, Fevzi; Budnik, Christof J.; Hollmann, Axel; Saglietti, Francesca; Winter, Mario
354-355 -
MOTES2010 - Modellbasiertes Testen
Belli, Fevzi; Budnik, Christof J.; Hollmann, Axel; Saglietti, Francesca; Winter, Mario
319-320 -
Positive and Negative Testing with Mutation-Driven Model Checking
Chen, Zhenyu; Hollmann, Axel
187-192 -
Vergleich einer graphenbasierten Methode mit der Klassifikationsbaummethode für die Testfallermittlung anhand einer automotiven Fallstudie
Beidinger, Friedrich; Hollmann, Axel; Kleinselbeck, Markus; Ritschel, Wolf
367-374