A survey on software fault localization WE Wong, R Gao, Y Li, R Abreu, F Wotawa IEEE Transactions on Software Engineering 42 (8), 707-740, 2016 | 1268 | 2016 |
Testing with model checkers: a survey G Fraser, F Wotawa, PE Ammann Software Testing, Verification and Reliability 19 (3), 215-261, 2009 | 309 | 2009 |
Model-based diagnosis of hardware designs G Friedrich, M Stumptner, F Wotawa Artificial Intelligence 111 (1-2), 3-39, 1999 | 267 | 1999 |
A variant of Reiter's hitting-set algorithm F Wotawa Information Processing Letters 79 (1), 45-51, 2001 | 161 | 2001 |
Automatic software bug triage system (bts) based on latent semantic indexing and support vector machine SN Ahsan, J Ferzund, F Wotawa 2009 Fourth International Conference on Software Engineering Advances, 216-221, 2009 | 122 | 2009 |
On the relationship between model-based debugging and program slicing F Wotawa Artificial Intelligence 135 (1-2), 125-143, 2002 | 117 | 2002 |
Diagnosing tree-structured systems M Stumptner, F Wotawa Artificial Intelligence 127 (1), 1-29, 2001 | 111 | 2001 |
Ontology-based test generation for automated and autonomous driving functions Y Li, J Tao, F Wotawa Information and software technology 117, 106200, 2020 | 105 | 2020 |
Model-based debugging or how to diagnose programs automatically F Wotawa, M Stumptner, W Mayer International Conference on Industrial, Engineering and Other Applications …, 2002 | 101 | 2002 |
Redundancy based test-suite reduction G Fraser, F Wotawa International Conference on Fundamental Approaches to Software Engineering …, 2007 | 99 | 2007 |
Avoiding, finding and fixing spreadsheet errors–a survey of automated approaches for spreadsheet QA D Jannach, T Schmitz, B Hofer, F Wotawa Journal of Systems and Software 94, 129-150, 2014 | 96 | 2014 |
Debugging functional programs M Stumptner, F Wotawa IJCAI 99, 1074-1079, 1999 | 85 | 1999 |
On the empirical evaluation of fault localization techniques for spreadsheets B Hofer, A Riboira, F Wotawa, R Abreu, E Getzner Fundamental Approaches to Software Engineering: 16th International …, 2013 | 84 | 2013 |
Model-based diagnosis or reasoning from first principles B Peischl, F Wotawa IEEE Intelligent Systems 18 (3), 32-37, 2003 | 84 | 2003 |
Testing methods used in the automotive industry: Results from a survey H Altinger, F Wotawa, M Schurius Proceedings of the 2014 Workshop on Joining AcadeMiA and Industry …, 2014 | 79 | 2014 |
Modeling Java programs for diagnosis C Mateis, M Stumptner, F Wotawa ECAI, 171-175, 2000 | 75 | 2000 |
Automated source-level error localization in hardware designs B Peischl, F Wotawa IEEE design & test of computers 23 (1), 8-19, 2006 | 73 | 2006 |
Detecting and locating faults in the control software of autonomous mobile robots. G Steinbauer, F Wotawa IJCAI 5, 1742-1743, 2005 | 72 | 2005 |
Using ontologies for test suites generation for automated and autonomous driving functions F Klück, Y Li, M Nica, J Tao, F Wotawa 2018 IEEE International symposium on software reliability engineering …, 2018 | 67 | 2018 |
Chatbot testing using AI planning J Bozic, OA Tazl, F Wotawa 2019 IEEE International Conference On Artificial Intelligence Testing …, 2019 | 66 | 2019 |