Franz Wotawa
Title
Cited by
Cited by
Year
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
4252016
Model-based diagnosis of hardware designs
G Friedrich, M Stumptner, F Wotawa
Artificial Intelligence 111 (1-2), 3-39, 1999
2481999
Testing with model checkers: a survey
G Fraser, F Wotawa, PE Ammann
Software Testing, Verification and Reliability 19 (3), 215-261, 2009
2462009
A variant of Reiter's hitting-set algorithm
F Wotawa
information processing letters 79 (1), 45-51, 2001
1302001
Scattering theory
H Friedrich
Springer, 2013
1062013
Diagnosing tree-structured systems
M Stumptner, F Wotawa
Artificial Intelligence 127 (1), 1-29, 2001
1052001
A survey of software fault localization
WE Wong, V Debroy
Department of Computer Science, University of Texas at Dallas, Tech. Rep …, 2009
1032009
On the relationship between model-based debugging and program slicing
F Wotawa
Artificial Intelligence 135 (1-2), 125-143, 2002
992002
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
842009
Debugging functional programs
M Stumptner, F Wotawa
IJCAI 99, 1074-1079, 1999
781999
Model-based debugging or how to diagnose programs automatically
F Wotawa, M Stumptner, W Mayer
International Conference on Industrial, Engineering and Other Applications …, 2002
742002
Redundancy based test-suite reduction
G Fraser, F Wotawa
International Conference on Fundamental Approaches to Software Engineering …, 2007
712007
Detecting and locating faults in the control software of autonomous mobile robots.
G Steinbauer, F Wotawa
IJCAI 5, 1742-1743, 2005
692005
Model-based diagnosis or reasoning from first principles
B Peischl, F Wotawa
IEEE Intelligent Systems 18 (3), 32-37, 2003
692003
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
672014
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
672013
Automated source-level error localization in hardware designs
B Peischl, F Wotawa
IEEE design & test of computers 23 (1), 8-19, 2006
582006
Modeling Java programs for diagnosis
C Mateis, M Stumptner, F Wotawa
ECAI, 171-175, 2000
572000
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
532005
A model building framework for answer set programming with external computations
T Eiter, M Fink, G Ianni, T Krennwallner, C Redl, P Schüller
arXiv preprint arXiv:1507.01451, 2015
512015
The system can't perform the operation now. Try again later.
Articles 1–20