Mika Katara

Papers

Total Citations

H-Index

About

Mika Katara is a leading researcher in software testing and formal methods, with a particular focus on model-based testing (MBT) and reactive systems. His most influential work, "Model-Based Testing with a General Purpose Keyword-Driven Test Automation Framework" (2011, 34 citations), pioneered the integration of MBT with keyword-driven test automation, enabling testers to leverage automatic test generation from models while maintaining practical, industry-friendly frameworks. This contribution bridges the gap between theoretical MBT approaches and real-world testing practices, making automated test design more accessible to practitioners. Katara's earlier foundational work, "Real time in a TLA-based theory of reactive systems" (2002), established a practical operational specification theory for reactive systems, enabling temporal property reasoning at high abstraction levels while supporting rigorous refinement toward implementation. His research has been instrumental in advancing software testing methodologies, particularly in demonstrating how formal methods can be practically applied to improve test automation efficiency and coverage. Through his work on combining model-based approaches with established testing frameworks, Katara has helped shape modern software verification practices, making sophisticated testing techniques more viable for industrial applications.