Franz Wotawa
Tytuł
Cytowane przez
Cytowane przez
Rok
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
662*2016
Testing with model checkers: a survey
G Fraser, F Wotawa, PE Ammann
Software Testing, Verification and Reliability 19 (3), 215-261, 2009
2752009
Model-based diagnosis of hardware designs
G Friedrich, M Stumptner, F Wotawa
Artificial Intelligence 111 (1-2), 3-39, 1999
2551999
A variant of Reiter's hitting-set algorithm
F Wotawa
information processing letters 79 (1), 45-51, 2001
1382001
Diagnosing tree-structured systems
M Stumptner, F Wotawa
Artificial Intelligence 127 (1), 1-29, 2001
1052001
On the relationship between model-based debugging and program slicing
F Wotawa
Artificial Intelligence 135 (1-2), 125-143, 2002
1042002
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
902009
Redundancy based test-suite reduction
G Fraser, F Wotawa
International Conference on Fundamental Approaches to Software Engineering …, 2007
832007
Model-based debugging or how to diagnose programs automatically
F Wotawa, M Stumptner, W Mayer
International Conference on Industrial, Engineering and Other Applications …, 2002
822002
Debugging functional programs
M Stumptner, F Wotawa
IJCAI 99, 1074-1079, 1999
791999
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
762014
Model-based diagnosis or reasoning from first principles
B Peischl, F Wotawa
IEEE Intelligent Systems 18 (3), 32-37, 2003
762003
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
752013
Detecting and locating faults in the control software of autonomous mobile robots.
G Steinbauer, F Wotawa
IJCAI 5, 1742-1743, 2005
692005
Automated source-level error localization in hardware designs
B Peischl, F Wotawa
IEEE design & test of computers 23 (1), 8-19, 2006
632006
Modeling Java programs for diagnosis
C Mateis, M Stumptner, F Wotawa
ECAI, 171-175, 2000
602000
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
572005
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
542013
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
522014
Model-based debugging of Java programs
C Mateis, M Stumptner, D Wieland, F Wotawa
arXiv preprint cs/0011027, 2000
492000
Nie można teraz wykonać tej operacji. Spróbuj ponownie później.
Prace 1–20