Maciej Gazda
Papers
1
Total Citations
2
H-Index
1
About
Maciej Gazda is a researcher whose work bridges the formal verification of software systems with practical engineering challenges, particularly in the domain of robotics and cyber-physical systems. His key research areas include model-based testing, mutation testing, and the formal specification of robotic architectures. Gazda’s major contribution lies in adapting mutation testing—a technique traditionally used for assessing test suite quality—to the context of RoboChart, a domain-specific language for modeling robotic systems. His 2020 paper, "Mutation Testing for RoboChart," introduces a framework that systematically injects faults into RoboChart models to evaluate the robustness of verification tools, thereby enhancing the reliability of autonomous robotic behaviors. While this work has garnered modest early citations (2), it represents a foundational step in integrating rigorous testing methodologies into robotic software development. Gazda’s achievements include advancing the practical application of formal methods in robotics, a field where safety-critical failures demand high assurance. His research is particularly valuable for students and engineers seeking to apply mutation testing beyond traditional software, offering a pathway to more dependable autonomous systems.
Research Focus
Key Achievements
Top Papers
- 1Mutation Testing for RoboChart2 citations · 2020