2006 |
5 | EE | Daniel Köb,
Franz Wotawa:
Fundamentals of Debugging Using a Resolution Calculus.
FASE 2006: 278-292 |
2004 |
4 | | Daniel Köb,
Franz Wotawa:
Introducing Alias Information into Model-Based Debugging.
ECAI 2004: 833-837 |
3 | EE | Rong Chen,
Daniel Köb,
Franz Wotawa:
Diagnosing Java Programs with Static Abstractions of Data Structures.
Intelligent Information Processing 2004: 369-372 |
2 | EE | Rong Chen,
Daniel Köb,
Franz Wotawa:
Improving Fault Localization of Programs by Using Labeled Dependencies.
KI 2004: 366-380 |
2003 |
1 | EE | Daniel Köb,
Bernhard Peischl,
Franz Wotawa:
Debugging VHDL Designs Using Temporal Process Instances.
IEA/AIE 2003: 402-415 |