 | 2009 |
|---|
| 98 |       | Safeeullah Soomro,
Franz Wotawa:
Detect and Localize Faults in Alias-Free Programs Using Specification Knowledge.
IEA/AIE 2009: 379-388 |
| 97 |  | Syed Nadeem Ahsan,
Javed Ferzund,
Franz Wotawa:
Program File Bug Fix Effort Estimation Using Machine Learning Methods for OSS.
SEKE 2009: 129-134 |
| 96 | | Gordon Fraser,
Franz Wotawa:
Complementary Criteria for Testing Temporal Logic Properties.
TAP 2009: 58-73 |
| 95 | | Gordon Fraser,
Franz Wotawa,
Paul Ammann:
Issues in using model checkers for test case generation.
Journal of Systems and Software 82(9): 1403-1418 (2009) |
| 94 | | Gordon Fraser,
Franz Wotawa,
Paul Ammann:
Testing with model checkers: a survey.
Softw. Test., Verif. Reliab. 19(3): 215-261 (2009) |
| 2008 |
|---|
| 93 | | Mihai Nica,
Franz Wotawa:
From constraint representations of sequential code and program annotations to their use in debugging.
ECAI 2008: 797-798 |
| 92 | | Jörg Weber,
Franz Wotawa:
Dependent Failures in Consistency-based Diagnosis.
ECAI 2008: 801-802 |
| 91 | | Gerald Steinbauer,
Franz Wotawa:
Enhancing Plan Execution in Dynamic Domains Using Model-Based Reasoning.
ICIRA (1) 2008: 510-519 |
| 90 | | Franz Wotawa:
Localizing Bugs in Programs - Or How to Use a Program's Constraint Representation for Software Debugging?
ICSOFT (SE/MUSE/GSDCA) 2008: 88-95 |
| 89 | | Harald Brandl,
Franz Wotawa:
Test Case Generation from QR Models.
IEA/AIE 2008: 235-244 |
| 88 | | Gerhard Gubisch,
Gerald Steinbauer,
Martin Weiglhofer,
Franz Wotawa:
A Teleo-Reactive Architecture for Fast, Reactive and Robust Control of Mobile Robots.
IEA/AIE 2008: 541-550 |
| 87 | | Javed Ferzund,
Syed Nadeem Ahsan,
Franz Wotawa:
Analysing Bug Prediction Capabilities of Static Code Metrics in Open Source Software.
IWSM/Metrikon/Mensura 2008: 331-343 |
| 86 | | Gordon Fraser,
Martin Weiglhofer,
Franz Wotawa:
Coverage Based Testing with Test Purposes.
QSIC 2008: 199-208 |
| 85 | | Harald Brandl,
Gordon Fraser,
Franz Wotawa:
Coverage-based Testing Using Qualitative Reasoning Models.
SEKE 2008: 393-398 |
| 84 | | Gordon Fraser,
Martin Weiglhofer,
Franz Wotawa:
Using Observer Automata to Select Test Cases for Test Purposes.
SEKE 2008: 709-714 |
| 83 | | Franz Wotawa:
Bridging the Gap Between Slicing and Model-based Diagnosis.
SEKE 2008: 836-841 |
| 82 | | Mihai Nica,
Bernhard Peischl,
Franz Wotawa:
A Constraint Model for Automated Deployment of Automotive Control Software.
SEKE 2008: 899-904 |
| 81 | | Alexander Kleiner,
Gerald Steinbauer,
Franz Wotawa:
Towards Automated Online Diagnosis of Robot Navigation Software.
SIMPAR 2008: 159-170 |
| 80 | | Bernhard Peischl,
Naveed Riaz,
Franz Wotawa:
Advances in Automated Source-Level Debugging of Verilog Designs.
New Challenges in Applied Intelligence Technologies 2008: 363-372 |
| 79 | | Bernhard K. Aichernig,
Martin Weiglhofer,
Franz Wotawa:
Improving Fault-based Conformance Testing.
Electr. Notes Theor. Comput. Sci. 220(1): 63-77 (2008) |
| 78 | | Franz Wotawa,
Mihai Nica:
On the Compilation of Programs into their Equivalent Constraint Representation.
Informatica (Slovenia) 32(4): 359-371 (2008) |
| 77 | | Gordon Fraser,
Franz Wotawa:
Using model-checkers to generate and analyze property relevant test-cases.
Software Quality Journal 16(2): 161-183 (2008) |
| 2007 |
|---|
| 76 | | Bernhard K. Aichernig,
Martin Weiglhofer,
Bernhard Peischl,
Franz Wotawa:
Test purpose generation in an industrial application.
A-MOST 2007: 115-125 |
| 75 | | Gordon Fraser,
Franz Wotawa:
Using LTL rewriting to improve the performance of model-checker based test-case generation.
A-MOST 2007: 64-74 |
| 74 | | Gordon Fraser,
Franz Wotawa:
Redundancy Based Test-Suite Reduction.
FASE 2007: 291-305 |
| 73 | | Gordon Fraser,
Franz Wotawa:
Creating Test-Cases Incrementally with Model-Checkers.
GI Jahrestagung (2) 2007: 381-386 |
| 72 | | Bernhard Peischl,
Martin Weiglhofer,
Franz Wotawa:
Executing Abstract Test Cases.
GI Jahrestagung (2) 2007: 416-421 |
| 71 | | Gordon Fraser,
Franz Wotawa:
Test-Case Generation and Coverage Analysis for Nondeterministic Systems Using Model-Checkers.
ICSEA 2007: 45 |
| 70 | | Jörg Weber,
Franz Wotawa:
Diagnosing Dependent Failures in the Hardware and Software of Mobile Autonomous Robots.
IEA/AIE 2007: 633-643 |
| 69 | | Mathias Brandstötter,
Michael W. Hofbaur,
Gerald Steinbauer,
Franz Wotawa:
Model-based fault diagnosis and reconfiguration of robot drives.
IROS 2007: 1203-1209 |
| 68 | | Arndt Mühlenfeld,
Franz Wotawa:
Fault detection in multi-threaded c++ server applications.
PPOPP 2007: 142-143 |
| 67 | | Gordon Fraser,
Franz Wotawa:
Nondeterministic Testing with Linear Model-Checker Counterexamples.
QSIC 2007: 107-116 |
| 66 | | Gordon Fraser,
Franz Wotawa:
Improving Model-Checkers for Software Testing.
QSIC 2007: 25-31 |
| 65 | | Bernhard K. Aichernig,
Bernhard Peischl,
Martin Weiglhofer,
Franz Wotawa:
Protocol Conformance Testing a SIP Registrar: an Industrial Application of Formal Methods.
SEFM 2007: 215-226 |
| 64 | | Michael W. Hofbaur,
Johannes Köb,
Gerald Steinbauer,
Franz Wotawa:
Model-Based Reasoning for Self-Repair of Autonomous Mobile Robots.
Model-Based Reasoning in Science, Technology, and Medicine 2007: 431-445 |
| 63 | | Claudia Picardi,
Paulo Salles,
Franz Wotawa:
An introduction to model-based systems.
AI Commun. 20(1): 1-6 (2007) |
| 62 | | Arndt Mühlenfeld,
Franz Wotawa:
Fault Detection in Multi-Threaded C++ Server Applications.
Electr. Notes Theor. Comput. Sci. 174(9): 5-22 (2007) |
| 61 | | Gordon Fraser,
Bernhard K. Aichernig,
Franz Wotawa:
Handling Model Changes: Regression Testing and Test-Suite Update with Model-Checkers.
Electr. Notes Theor. Comput. Sci. 190(2): 33-46 (2007) |
| 60 | | Michael W. Hofbaur,
Johannes Köb,
Gerald Steinbauer,
Franz Wotawa:
Improving Robustness of Mobile Robots Using Model-based Reasoning.
Journal of Intelligent and Robotic Systems 48(1): 37-54 (2007) |
| 2006 |
|---|
| 59 | | Michael W. Hofbaur,
Franz Wotawa:
A Causal Analysis Method for Concurrent Hybrid Automata.
AAAI 2006 |
| 58 | | Daniel Köb,
Franz Wotawa:
Fundamentals of Debugging Using a Resolution Calculus.
FASE 2006: 278-292 |
| 57 | | Gordon Fraser,
Franz Wotawa:
Using Model-Checkers for Mutation-Based Test-Case Generation, Coverage Analysis and Specification Analysis.
ICSEA 2006: 16 |
| 56 | | Franz Wotawa,
Bibiane Angerer:
Retaining Consistency in Temporal Knowledge Bases.
IEA/AIE 2006: 600-609 |
| 55 | | Rong Chen,
Franz Wotawa:
Diagnosing Program Errors with Light-Weighted Specifications.
IEA/AIE 2006: 639-649 |
| 54 | | Bernhard Peischl,
Safeeullah Soomro,
Franz Wotawa:
Towards Lightweight Fault Localization in Procedural Programs.
IEA/AIE 2006: 660-667 |
| 53 | | Jörg Weber,
Franz Wotawa:
Using AI Techniques for Fault Localization in Component-Oriented Software Systems.
MICAI 2006: 1139-1149 |
| 52 | | Gordon Fraser,
Franz Wotawa:
Property relevant software testing with model-checkers.
ACM SIGSOFT Software Engineering Notes 31(6): 1-10 (2006) |
| 51 | | Bernhard Peischl,
Franz Wotawa:
Automated Source-Level Error Localization in Hardware Designs.
IEEE Design & Test of Computers 23(1): 8-19 (2006) |
| 2005 |
|---|
| 50 | | Bernhard Peischl,
Franz Wotawa:
Error traces in model-based debugging of hardware description languages.
AADEBUG 2005: 43-48 |
| 49 | | Rong Chen,
Franz Wotawa:
Understanding and Isolating Data Structure Errors of Java Programs.
Artificial Intelligence and Applications 2005: 680-685 |
| 48 | | Rong Chen,
Franz Wotawa:
An Object Store Model for Diagnosing Java Programs.
Australian Conference on Artificial Intelligence 2005: 865-870 |
| 47 | | Gordon Fraser,
Gerald Steinbauer,
Franz Wotawa:
Plan Execution in Dynamic Environments.
IEA/AIE 2005: 208-217 |
| 46 | | Franz Wotawa,
Safeeullah Soomro:
Fault Localization Based on Abstract Dependencies.
IEA/AIE 2005: 357-359 |
| 45 | | Andreas Griesmayer,
Roderick Bloem,
Martin Hautzendorfer,
Franz Wotawa:
Formal Verification of Control Software: A Case Study.
IEA/AIE 2005: 783-788 |
| 44 | | Gerald Steinbauer,
Franz Wotawa:
Detecting and locating faults in the control software of autonomous mobile robots.
IJCAI 2005: 1742-1743 |
| 43 | | Gerald Steinbauer,
Martin Mörth,
Franz Wotawa:
Real-Time Diagnosis and Repair of Faults of Robot Control Software.
RoboCup 2005: 13-23 |
| 42 | | Mihaela Oprea,
Miquel Sànchez-Marrè,
Franz Wotawa:
Binding Environmental Sciences and Artificial Intelligence.
AI Commun. 18(4): 243-245 (2005) |
| 2004 |
|---|
| 41 | | Daniel Köb,
Franz Wotawa:
Introducing Alias Information into Model-Based Debugging.
ECAI 2004: 833-837 |
| 40 | | Gerald Steinbauer,
Gordon Fraser,
Arndt Mühlenfeld,
Franz Wotawa:
A Modular Architecture for a Multi-purpose Mobile Robot.
IEA/AIE 2004: 1007-1015 |
| 39 | | Rong Chen,
Daniel Köb,
Franz Wotawa:
Diagnosing Java Programs with Static Abstractions of Data Structures.
Intelligent Information Processing 2004: 369-372 |
| 38 | | Rong Chen,
Daniel Köb,
Franz Wotawa:
Improving Fault Localization of Programs by Using Labeled Dependencies.
KI 2004: 366-380 |
| 37 | | Gordon Fraser,
Franz Wotawa:
Cooperative Planning and Plan Execution in Partially Observable Dynamic Domains.
RobuCup 2004: 524-531 |
| 36 | | Bernhard Peischl,
Franz Wotawa:
Are Error Traces Enough for Automated Fault Localization in VHDL Designs?
WISES 2004: 49-60 |
| 35 | | Franz Wotawa:
Debugging VHDL Designs: Introducing Multiple Models and First Empirical Results.
Appl. Intell. 21(2): 159-172 (2004) |
| 2003 |
|---|
| 34 | | Daniel Köb,
Bernhard Peischl,
Franz Wotawa:
Debugging VHDL Designs Using Temporal Process Instances.
IEA/AIE 2003: 402-415 |
| 33 | | Markus Stumptner,
Franz Wotawa:
Coupling CSP Decomposition Methods and Diagnosis Algorithms for Tree-Structured Systems.
IJCAI 2003: 388-393 |
| 32 | | Ulises Cortés,
Miquel Sànchez-Marrè,
Franz Wotawa:
Guest editorial: Binding Environmental Sciences and Artificial Intelligence.
AI Commun. 16(4): 219-220 (2003) |
| 31 | | Bernhard Peischl,
Franz Wotawa:
Modeling State in Software Debugging of VHDL-RTL Designs - A Model-Based Diagnosis Approach
CoRR cs.AI/0311001: (2003) |
| 30 | | Bernhard Peischl,
Franz Wotawa:
Model-Based Diagnosis or Reasoning from First Principles.
IEEE Intelligent Systems 18(3): 32-37 (2003) |
| 2002 |
|---|
| 29 | | Georg Gottlob,
Martin Hutle,
Franz Wotawa:
Combining hypertree, bicomp, and hinge decomposition.
ECAI 2002: 161-165 |
| 28 | | 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 |
| 27 | | Wolfgang Mayer,
Markus Stumptner,
Dominik Wieland,
Franz Wotawa:
Towards an Integrated Debugging Environment.
ECAI 2002: 422-426 |
| 26 | | Franz Wotawa,
Markus Stumptner,
Wolfgang Mayer:
Model-Based Debugging or How to Diagnose Programs Automatically.
IEA/AIE 2002: 746-757 |
| 25 | | Gerhard Fleischanderl,
Thomas Havelka,
Herwig Schreiner,
Markus Stumptner,
Franz Wotawa:
DiKe - a model-based diagnosis kernel and its application.
AI Commun. 15(1): 17-30 (2002) |
| 24 | | Franz Wotawa:
Debugging Hardware Designs Using a Value-Based Model.
Appl. Intell. 16(1): 71-92 (2002) |
| 23 | | Franz Wotawa:
On the relationship between model-based debugging and program slicing.
Artif. Intell. 135(1-2): 125-143 (2002) |
| 2001 |
|---|
| 22 | | Franz Wotawa:
Using Multiple Models for Debugging VHDL Designs.
IEA/AIE 2001: 125-134 |
| 21 | | Markus Stumptner,
Dominik Wieland,
Franz Wotawa:
Comparing Two Models for Software Debugging.
KI/ÖGAI 2001: 351-365 |
| 20 | | Gerhard Fleischanderl,
Thomas Havelka,
Herwig Schreiner,
Markus Stumptner,
Franz Wotawa:
DiKe - A Model-Based Diagnosis Kernel and Its Application.
KI/ÖGAI 2001: 440-454 |
| 19 | | Franz Wotawa,
Gerhard Wotawa:
Deriving qualitative rules from neural networks - a case study for ozone forecasting.
AI Commun. 14(1): 23-33 (2001) |
| 18 | | Markus Stumptner,
Franz Wotawa:
Diagnosing tree-structured systems.
Artif. Intell. 127(1): 1-29 (2001) |
| 17 | | Franz Wotawa:
A variant of Reiter's hitting-set algorithm.
Inf. Process. Lett. 79(1): 45-51 (2001) |
| 2000 |
|---|
| 16 | | Cristinel Mateis,
Markus Stumptner,
Dominik Wieland,
Franz Wotawa:
Model-Based Debugging of Java Programs.
AADEBUG 2000 |
| 15 | | Cristinel Mateis,
Markus Stumptner,
Franz Wotawa:
Modeling Java Programs for Diagnosis.
ECAI 2000: 171-175 |
| 14 | | Cristinel Mateis,
Markus Stumptner,
Dominik Wieland,
Franz Wotawa:
JADE - AI Support for Debugging Java Programs.
ICTAI 2000: 62- |
| 13 | | Cristinel Mateis,
Markus Stumptner,
Franz Wotawa:
Locating Bugs in Java Programs - First Results of the Java Diagnosis Experiment Project.
IEA/AIE 2000: 174-183 |
| 12 | | Markus Stumptner,
Franz Wotawa:
Industrial Applications of Model-based Reasoning - Guest Editorial.
AI Commun. 13(2): 59-60 (2000) |
| 11 | | Franz Wotawa:
Debugging VHDL designs using model-based reasoning.
AI in Engineering 14(4): 331-351 (2000) |
| 10 | | Markus Stumptner,
Franz Wotawa:
Using Model-Based Reasoning for Locating Faults in VHDL Designs.
KI 14(4): 62-67 (2000) |
| 1999 |
|---|
| 9 | | Franz Wotawa:
New Directions in Debugging Hardware Designs.
IEA/AIE 1999: 226-235 |
| 8 | | Christian Piccardi,
Franz Wotawa:
A Communication Language and the Design of a Diagnosis Agent - Towards a Framework for Mobile Diagnosis Agents.
IEA/AIE 1999: 420-429 |
| 7 | | Markus Stumptner,
Franz Wotawa:
Debugging Functional Programs.
IJCAI 1999: 1074-1079 |
| 6 | | Franz Wotawa:
Model-Based Reasoning (Guest Editor's Introduction).
AI Commun. 12(1-2): 1-3 (1999) |
| 5 | | Gerhard Friedrich,
Markus Stumptner,
Franz Wotawa:
Model-Based Diagnosis of Hardware Designs.
Artif. Intell. 111(1-2): 3-39 (1999) |
| 1998 |
|---|
| 4 | | Markus Stumptner,
Franz Wotawa:
A Survey of Intelligent Debugging.
AI Commun. 11(1): 35-51 (1998) |
| 1997 |
|---|
| 3 | | Markus Stumptner,
Franz Wotawa:
Diagnosing Tree Structured Systems.
IJCAI (1) 1997: 440-445 |
| 1996 |
|---|
| 2 | | Gerhard Friedrich,
Markus Stumptner,
Franz Wotawa:
Model-Based Diagnosis of Hardware Designs.
ECAI 1996: 491-495 |
| 1 | | Markus Stumptner,
Franz Wotawa:
Model-Based Program Debugging and Repair.
IEA/AIE 1996: 155-160 |
