Axel Hollmann

Papers

Total Citations

H-Index

About

Axel Hollmann is a researcher whose work lies at the intersection of software engineering and formal verification, with a particular focus on integration testing. His key research area addresses the critical challenge of validating communication between software components—a domain where faults often cause system failures. Hollmann’s major contribution is the introduction of **Communication Sequence Graphs (CSGs)**, a formal model that represents the communication flow between components. This innovation enables mutation-oriented integration testing, allowing testers to systematically detect integration faults by mutating communication sequences. His foundational 2009 paper, “Communication Sequence Graphs for Mutation-Oriented Integration Testing,” has garnered 6 citations, while its 2011 follow-up, “Model-Based Integration Testing with Communication Sequence Graphs,” has 5 citations. Though modest in number, these citations reflect a specialized impact within the software testing community, particularly among researchers working on model-based and mutation testing. Hollmann’s work bridges the gap between unit and system-level testing, providing a structured approach to a notoriously difficult problem. For students and researchers in software engineering, his CSG framework offers a practical tool for ensuring robust component cooperation—a vital step toward reliable, fault-tolerant systems.