Franz Wotawa

Researcher Next ID · RN-039980

Researcher · Computer Science

Vienna, Austria

Accepting doctoral researchersFunding unknown

Research interests

Computer Science

Software Testing and Debugging Techniques

Software Reliability and Analysis Research

AI-based Problem Solving and Planning

Software Engineering Research

Formal Methods in Verification

Finding Critical Scenarios for Automated Driving Systems: A Systematic Mapping Study
IEEE Transactions on Software Engineering · 2022 · 10.1109/tse.2022.3170122
Ontology-based test generation for automated and autonomous driving functions
Information and Software Technology · 2019 · 10.1016/j.infsof.2019.106200
A Survey on Software Fault Localization
IEEE Transactions on Software Engineering · 2016 · https://doi.org/10.1109/tse.2016.2521368
Automatic Software Bug Triage System (BTS) Based on Latent Semantic Indexing and Support Vector Machine
· 2009 · 10.1109/icsea.2009.92
Testing with model checkers: a survey
Software Testing Verification and Reliability · 2008 · 10.1002/stvr.402
A variant of Reiter's hitting-set algorithm
Information Processing Letters · 2001 · 10.1016/s0020-0190(00)00166-6
Model-based diagnosis of hardware designs
Artificial Intelligence · 1999 · 10.1016/s0004-3702(99)00034-x

No projects listed.