Franz Wotawa

A Survey on Software Fault Localization

W. Eric Wong, Ruizhi Gao, Yihao Li et al. · IEEE Transactions on Software Engineering · 2016 · 1.1K citations

Computing, Computer Science, Fault-tolerant Computing +13

Testing with model checkers: a survey

Gordon Fraser, Franz Wotawa, Paul Ammann · Software Testing Verification and Reliability · 2008 · 154 citations

Computing, Computer Science, Formal Methods +10

Finding Critical Scenarios for Automated Driving Systems: A Systematic Mapping Study

Xinhai Zhang, Jianbo Tao, Kaige Tan et al. · IEEE Transactions on Software Engineering · 2022 · 148 citations · Full text

Engineering, Automotive Engineering, Autonomous Systems +15

Ontology-based test generation for automated and autonomous driving functions

Yihao Li, Jianbo Tao, Franz Wotawa · Information and Software Technology · 2019 · 99 citations

Computing, Autonomous Systems, Computer Science +13

A variant of Reiter's hitting-set algorithm

Franz Wotawa · Information Processing Letters · 2001 · 98 citations

Computing, Computer Science, Mathematics +3