Concepedia

Franz Wotawa

FW

Statistics

Publications

131

Citations

4.5K

H-Index

30

Active since

1996

Affiliations

Graz University of Technology(Current)

Institute of Software

Anstalt für Verbrennungskraftmaschinen List (Austria)

Franz Wotawa is an author at Graz University of Technology specializing in engineering, computer science, and software testing.

Top concepts

EngineeringComputer ScienceSoftware TestingSoftware AnalysisSoftware EngineeringProgram AnalysisSystems EngineeringFormal MethodsFormal VerificationSoftware Design

Publications per year

1996–2023

131

Publications

131

A Survey on Software Fault Localization

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

Software Maintenance, Engineering, Software Engineering +16

Testing with model checkers: a survey

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

Property Violation, Engineering, Root Cause +17

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 · 138 citations · Full text

Automotive Engineering, Engineering, Software Engineering +17

A variant of Reiter's hitting-set algorithm

Franz Wotawa · Information Processing Letters · 2001 · 98 citations

Mathematical Programming, Engineering, Algorithm Design +7

Ontology-based test generation for automated and autonomous driving functions

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

Engineering, Ontology-based Test Generation, Automated Reasoning +8

1–5 of 131