| 2007 |
| 13 | EE | Wolfgang Mayer,
Markus Stumptner:
Abstract Interpretation of Programs for Model-Based Debugging.
IJCAI 2007: 471-476 |
| 12 | EE | Wolfgang Mayer,
Markus Stumptner:
Model-Based Debugging - State of the Art And Future Challenges.
Electr. Notes Theor. Comput. Sci. 174(4): 61-82 (2007) |
| 2006 |
| 11 | | Wolfgang Mayer,
Markus Stumptner:
Better Debugging Through More Abstract Observations.
ECAI 2006: 779-780 |
| 10 | | Wolfgang Mayer,
Markus Stumptner:
Debugging Failures in Web Services Coordination.
SEKE 2006: 536-543 |
| 2004 |
| 9 | | Wolfgang Mayer,
Markus Stumptner:
High-Level Observations in Java Debugging.
ECAI 2004: 1059-1060 |
| 8 | | Wolfgang Mayer,
Markus Stumptner:
Debugging Program Loops Using Approximate Modeling.
ECAI 2004: 843-847 |
| 7 | EE | Wolfgang Mayer,
Markus Stumptner:
Model-Based Debugging with High-Level Observations.
Intelligent Information Processing 2004: 299-309 |
| 2003 |
| 6 | EE | Wolfgang Mayer,
Markus Stumptner:
Extending Diagnosis to Debug Programs with Exceptions.
ASE 2003: 240-244 |
| 5 | EE | Wolfgang Mayer,
Markus Stumptner:
Model-Based Debugging using Multiple Abstract Models
CoRR cs.SE/0309030: (2003) |
| 2002 |
| 4 | EE | Wolfgang Mayer,
Markus Stumptner:
Modeling Programs with Unstructured Control Flow for Debugging.
Australian Joint Conference on Artificial Intelligence 2002: 107-118 |
| 3 | | Wolfgang Mayer,
Markus Stumptner,
Dominik Wieland,
Franz Wotawa:
Can AI help to improve debugging substantially? Debugging Experiences with Value-Based Models.
ECAI 2002: 417-421 |
| 2 | | Wolfgang Mayer,
Markus Stumptner,
Dominik Wieland,
Franz Wotawa:
Towards an Integrated Debugging Environment.
ECAI 2002: 422-426 |
| 1 | EE | Franz Wotawa,
Markus Stumptner,
Wolfgang Mayer:
Model-Based Debugging or How to Diagnose Programs Automatically.
IEA/AIE 2002: 746-757 |