Franz Wotawa
Franz Wotawa
Full professor of Software Engineering
Verified email at ist.tugraz.at
TitleCited byYear
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
3082016
Model-based diagnosis of hardware designs
G Friedrich, M Stumptner, F Wotawa
Artificial Intelligence 111 (1-2), 3-39, 1999
2401999
Testing with model checkers: a survey
G Fraser, F Wotawa, PE Ammann
Software Testing, Verification and Reliability 19 (3), 215-261, 2009
2362009
A variant of Reiter's hitting-set algorithm
F Wotawa
Information Processing Letters 79 (1), 45-51, 2001
1252001
Diagnosing tree-structured systems
M Stumptner, F Wotawa
Artificial Intelligence 127 (1), 1-29, 2001
1042001
On the relationship between model-based debugging and program slicing
F Wotawa
Artificial Intelligence 135 (1-2), 125-143, 2002
982002
A survey of software fault localization
WE Wong, V Debroy
Department of Computer Science, University of Texas at Dallas, Tech. Rep …, 2009
932009
Debugging functional programs
M Stumptner, F Wotawa
IJCAI 99, 1074-1079, 1999
761999
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
722009
Model-based debugging or how to diagnose programs automatically
F Wotawa, M Stumptner, W Mayer
International Conference on Industrial, Engineering and Other Applications …, 2002
702002
Redundancy based test-suite reduction
G Fraser, F Wotawa
International Conference on Fundamental Approaches to Software Engineering …, 2007
692007
Model-based diagnosis or reasoning from first principles
B Peischl, F Wotawa
IEEE intelligent systems 18 (3), 32-37, 2003
682003
Detecting and locating faults in the control software of autonomous mobile robots.
G Steinbauer, F Wotawa
IJCAI 5, 1742-1743, 2005
652005
On the empirical evaluation of fault localization techniques for spreadsheets
B Hofer, A Riboira, F Wotawa, R Abreu, E Getzner
International Conference on Fundamental Approaches to Software Engineering …, 2013
642013
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
602014
Modeling Java programs for diagnosis
C Mateis, M Stumptner, F Wotawa
ECAI, 171-175, 2000
572000
Automated source-level error localization in hardware designs
B Peischl, F Wotawa
IEEE design & test of computers 23 (1), 8-19, 2006
562006
Real-time diagnosis and repair of faults of robot control software
G Steinbauer, M Mörth, F Wotawa
Robot Soccer World Cup, 13-23, 2005
522005
Model-based debugging of Java programs
C Mateis, M Stumptner, D Wieland, F Wotawa
arXiv preprint cs/0011027, 2000
452000
The route to success—a performance comparison of diagnosis algorithms
I Nica, I Pill, T Quaritsch, F Wotawa
Twenty-Third International Joint Conference on Artificial Intelligence, 2013
442013
The system can't perform the operation now. Try again later.
Articles 1–20