Axel Hollmann

According to our database1, Axel Hollmann authored at least 20 papers between 2006 and 2016.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2016
Model-based mutation testing - Approach and case studies.
Sci. Comput. Program., 2016

2011
Model-based mutation testing for test generation and adequacy analysis.
PhD thesis, 2011

Statistical Evaluation of Test Sets Using Mutation Analysis.
Proceedings of the Workshop Proceedings of the 35th Annual IEEE International Computer Software and Applications Conference, 2011

Model-Based Integration Testing with Communication Sequence Graphs.
Proceedings of the Model-Based Testing for Embedded Systems, 2011

2010
Ereignis-basierter Test grafischer Benutzeroberflächen - ein Erfahrungsbericht.
Softwaretechnik-Trends, 2010

Towards Scalable Robustness Testing.
Proceedings of the Fourth International Conference on Secure Software Integration and Reliability Improvement, 2010

MOTES2010 - Modellbasiertes Testen (Vorwort).
Proceedings of the 40. Jahrestagung der Gesellschaft für Informatik, Service Science - Neue Perspektiven für die Informatik, INFORMATIK 2010, Leipzig, Germany, September 27, 2010

Model-Based Higher-Order Mutation Analysis.
Proceedings of the Advances in Software Engineering, 2010

2009
Communication Sequence Graphs for Mutation-Oriented Integration Testing.
Proceedings of the Third IEEE International Conference on Secure Software Integration and Reliability Improvement, 2009

A Graph-Model-Based Testing Method Compared with the Classification Tree Method for Test Case Generation.
Proceedings of the Third IEEE International Conference on Secure Software Integration and Reliability Improvement, 2009

Mutant-Based Model-Checking to Ensure Accessibility and Safety Aspects of Human Computer Interfaces.
Proceedings of the ICTA 2009, 2009

Structural Feature Extraction for GUI Test Enhancement.
Proceedings of the Second International Conference on Software Testing Verification and Validation, 2009

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.
Proceedings of the 39. Jahrestagung der Gesellschaft für Informatik, Im Focus das Leben, INFORMATIK 2009, Lübeck, Germany, September 28, 2009

2008
Vergleich einer graphenbasierten Methode mit der Klassifikationsbaummethode für die Testfallermittlung anhand einer automotiven Fallstudie.
Proceedings of the Software Engineering 2008, 2008

Test generation and minimization with "basic" statecharts.
Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), 2008

Positive and Negative Testing with Mutation-Driven Model Checking.
Proceedings of the 38. Jahrestagung der Gesellschaft für Informatik, Beherrschbare Systeme, 2008

MOTES08 - Modellbasiertes Testen.
Proceedings of the 38. Jahrestagung der Gesellschaft für Informatik, Beherrschbare Systeme, 2008

2007
Holistic testing with basic statecharts.
Proceedings of the Software Engineering 2007, 2007

Modeling, Analysis and Testing of Safety Issues - An Event-Based Approach and Case Study.
Proceedings of the Computer Safety, 2007

2006
Holistic Testing of Interactive Systems Using Statecharts.
Proceedings of the Sicherheit 2006: Sicherheit, 2006


  Loading...