Holistic Testing of Interactive Systems Using Statecharts. - Fevzi Belli; Christof J. Budnik; Axel Hollmann (Sicherheit, 2006)

Modeling, Analysis and Testing of Safety Issues - An Event-Based Approach and Case Study. - Fevzi Belli; Axel Hollmann; Nimal Nissanke (SAFECOMP, 2007)

Holistic testing with basic statecharts. - Fevzi Belli; Axel Hollmann (Software Engineering (Workshops), 2007)

MOTES08 - Modellbasiertes Testen. - Fevzi Belli; Christof J. Budnik; Axel Hollmann; Mario Winter (GI Jahrestagung (1), 2008)

Positive and Negative Testing with Mutation-Driven Model Checking. - Zhenyu Chen; Axel Hollmann (GI Jahrestagung (1), 2008)

Test generation and minimization with "basic" statecharts. - Fevzi Belli; Axel Hollmann (SAC, 2008)

Vergleich einer graphenbasierten Methode mit der Klassifikationsbaummethode für die Testfallermittlung anhand einer automotiven Fallstudie. - Friedrich Beidinger; Axel Hollmann; Markus Kleinselbeck; Wolf Ritschel (Software Engineering (Workshops), 2008)

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. - Fevzi Belli; Christof J. Budnik; Axel Hollmann; Francesca Saglietti; Mario Winter (GI Jahrestagung, 2009)

Structural Feature Extraction for GUI Test Enhancement. - Christof J. Budnik; Fevzi Belli; Axel Hollmann (ICST Workshops, 2009)

Mutant-Based Model-Checking to Ensure Accessibility and Safety Aspects of Human Computer Interfaces. - Fevzi Belli; Axel Hollmann; Zhenyu Chen (ICTA, 2009)

A Graph-Model-Based Testing Method Compared with the Classification Tree Method for Test Case Generation. - Fevzi Belli; Axel Hollmann; Markus Kleinselbeck (SSIRI, 2009)

Communication Sequence Graphs for Mutation-Oriented Integration Testing. - Fevzi Belli; Axel Hollmann; Sascha Padberg (SSIRI, 2009)

Model-Based Higher-Order Mutation Analysis. - Fevzi Belli; Nevin Güler; Axel Hollmann; Gökhan Suna; Esra Yildiz (FGIT-ASEA, 2010)

MOTES2010 - Modellbasiertes Testen (Vorwort). - Fevzi Belli; Christof J. Budnik; Axel Hollmann; Francesca Saglietti; Mario Winter (GI Jahrestagung (2), 2010)

Towards Scalable Robustness Testing. - Fevzi Belli; Axel Hollmann; W. Eric Wong (SSIRI, 2010)

Ereignis-basierter Test grafischer Benutzeroberflächen - ein Erfahrungsbericht. - Fevzi Belli; Mutlu Beyazit; Axel Hollmann; Michael Linschulte; Sascha Padberg (Softwaretechnik-Trends, 2010)

Model-Based Integration Testing with Communication Sequence Graphs. - Fevzi Belli; Axel Hollmann; Sascha Padberg (Model-Based Testing for Embedded Systems, 2011)

Statistical Evaluation of Test Sets Using Mutation Analysis. - Fevzi Belli; Mutlu Beyazit; Axel Hollmann; Nevin Güler (COMPSAC Workshops, 2011)

Model-based mutation testing for test generation and adequacy analysis. - Axel Hollmann (2011)

Model-based mutation testing - Approach and case studies. - Fevzi Belli; Christof J. Budnik; Axel Hollmann; Tugkan Tuglular; W. Eric Wong (Sci. Comput. Program., 2016)