Model-Based Program Debugging and Repair. - Markus Stumptner; Franz Wotawa (IEA/AIE, 1996)

Model-Based Reconfiguration. - Markus Stumptner; Franz Wotawa (AID, 1998)

A Survey of Intelligent Debugging. - Markus Stumptner; Franz Wotawa (AI Commun., 1998)

A Communication Language and the Design of a Diagnosis Agent - Towards a Framework for Mobile Diagnosis Agents. - Christian Piccardi; Franz Wotawa (IEA/AIE, 1999)

New Directions in Debugging Hardware Designs. - Franz Wotawa (IEA/AIE, 1999)

Debugging Functional Programs. - Markus Stumptner; Franz Wotawa (IJCAI, 1999)

Model-Based Diagnosis of Hardware Designs. - Gerhard Friedrich; Markus Stumptner; Franz Wotawa (Artif. Intell., 1999)

Model-Based Reasoning (Guest Editor's Introduction). - Franz Wotawa (AI Commun., 1999)

Model-Based Debugging of Java Programs. - Cristinel Mateis; Markus Stumptner; Dominik Wieland; Franz Wotawa (AADEBUG, 2000)

Modeling Java Programs for Diagnosis. - Cristinel Mateis; Markus Stumptner; Franz Wotawa (ECAI, 2000)

JADE - AI Support for Debugging Java Programs. - Cristinel Mateis; Markus Stumptner; Dominik Wieland; Franz Wotawa (ICTAI, 2000)

Locating Bugs in Java Programs - First Results of the Java Diagnosis Experiment Project. - Cristinel Mateis; Markus Stumptner; Franz Wotawa (IEA/AIE, 2000)

Debugging VHDL designs using model-based reasoning. - Franz Wotawa (Artif. Intell. Eng., 2000)

Industrial Applications of Model-based Reasoning - Guest Editorial. - Markus Stumptner; Franz Wotawa (AI Commun., 2000)

Using Model-Based Reasoning for Locating Faults in VHDL Designs. - Markus Stumptner; Franz Wotawa (Künstliche Intell., 2000)

Using Multiple Models for Debugging VHDL Designs. - Franz Wotawa (IEA/AIE, 2001)

Comparing Two Models for Software Debugging. - Markus Stumptner; Dominik Wieland; Franz Wotawa (KI/ÖGAI, 2001)

Diagnosing tree-structured systems. - Markus Stumptner; Franz Wotawa (Artif. Intell., 2001)

Deriving qualitative rules from neural networks - a case study for ozone forecasting. - Franz Wotawa; Gerhard Wotawa (AI Commun., 2001)

A variant of Reiter's hitting-set algorithm. - Franz Wotawa (Inf. Process. Lett., 2001)

Combining hypertree, bicomp, and hinge decomposition. - Georg Gottlob; Martin Hutle; Franz Wotawa (ECAI, 2002)

Can AI help to improve debugging substantially? Debugging Experiences with Value-Based Models. - Wolfgang Mayer; Markus Stumptner; Dominik Wieland; Franz Wotawa (ECAI, 2002)

Towards an Integrated Debugging Environment. - Wolfgang Mayer; Markus Stumptner; Dominik Wieland; Franz Wotawa (ECAI, 2002)

Model-Based Debugging or How to Diagnose Programs Automatically. - Franz Wotawa; Markus Stumptner; Wolfgang Mayer (IEA/AIE, 2002)

On the relationship between model-based debugging and program slicing. - Franz Wotawa (Artif. Intell., 2002)

DiKe - a model-based diagnosis kernel and its application. - Gerhard Fleischanderl; Thomas Havelka; Herwig Schreiner; Markus Stumptner; Franz Wotawa (AI Commun., 2002)

Debugging Hardware Designs Using a Value-Based Model. - Franz Wotawa (Appl. Intell., 2002)

Debugging VHDL Designs Using Temporal Process Instances. - Daniel Köb; Bernhard Peischl; Franz Wotawa (IEA/AIE, 2003)

Coupling CSP Decomposition Methods and Diagnosis Algorithms for Tree-Structured Systems. - Markus Stumptner; Franz Wotawa (IJCAI, 2003)

Guest editorial: Binding Environmental Sciences and Artificial Intelligence. - Ulises Cortés; Miquel Sànchez-Marrè; Franz Wotawa (AI Commun., 2003)

Modeling State in Software Debugging of VHDL-RTL Designs - A Model-Based Diagnosis Approach - Bernhard Peischl; Franz Wotawa (CoRR, 2003)

Model-Based Diagnosis or Reasoning from First Principles. - Bernhard Peischl; Franz Wotawa (IEEE Intell. Syst., 2003)

Introducing Alias Information into Model-Based Debugging. - Daniel Köb; Franz Wotawa (ECAI, 2004)

A Modular Architecture for a Multi-purpose Mobile Robot. - Gerald Steinbauer; Gordon Fraser 001; Arndt Mühlenfeld; Franz Wotawa (IEA/AIE, 2004)

Diagnosing Java Programs with Static Abstractions of Data Structures. - Rong Chen; Daniel Köb; Franz Wotawa (IIP, 2004)

Improving Fault Localization of Programs by Using Labeled Dependencies. - Rong Chen; Daniel Köb; Franz Wotawa (KI, 2004)

Cooperative Planning and Plan Execution in Partially Observable Dynamic Domains. - Gordon Fraser 001; Franz Wotawa (RoboCup, 2004)

Are Error Traces Enough for Automated Fault Localization in VHDL Designs? - Bernhard Peischl; Franz Wotawa (WISES, 2004)

Debugging VHDL Designs: Introducing Multiple Models and First Empirical Results. - Franz Wotawa (Appl. Intell., 2004)

Error traces in model-based debugging of hardware description languages. - Bernhard Peischl; Franz Wotawa (AADEBUG, 2005)

Understanding and Isolating Data Structure Errors of Java Programs. - Rong Chen; Franz Wotawa (Artificial Intelligence and Applications, 2005)

An Object Store Model for Diagnosing Java Programs. - Rong Chen; Franz Wotawa (Australian Conference on Artificial Intelligence, 2005)

Plan Execution in Dynamic Environments. - Gordon Fraser 001; Gerald Steinbauer; Franz Wotawa (IEA/AIE, 2005)

Formal Verification of Control Software: A Case Study. - Andreas Griesmayer; Roderick Bloem; Martin Hautzendorfer; Franz Wotawa (IEA/AIE, 2005)

Fault Localization Based on Abstract Dependencies. - Franz Wotawa; Safeeullah Soomro (IEA/AIE, 2005)

Detecting and locating faults in the control software of autonomous mobile robots. - Gerald Steinbauer; Franz Wotawa (IJCAI, 2005)

Real-Time Diagnosis and Repair of Faults of Robot Control Software. - Gerald Steinbauer; Martin Mörth; Franz Wotawa (RoboCup, 2005)

Binding Environmental Sciences and Artificial Intelligence. - Mihaela Oprea; Miquel Sànchez-Marrè; Franz Wotawa (AI Commun., 2005)

A Causal Analysis Method for Concurrent Hybrid Automata. - Michael W. Hofbaur; Franz Wotawa (AAAI, 2006)

Fundamentals of Debugging Using a Resolution Calculus. - Daniel Köb; Franz Wotawa (FASE, 2006)

Using Model-Checkers for Mutation-Based Test-Case Generation, Coverage Analysis and Specification Analysis. - Gordon Fraser 001; Franz Wotawa (ICSEA, 2006)

Diagnosing Program Errors with Light-Weighted Specifications. - Rong Chen; Franz Wotawa (IEA/AIE, 2006)

Towards Lightweight Fault Localization in Procedural Programs. - Bernhard Peischl; Safeeullah Soomro; Franz Wotawa (IEA/AIE, 2006)

Retaining Consistency in Temporal Knowledge Bases. - Franz Wotawa; Bibiane Angerer (IEA/AIE, 2006)

Using AI Techniques for Fault Localization in Component-Oriented Software Systems. - Jörg Weber; Franz Wotawa (MICAI, 2006)

Automated Source-Level Error Localization in Hardware Designs. - Bernhard Peischl; Franz Wotawa (IEEE Des. Test Comput., 2006)

Fault Detection in Multi-Threaded C++ Server Applications. - Arndt Mühlenfeld; Franz Wotawa (TV@FLoC, 2006)

Property relevant software testing with model-checkers. - Gordon Fraser 001; Franz Wotawa (ACM SIGSOFT Softw. Eng. Notes, 2006)

Test purpose generation in an industrial application. - Bernhard K. Aichernig; Martin Weiglhofer; Bernhard Peischl; Franz Wotawa (A-MOST, 2007)

Using LTL rewriting to improve the performance of model-checker based test-case generation. - Gordon Fraser 001; Franz Wotawa (A-MOST, 2007)

Redundancy Based Test-Suite Reduction. - Gordon Fraser 001; Franz Wotawa (FASE, 2007)

Creating Test-Cases Incrementally with Model-Checkers. - Gordon Fraser 001; Franz Wotawa (GI Jahrestagung (2), 2007)

Executing Abstract Test Cases. - Bernhard Peischl; Martin Weiglhofer; Franz Wotawa (GI Jahrestagung (2), 2007)

Test-Case Generation and Coverage Analysis for Nondeterministic Systems Using Model-Checkers. - Gordon Fraser 001; Franz Wotawa (ICSEA, 2007)

Collaboration of Intelligent, Autonomous Systems: Situation Aware Behavior Change. - Willibald Krenn; Franz Wotawa (IDC, 2007)

Converting Programs into Constraint Satisfaction Problems. - Franz Wotawa; Mihai Nica (IDC, 2007)

Diagnosing Dependent Failures in the Hardware and Software of Mobile Autonomous Robots. - Jörg Weber; Franz Wotawa (IEA/AIE, 2007)

Model-based fault diagnosis and reconfiguration of robot drives. - Mathias Brandstötter; Michael W. Hofbaur; Gerald Steinbauer; Franz Wotawa (IROS, 2007)

Improving Model-Checkers for Software Testing. - Gordon Fraser 001; Franz Wotawa (QSIC, 2007)

Nondeterministic Testing with Linear Model-Checker Counterexamples. - Gordon Fraser 001; Franz Wotawa (QSIC, 2007)

Protocol Conformance Testing a SIP Registrar: an Industrial Application of Formal Methods. - Bernhard K. Aichernig; Bernhard Peischl; Martin Weiglhofer; Franz Wotawa (SEFM, 2007)

Intelligent, Fault Tolerant Control for Autonomous Systems. - Willibald Krenn; Franz Wotawa (WISES, 2007)

Combining Quantitative and Qualitative Models with Active Observations for better Diagnoses of Autonomous Mobile Robots. - Gerald Steinbauer; Franz Wotawa (WISES, 2007)

Knowledge Extraction from C-Code. - Franz Wotawa; Willibald Krenn (WISES, 2007)

An introduction to model-based systems. - Claudia Picardi; Paulo Salles; Franz Wotawa (AI Commun., 2007)

Using formal methods for ensuring quality requirements of systems. - Gordon Fraser 001; Franz Wotawa (Elektrotech. Informationstechnik, 2007)

Handling Model Changes: Regression Testing and Test-Suite Update with Model-Checkers. - Gordon Fraser 001; Bernhard K. Aichernig; Franz Wotawa (MBT, 2007)

Improving Robustness of Mobile Robots Using Model-based Reasoning. - Michael W. Hofbaur; Johannes Köb; Gerald Steinbauer; Franz Wotawa (J. Intell. Robotic Syst., 2007)

Model-Based Reasoning for Self-Repair of Autonomous Mobile Robots. - Michael W. Hofbaur; Johannes Köb; Gerald Steinbauer; Franz Wotawa (Model-Based Reasoning in Science, Technology, and Medicine, 2007)

From constraint representations of sequential code and program annotations to their use in debugging. - Mihai Nica; Franz Wotawa (ECAI, 2008)

Dependent Failures in Consistency-based Diagnosis. - Jörg Weber; Franz Wotawa (ECAI, 2008)

Random Vs. Scenario-based Vs. Fault-based Testing - An Industrial Evaluation of Formal Black-Box Testing Methods. - Martin Weiglhofer; Franz Wotawa (ENASE, 2008)

Enhancing Plan Execution in Dynamic Domains Using Model-Based Reasoning. - Gerald Steinbauer; Franz Wotawa (ICIRA (1), 2008)

QR-Model Based Testing. - Harald Brandl; Gordon Fraser 001; Franz Wotawa (AST, 2008)

Localizing Bugs in Programs - Or How to Use a Program's Constraint Representation for Software Debugging? - Franz Wotawa (ICSOFT (SE/MUSE/GSDCA), 2008)

Ordering Coverage Goals in Model Checker Based Testing. - Gordon Fraser 001; Franz Wotawa (ICST Workshops, 2008)

Test Case Generation from QR Models. - Harald Brandl; Franz Wotawa (IEA/AIE, 2008)

A Teleo-Reactive Architecture for Fast, Reactive and Robust Control of Mobile Robots. - Gerhard Gubisch; Gerald Steinbauer; Martin Weiglhofer; Franz Wotawa (IEA/AIE, 2008)

Analysing Bug Prediction Capabilities of Static Code Metrics in Open Source Software. - Javed Ferzund; Syed Nadeem Ahsan; Franz Wotawa (IWSM/Metrikon/Mensura, 2008)

A Database for the Analysis of Program Change Patterns. - Syed Nadeem Ahsan; Javed Ferzund; Franz Wotawa (NCM (2), 2008)

Coverage Based Testing with Test Purposes. - Gordon Fraser 001; Martin Weiglhofer; Franz Wotawa (QSIC, 2008)

Coverage-based Testing Using Qualitative Reasoning Models. - Harald Brandl; Gordon Fraser 001; Franz Wotawa (SEKE, 2008)

Using Observer Automata to Select Test Cases for Test Purposes. - Gordon Fraser 001; Martin Weiglhofer; Franz Wotawa (SEKE, 2008)

A Constraint Model for Automated Deployment of Automotive Control Software. - Mihai Nica; Bernhard Peischl; Franz Wotawa (SEKE, 2008)

Bridging the Gap Between Slicing and Model-based Diagnosis. - Franz Wotawa (SEKE, 2008)

Towards Automated Online Diagnosis of Robot Navigation Software. - Alexander Kleiner; Gerald Steinbauer; Franz Wotawa (SIMPAR, 2008)

Improving Fault-based Conformance Testing. - Bernhard K. Aichernig; Martin Weiglhofer; Franz Wotawa (MBT@ETAPS, 2008)

On the Compilation of Programs into their Equivalent Constraint Representation. - Franz Wotawa; Mihai Nica (Informatica (Slovenia), 2008)

Using model-checkers to generate and analyze property relevant test-cases. - Gordon Fraser 001; Franz Wotawa (Softw. Qual. J., 2008)

Advances in Automated Source-Level Debugging of Verilog Designs. - Bernhard Peischl; Naveed Riaz; Franz Wotawa (New Challenges in Applied Intelligence Technologies, 2008)

Intelligent, Fault Adaptive Control of Autonomous Systems. - Willibald Krenn; Franz Wotawa (Intelligent Technical Systems, 2009)

Comining Quantitative and Qualitative Models with Active Observtions to Improve Diagnosis of Complex Systems. - Gerald Steinbauer; Franz Wotawa (Intelligent Technical Systems, 2009)

Rule-Set Extraction from C-Code. - Franz Wotawa; Willibald Krenn (Intelligent Technical Systems, 2009)

Employing Test Suites for Verilog Fault Localization. - Bernhard Peischl; Naveed Riaz; Franz Wotawa (CAEPIA, 2009)

On the Complexity of Program Debugging Using Constraints for Modeling the Program's Syntax and Semantics. - Franz Wotawa; Jörg Weber; Mihai Nica; Rafael Ceballos (CAEPIA, 2009)

Asynchronous Input-Output Conformance Testing. - Martin Weiglhofer; Franz Wotawa (COMPSAC (1), 2009)

GUI Savvy End-to-End Testing with Smart Monkeys. - Birgit Hofer; Bernhard Peischl; Franz Wotawa (AST, 2009)

Are There Language Specific Bug Patterns? Results Obtained from a Case Study Using Mozilla. - Syed Nadeem Ahsan; Javed Ferzund; Franz Wotawa (ICSEA, 2009)

Automatic Software Bug Triage System (BTS) Based on Latent Semantic Indexing and Support Vector Machine. - Syed Nadeem Ahsan; Javed Ferzund; Franz Wotawa (ICSEA, 2009)

Software change classification using hunk metrics. - Javed Ferzund; Syed Nadeem Ahsan; Franz Wotawa (ICSM, 2009)

Detect and Localize Faults in Alias-Free Programs Using Specification Knowledge. - Safeeullah Soomro; Franz Wotawa (IEA/AIE, 2009)

Abductive Reasoning in Environmental Decision Support Systems. - Franz Wotawa; Ignasi Rodríguez-Roda; Joaquim Comas (AIAI (Workshops), 2009)

Java's alternatives and the limitations of Java when writing cross-platform applications for mobile devices in the medical domain. - Marcus D. Bloice; Franz Wotawa; Andreas Holzinger (ITI, 2009)

Empirical Evaluation of Hunk Metrics as Bug Predictors. - Javed Ferzund; Syed Nadeem Ahsan; Franz Wotawa (IWSM/Mensura, 2009)

Using Spectrum-Based Fault Localization for Test Case Grouping. - Martin Weiglhofer; Gordon Fraser 001; Franz Wotawa (ASE, 2009)

Increasing Diversity in Coverage Test Suites Using Model Checking. - Gordon Fraser 001; Franz Wotawa (QSIC, 2009)

Improving Coverage Based Test Purposes. - Martin Weiglhofer; Franz Wotawa (QSIC, 2009)

Concept Evaluation of a Reflex Inspired Ball Handling Device for Autonomous Soccer Robots. - Harald Altinger; Stefan J. Galler; Stephan Mühlbacher-Karrer; Gerald Steinbauer; Franz Wotawa; Hubert Zangl (RoboCup, 2009)

Program File Bug Fix Effort Estimation Using Machine Learning Methods for OSS. - Syed Nadeem Ahsan; Javed Ferzund; Franz Wotawa (SEKE, 2009)

Automatic Classification of Software Change Request Using Multi-label Machine Learning Methods. - Syed Nadeem Ahsan; Javed Ferzund; Franz Wotawa (SEW, 2009)

Complementary Criteria for Testing Temporal Logic Properties. - Gordon Fraser 001; Franz Wotawa (TAP@TOOLS, 2009)

Bug-Inducing Language Constructs. - Javed Ferzund; Syed Nadeem Ahsan; Franz Wotawa (WCRE, 2009)

Robust Plan Execution Using Model-Based Reasoning. - Gerald Steinbauer; Franz Wotawa (Adv. Robotics, 2009)

Conformance Testing of Hybrid Systems with Qualitative Reasoning Models. - Bernhard K. Aichernig; Harald Brandl; Franz Wotawa (MBT@ETAPS, 2009)

Fault-Based Conformance Testing in Practice. - Martin Weiglhofer; Bernhard K. Aichernig; Franz Wotawa (Int. J. Softw. Informatics, 2009)

Using coverage to automate and improve test purpose based testing. - Martin Weiglhofer; Gordon Fraser 001; Franz Wotawa (Inf. Softw. Technol., 2009)

On the order of test goals in specification-based testing. - Gordon Fraser 001; Angelo Gargantini; Franz Wotawa (J. Log. Algebraic Methods Program., 2009)

Issues in using model checkers for test case generation. - Gordon Fraser 001; Franz Wotawa; Paul Ammann (J. Syst. Softw., 2009)

Testing with model checkers: a survey. - Gordon Fraser 001; Franz Wotawa; Paul Ammann (Softw. Test. Verification Reliab., 2009)

Impact analysis of SCRs using single and multi-label machine learning classification. - Syed Nadeem Ahsan; Franz Wotawa (ESEM, 2010)

Combining Runtime Diagnosis and AI-planning in a Mobile Autonomous Robot to Achieve a Graceful Degradation after Software Failures. - Jörg Weber; Franz Wotawa (ICAART (1), 2010)

Automatically extracting mock object behavior from Design by Contract™ specification for test data generation. - Stefan J. Galler; Andreas Maller; Franz Wotawa (AST, 2010)

When BDDs Fail: Conformance Testing with Symbolic Execution and SMT Solving. - Elisabeth Jöbstl; Martin Weiglhofer; Bernhard K. Aichernig; Franz Wotawa (ICST, 2010)

Generating Distinguishing Tests Using the Minion Constraint Solver. - Franz Wotawa; Mihai Nica; Bernhard K. Aichernig (ICST Workshops, 2010)

Challenges of Distributed Model-Based Diagnosis. - Franz Wotawa; Jörg Weber (IEA/AIE (1), 2010)

Fault Localization Based on Dynamic Slicing and Hitting-Set Computation. - Franz Wotawa (QSIC, 2010)

Synthesize It: From Design by Contract to Meaningful Test Input Data. - Stefan J. Galler; Martin Weiglhofer; Franz Wotawa (SEFM, 2010)

Does Testing Help to Reduce the Number of Potentially Faulty Statements in Debugging? - Mihai Nica; Simona Nica; Franz Wotawa (TAIC PART, 2010)

Abstracting timing information in UML state charts via temporal ordering and LOTOS. - Valentin Chimisliu; Franz Wotawa (AST, 2011)

An Abstract Operational Framework for Dependence Models in Software Debugging. - Bernhard Peischl; Franz Wotawa (ICST Workshops, 2011)

On the Use of Constraints in Dynamic Slicing for Program Debugging. - Franz Wotawa (ICST Workshops, 2011)

Adaptive Autonomous Systems - From the System's Architecture to Testing. - Franz Wotawa (ISoLA Workshops, 2011)

Fault Prediction Capability of Program File's Logical-Coupling Metrics. - Syed Nadeem Ahsan; Franz Wotawa (IWSM/Mensura, 2011)

Compositional Random Testing Using Extended Symbolic Transition Systems. - Christian Schwarzl; Bernhard K. Aichernig; Franz Wotawa (ICTSS, 2011)

The IntiSa Approach: Test Input Data Generation for Non-primitive Data Types by Means of SMT Solver Based Bounded Model Checking. - Stefan J. Galler; Thomas Quaritsch; Martin Weiglhofer; Franz Wotawa (QSIC, 2011)

Program Debugging Using Constraints - Is it Feasible? - Franz Wotawa; Mihai Nica (QSIC, 2011)

Debugging and test case generation using constraints and mutations. - Franz Wotawa; Simona Nica; Mihai Nica (WISES, 2011)

Test case generation in practice for communicating embedded systems. - Christian Schwarzl; Franz Wotawa (Elektrotech. Informationstechnik, 2011)

On the Use of Abduction as an Alternative to Decision Trees in Environmental Decision Support Systems. - Franz Wotawa (Int. J. Agric. Environ. Inf. Syst., 2011)

Constraint-based Debugging of Spreadsheets. - Rui Abreu 001; André Riboira; Franz Wotawa (CIbSE, 2012)

Spectrum Enhanced Dynamic Slicing for better Fault Localization. - Birgit Hofer; Franz Wotawa (ECAI, 2012)

Category Partition Method and Satisfiability Modulo Theories for test case generation. - Valentin Chimisliu; Franz Wotawa (AST, 2012)

Open Research Challenges of Localizing Faults in Programs Using Constraints. - Franz Wotawa (ICST, 2012)

Debugging Spreadsheets: A CSP-based Approach. - Rui Abreu 001; André Riboira; Franz Wotawa (ISSRE Workshops, 2012)

Reducing the Size of Dynamic Slicing with Constraint Solving. - Birgit Hofer; Franz Wotawa (QSIC, 2012)

The SiMoL Modeling Language for Simulation and (Re-)Configuration. - Iulia Nica; Franz Wotawa (SOFSEM, 2012)

EqMutDetect - A tool for equivalent mutant detection in embedded systems. - Simona Nica; Franz Wotawa (WISES, 2012)

Combining Slicing and Constraint Solving for Better Debugging: The CONBAS Approach. - Birgit Hofer; Franz Wotawa (Adv. Softw. Eng., 2012)

Diagnosis and repair of dependent failures in the control system of a mobile autonomous robot. - Jörg Weber; Franz Wotawa (Appl. Intell., 2012)

Using Constraints for Equivalent Mutant Detection - Simona Nica; Franz Wotawa (WS-FMDS, 2012)

Automated Debugging of Verilog Designs. - Bernhard Peischl; Naveed Riaz; Franz Wotawa (Int. J. Softw. Eng. Knowl. Eng., 2012)

Automated debugging based on a constraint model of the program and a test case. - Franz Wotawa; Mihai Nica; Iulia Moraru (J. Log. Algebraic Methods Program., 2012)

AI for the win: improving spectrum-based fault localization. - Birgit Hofer; Franz Wotawa; Rui Abreu 001 (ACM SIGSOFT Softw. Eng. Notes, 2012)

Guest Editorial for the Special Issue on Model-Based Testing. - Paul Ammann; Gordon Fraser 001; Franz Wotawa (Softw. Test. Verification Reliab., 2012)

Using Dependency Relations to Improve Test Case Generation from UML Statecharts. - Valentin Chimisliu; Franz Wotawa (COMPSAC Workshops, 2013)

(Re-)configuration of Communication Networks in the Context of M2M. - Iulia Nica; Franz Wotawa (Configuration Workshop, 2013)

On the Empirical Evaluation of Fault Localization Techniques for Spreadsheets. - Birgit Hofer; André Riboira; Franz Wotawa; Rui Abreu 001; Elisabeth Getzner (FASE, 2013)

XSS pattern for attack modeling in testing. - Josip Bozic; Franz Wotawa (AST, 2013)

Functional SOA testing based on constraints. - Seema Jehan; Ingo Pill; Franz Wotawa (AST, 2013)

The dark side of SOA testing: Towards testing contemporary SOAs based on criticality metrics. - Philipp Leitner 001; Stefan Schulte 002; Schahram Dustdar; Ingo Pill; Marco Schulz; Franz Wotawa (PESOS@ICSE, 2013)

SOA Grey Box Testing - A Constraint-Based Approach. - Seema Jehan; Ingo Pill; Franz Wotawa (ICST Workshops, 2013)

Fifty Shades of Grey in SOA Testing. - Franz Wotawa; Marco Schulz; Ingo Pill; Seema Jehan; Philipp Leitner 001; Waldemar Hummer; Stefan Schulte 002; Philipp Hoenisch; Schahram Dustdar (ICST Workshops, 2013)

The Route to Success - A Performance Comparison of Diagnosis Algorithms. - Iulia Nica; Ingo Pill; Thomas Quaritsch; Franz Wotawa (IJCAI, 2013)

Mutation-based spreadsheet debugging. - Birgit Hofer; Franz Wotawa (ISSRE (Supplemental Proceedings), 2013)

The Right Choice Matters! SMT Solving Substantially Improves Model-Based Debugging of Spreadsheets. - Simon Ausserlechner; Sandra Fruhmann; Wolfgang Wieser; Birgit Hofer; Raphael Spork; Clemens Mühlbacher; Franz Wotawa (QSIC, 2013)

Improving Test Case Generation from UML Statecharts by Using Control, Data and Communication Dependencies. - Valentin Chimisliu; Franz Wotawa (QSIC, 2013)

Intelligent engineering techniques for knowledge bases. - Alexander Felfernig; Franz Wotawa (AI Commun., 2013)

On classification and modeling issues in distributed model-based diagnosis. - Franz Wotawa; Ingo Pill (AI Commun., 2013)

On the use of mutations and testing for debugging. - Mihai Nica; Simona Nica; Franz Wotawa (Softw. Pract. Exp., 2013)

Model-Based Reasoning for Self-Adaptive Systems - Theory and Practice. - Gerald Steinbauer; Franz Wotawa (Assurances for Self-Adaptive Systems, 2013)

Testing Configuration Knowledge-Bases. - Franz Wotawa; Ingo Pill (Configuration Workshop, 2014)

Generation of Relevant Spreadsheet Repair Candidates. - Birgit Hofer; Rui Abreu 001; Alexandre Perez; Franz Wotawa (ECAI, 2014)

Comparing Models for Spreadsheet Fault Localization. - Birgit Hofer; Franz Wotawa (ECAI, 2014)

Failure Mode and Effect Analysis for Abductive Diagnosis. - Franz Wotawa (DARe@ECAI, 2014)

Attack pattern-based combinatorial testing. - Josip Bozic; Dimitris E. Simos; Franz Wotawa (AST, 2014)

Security Testing Based on Attack Patterns. - Josip Bozic; Franz Wotawa (ICST Workshops, 2014)

SOA Testing via Random Paths in BPEL Models. - Seema Jehan; Ingo Pill; Franz Wotawa (ICST Workshops, 2014)

Retaining Consistency for Knowledge-Based Security Testing. - Andreas Bernauer; Josip Bozic; Dimitris E. Simos; Severin Winkler; Franz Wotawa (IEA/AIE (2), 2014)

Why Does my Spreadsheet Compute Wrong Values? - Birgit Hofer; Franz Wotawa (ISSRE, 2014)

Testing methods used in the automotive industry: results from a survey. - Harald Altinger; Franz Wotawa; Markus Schurius (JAMAICA@ISSTA, 2014)

Plan It! Automated Security Testing Based on Planning. - Franz Wotawa; Josip Bozic (ICTSS, 2014)

Quality Assurance for Self-Adaptive, Self-Organising Systems (Message from the Workshop Organisers). - Benedikt Eberhardinger; Wolfgang Reif; Franz Wotawa; Tom Holvoet (SASO Workshops, 2014)

Avoiding, finding and fixing spreadsheet errors - A survey of automated approaches for spreadsheet QA. - Dietmar Jannach; Thomas Schmitz 002; Birgit Hofer; Franz Wotawa (J. Syst. Softw., 2014)

A goal-question-metrics model for configuration knowledge bases. - Florian Reinfrank; Gerald Ninaus; Bernhard Peischl; Franz Wotawa (Configuration Workshop, 2015)

Intelligent supporting techniques for the maintenance of constraint-based configuration systems. - Florian Reinfrank; Gerald Ninaus; Franz Wotawa; Alexander Felfernig (Configuration Workshop, 2015)

Maintaining constraint-based systems: challenges ahead. - Florian Reinfrank; Gerald Ninaus; Franz Wotawa; Alexander Felfernig (Configuration Workshop, 2015)

BPEL Integration Testing. - Seema Jehan; Ingo Pill; Franz Wotawa (FASE, 2015)

Evaluation of the IPO-Family algorithms for test case generation in web security testing. - Josip Bozic; Bernhard Garn; Dimitris E. Simos; Franz Wotawa (ICST Workshops, 2015)

Focused Diagnosis for Failing Software Tests. - Birgit Hofer; Seema Jehan; Ingo Pill; Franz Wotawa (IEA/AIE, 2015)

Diagnosis of Technical Systems. - Roxane Koitz; Franz Wotawa (IJCAI, 2015)

Finding Explanations: an Empirical Evaluation of Abductive Diagnosis Algorithms. - Roxane Koitz; Franz Wotawa (DARe@IJCAI, 2015)

iCone: Intelligent Environment for the Development and Maintenance of Configuration Knowledge Bases. - Franz Wotawa; Florian Reinfrank; Gerald Ninaus; Alexander Felfernig (CPCR+ITWP@IJCAI, 2015)

Conflict Management for Constraint-based Recommendation. - Franz Wotawa; Martin Stettinger; Florian Reinfrank; Gerald Ninaus; Alexander Felfernig (CPCR+ITWP@IJCAI, 2015)

Conditional slicing: Reducing dynamic slices. - Birgit Hofer; Georg Hinteregger; Franz Wotawa (ISSRE Workshops, 2015)

Analyzing the reduction of test suite redundancy. - Ingo Pill; Seema Jehan; Franz Wotawa; Mihai Nica (ISSRE Workshops, 2015)

Parse tree structure in LTL requirements diagnosis. - Ingo Pill; Thomas Quaritsch; Franz Wotawa (ISSRE Workshops, 2015)

A Novel Industry Grade Dataset for Fault Prediction Based on Model-Driven Developed Automotive Embedded Software. - Harald Altinger; Sebastian Siegl; Yanja Dajsuren; Franz Wotawa (MSR, 2015)

Potential of Heterogeneity in Collective Behaviors: A Case Study on Heterogeneous Swarms. - Daniela Kengyel; Heiko Hamann; Payam Zahadat; Gerald Radspieler; Franz Wotawa; Thomas Schmickl (PRIMA, 2015)

Testing for Distinguishing Repair Candidates in Spreadsheets - the Mussco Approach. - Rui Abreu 001; Simon Außerlechner; Birgit Hofer; Franz Wotawa (ICTSS, 2015)

Novel Insights on Cross Project Fault Prediction Applied to Automotive Software. - Harald Altinger; Steffen Herbold; Jens Grabowski; Franz Wotawa (ICTSS, 2015)

Attack Pattern-Based Combinatorial Testing with Constraints for Web Security Testing. - Josip Bozic; Bernhard Garn; Ioannis Kapsalis; Dimitris E. Simos; Severin Winkler; Franz Wotawa (QRS, 2015)

PURITY: A Planning-based secURITY Testing Tool. - Josip Bozic; Franz Wotawa (QRS Companion, 2015)

Fault Localization in the Light of Faulty User Input. - Birgit Hofer; Franz Wotawa (QRS, 2015)

SAT-Based Abductive Diagnosis. - Roxane Koitz; Franz Wotawa (DX, 2015)

On the empirical evaluation of similarity coefficients for spreadsheets fault localization. - Birgit Hofer; Alexandre Perez; Rui Abreu 001; Franz Wotawa (Autom. Softw. Eng., 2015)

Using constraints to diagnose faulty spreadsheets. - Rui Abreu 001; Birgit Hofer; Alexandre Perez; Franz Wotawa (Softw. Qual. J., 2015)

FSTaxis Algorithm: Bio-Inspired Emergent Gradient Taxis. - Thomas Schmickl; Franz Wotawa; Ronald Thenius; Joshua Cherian Varughese (ALIFE, 2016)

Improving Abductive Diagnosis Through Structural Features: A Meta-Approach. - Roxane Koitz; Franz Wotawa (DARe@ECAI, 2016)

Empirical study of correlation between mutation score and model inference based test suite adequacy assessment. - Hermann Felbinger; Franz Wotawa; Mihai Nica (AST@ICSE, 2016)

On the Automation of Security Testing. - Franz Wotawa (ICSSA, 2016)

SIMULTATE: A Toolset for Fault Injection and Mutation Testing of Simulink Models. - Ingo Pill; Ivan Rubil; Franz Wotawa; Mihai Nica (ICST Workshops, 2016)

On Structural Properties to Improve FMEA-Based Abductive Diagnosis. - Roxane Koitz; Franz Wotawa (KnowProS@IJCAI, 2016)

Static Spreadsheet Analysis. - Patrick W. Koch; Birgit Hofer; Franz Wotawa (ISSRE Workshops, 2016)

An Automated (F) LTL Test Oracle for Testing with Requirements. - Ingo Pill; Franz Wotawa (ISSRE Workshops, 2016)

Using Modelica Programs for Deriving Propositional Horn Clause Abduction Problems. - Bernhard Peischl; Ingo Pill; Franz Wotawa (KI, 2016)

Test-Suite Reduction Does Not Necessarily Require Executing the Program under Test. - Hermann Felbinger; Franz Wotawa; Mihai Nica (QRS Companion, 2016)

Testing Self-Adaptive Systems Using Fault Injection and Combinatorial Testing. - Franz Wotawa (QRS Companion, 2016)

Fragment-Based Diagnosis of Spreadsheets. - Thomas Schmitz 002; Birgit Hofer; Dietmar Jannach; Franz Wotawa (STAF Workshops, 2016)

Classifying Test Suite Effectiveness via Model Inference and ROBBDs. - Hermann Felbinger; Ingo Pill; Franz Wotawa (TAP@STAF, 2016)

On Error-Class Distribution in Automotive Model-Based Software. - Harald Altinger; Yanja Dajsuren; Sebastian Siegl; Jurgen J. Vinju; Franz Wotawa (SANER, 2016)

A Survey on Software Fault Localization. - W. Eric Wong; Ruizhi Gao; Yihao Li; Rui Abreu 001; Franz Wotawa (IEEE Trans. Software Eng., 2016)

Model-Based Diagnosis Meets Combinatorial Testing For Generating an Abductive Diagnosis Model. - Ingo Pill; Franz Wotawa (DX, 2017)

Quantification and Analysis of the Resilience of Two Swarm Intelligent Algorithms. - Joshua Cherian Varughese; Ronald Thenius; Thomas Schmickl; Franz Wotawa (GCAI, 2017)

Planning-Based Security Testing of the SSL/TLS Protocol. - Josip Bozic; Kristoffer Kleine; Dimitris E. Simos; Franz Wotawa (ICST Workshops, 2017)

Mutation Score, Coverage, Model Inference: Quality Assessment for T-Way Combinatorial Test-Suites. - Hermann Felbinger; Franz Wotawa; Mihai Nica (ICST Workshops, 2017)

Results of a Comparative Study of Code Coverage Tools in Computer Vision. - Iulia Nica; Gerhard Jakob; Kathrin Juhart; Franz Wotawa (ICST Workshops, 2017)

Model-Based Diagnosis in Practice: Interaction Design of an Integrated Diagnosis Application for Industrial Wind Turbines. - Roxane Koitz; Johannes Lüftenegger; Franz Wotawa (IEA/AIE (1), 2017)

Qualitative Deviation Models for Spreadsheet Debugging. - Birgit Hofer; Iulia Nica; Franz Wotawa (ISSRE Workshops, 2017)

The Future of Automated Debugging - Focus on the Niches First. - Franz Wotawa (ISSRE Workshops, 2017)

A "Strength of Decision Tree Equivalence"-Taxonomy and Its Impact on Test Suite Reduction. - Hermann Felbinger; Ingo Pill; Franz Wotawa (ICTSS, 2017)

AI for Localizing Faults in Spreadsheets. - Birgit Hofer; Iulia Nica; Franz Wotawa (ICTSS, 2017)

Testing TLS Using Combinatorial Methods and Execution Framework. - Dimitris E. Simos; Josip Bozic; Feng Duan; Bernhard Garn; Kristoffer Kleine; Yu Lei 001; Franz Wotawa (ICTSS, 2017)

Improving Spectrum-Based Fault Localization for Spreadsheet Debugging. - Elisabeth Getzner; Birgit Hofer; Franz Wotawa (QRS, 2017)

A decomposition-based approach to spreadsheet testing and debugging. - Thomas Schmitz 002; Dietmar Jannach; Birgit Hofer; Patrick W. Koch; Konstantin Schekotihin; Franz Wotawa (VL/HCC, 2017)

Performance tuning for automotive Software Fault Prediction. - Harald Altinger; Steffen Herbold; Friederike Schneemann; Jens Grabowski; Franz Wotawa (SANER, 2017)

Combining Models for Improved Fault Localization in Spreadsheets. - Birgit Hofer; Andrea Hofler; Franz Wotawa (IEEE Trans. Reliab., 2017)

An Approach to Automatically Extract Predictive Properties from Nominal Attributes in Relational Databases. - Valentin Kassarnig; Franz Wotawa (IEEE BigData, 2018)

Software Configuration Diagnosis - A Survey of Existing Methods and Open Challenges. - Artur Andrzejak 001; Gerhard Friedrich; Franz Wotawa (ConfWS, 2018)

Chatbot-based Tourist Recommendations Using Model-based Reasoning. - Iulia Nica; Oliver A. Tazl; Franz Wotawa (ConfWS, 2018)

Planning-based security testing of web applications. - Josip Bozic; Franz Wotawa (AST@ICSE, 2018)

Combining spreadsheet smells for improved fault prediction. - Patrick W. Koch; Konstantin Schekotihin; Dietmar Jannach; Birgit Hofer; Franz Wotawa; Thomas Schmitz 002 (ICSE (NIER), 2018)

Adapting Unit Tests by Generating Combinatorial Test Data. - Hermann Felbinger; Franz Wotawa; Mihai Nica (ICST Workshops, 2018)

Combining Combinatorial Testing and Metamorphic Testing for Testing a Logic-Based Non-monotonic Reasoning System. - Franz Wotawa (ICST Workshops, 2018)

On the Automation of Testing a Logic-Based Diagnosis System. - Franz Wotawa (ICST Workshops, 2018)

Using Ontologies for Test Suites Generation for Automated and Autonomous Driving Functions. - Florian Klück; Yihao Li; Mihai Nica; Jianbo Tao; Franz Wotawa (ISSRE Workshops, 2018)

Spectrum-Based Fault Localization for Logic-Based Reasoning. - Ingo Pill; Franz Wotawa (ISSRE Workshops, 2018)

Security Testing for Chatbots. - Josip Bozic; Franz Wotawa (ICTSS, 2018)

From Ontologies to Input Models for Combinatorial Testing. - Franz Wotawa; Yihao Li (ICTSS, 2018)

Adaptive System for Autonomous Driving. - Franz Wotawa; Martin Zimmermann 007 (QRS Companion, 2018)

Using LNT Formal Descriptions for Model-Based Diagnosis. - Birgit Hofer; Radu Mateescu 001; Wendelin Serwe; Franz Wotawa (DX, 2018)

On the Superiority of Conflict-Driven Search in MUS Enumeration. - Roxane Koitz-Hristov; Franz Wotawa (DX, 2018)

On Using an I/O Model for Creating an Abductive Diagnosis Model via Combinatorial Exploration, Fault Injection, and Simulation. - Ingo Pill; Franz Wotawa (DX, 2018)

Evolutionary propositionalization of multi-relational data. - Valentin Kassarnig; Franz Wotawa (SEKE, 2018)

Applying algorithm selection to abductive diagnostic reasoning. - Roxane Koitz; Franz Wotawa (Appl. Intell., 2018)

A Formal TLS Handshake Model in LNT. - Josip Bozic; Lina Marsso; Radu Mateescu 001; Franz Wotawa (MARS/VPT@ETAPS, 2018)

Introduction to WOSPP: Wave Oriented Swarm Programming Paradigm. - Joshua Cherian Varughese; Hannes Hornischer; Ronald Thenius; Payam Zahadat; Franz Wotawa; Thomas Schmickl (CoRR, 2018)

Combining Spreadsheet Smells for Improved Fault Prediction. - Patrick W. Koch; Konstantin Schekotihin; Dietmar Jannach; Birgit Hofer; Franz Wotawa (CoRR, 2018)

Quality assurance methodologies for automated driving. - Franz Wotawa; Bernhard Peischl; Florian Klück; Mihai Nica (Elektrotech. Informationstechnik, 2018)

Evolutionary Propositionalization of Multi-Relational Data - Research Notes. - Valentin Kassarnig; Franz Wotawa (Int. J. Softw. Eng. Knowl. Eng., 2018)

Automated generation of (F)LTL oracles for testing and debugging. - Ingo Pill; Franz Wotawa (J. Syst. Softw., 2018)

Chatbot Testing Using AI Planning. - Josip Bozic; Oliver A. Tazl; Franz Wotawa (AITest, 2019)

Conversational Recommendations Utilizing Model-based Reasoning. - Oliver A. Tazl; Alexander Perko; Franz Wotawa (ConfWS, 2019)

Comparing two systematic approaches for testing automated driving functions. - Hermann Felbinger; Florian Klück; Yihao Li; Mihai Nica; Jianbo Tao; Franz Wotawa; Martin Zimmermann 007 (ICCVE, 2019)

Fully automated compiler testing of a reasoning engine via mutated grammar fuzzing. - Yavuz Köroglu; Franz Wotawa (AST@ICSE, 2019)

Software Testing: According to Plan! - Josip Bozic; Franz Wotawa (ICST Workshops, 2019)

Crucial Tool Features for Successful Combinatorial Input Parameter Testing in an Industrial Application. - Christian Eitner; Franz Wotawa (ICST Workshops, 2019)

Weighted Combinatorial Sequence Testing for the TLS Protocol. - Bernhard Garn; Dimitris E. Simos; Feng Duan; Yu Lei 001; Josip Bozic; Franz Wotawa (ICST Workshops, 2019)

On the Industrial Application of Combinatorial Testing for Autonomous Driving Functions. - Jianbo Tao; Yihao Li; Franz Wotawa; Hermann Felbinger; Mihai Nica (ICST Workshops, 2019)

A Rule-Based Smart Control for Fail-Operational Systems. - Georg P. Engel; Gerald Schweiger; Franz Wotawa; Martin Zimmermann 007 (IEA/AIE, 2019)

Using Model-Based Reasoning for Enhanced Chatbot Communication. - Oliver A. Tazl; Franz Wotawa (IEA/AIE, 2019)

On the Importance of System Testing for Assuring Safety of AI Systems. - Franz Wotawa (AISafety@IJCAI, 2019)

Collective Event Detection Using Bio-inspired Minimalistic Communication in a Swarm of Underwater Robots. - Joshua Cherian Varughese; Hannes Hornischer; Ronald Thenius; Franz Wotawa; Thomas Schmickl (ALIFE, 2019)

Extending Automated FLTL Test Oracles with Diagnostic Support. - Ingo Pill; Franz Wotawa (ISSRE Workshops, 2019)

Investigating the Effectiveness of Mutation Testing Tools in the Context of Deep Neural Networks. - Nour Chetouane; Lorenz Klampfl; Franz Wotawa (IWANN (1), 2019)

Testing Chatbots Using Metamorphic Relations. - Josip Bozic; Franz Wotawa (ICTSS, 2019)

Performance Comparison of Two Search-Based Testing Strategies for ADAS System Validation. - Florian Klück; Martin Zimmermann 007; Franz Wotawa; Mihai Nica (ICTSS, 2019)

Genetic Algorithm-Based Test Parameter Optimization for ADAS System Testing. - Florian Klück; Martin Zimmermann 007; Franz Wotawa; Mihai Nica (QRS, 2019)

Using Tri-Relation Networks for Effective Software Fault-Proneness Prediction. - Yihao Li; W. Eric Wong; Shou-Yu Lee; Franz Wotawa (IEEE Access, 2019)

Current Approaches in Applied Artificial Intelligence: The 2019 IEA/AIE Conference The IEA/AIE 2019 Conference. - Franz Wotawa; Gerhard Friedrich; Ingo Pill; Roxane Koitz-Hristov; Moonis Ali (AI Mag., 2019)

Fragment-based spreadsheet debugging. - Dietmar Jannach; Thomas Schmitz 002; Birgit Hofer; Konstantin Schekotihin; Patrick W. Koch; Franz Wotawa (Autom. Softw. Eng., 2019)

On the refinement of spreadsheet smells by means of structure information. - Patrick W. Koch; Birgit Hofer; Franz Wotawa (J. Syst. Softw., 2019)

Towards swarm level optimisation: the role of different movement patterns in swarm systems. - Daniela Kengyel; Payam Zahadat; Franz Wotawa; Thomas Schmickl (Int. J. Parallel Emergent Distributed Syst., 2019)

Testing TLS using planning-based combinatorial methods and execution framework. - Dimitris E. Simos; Josip Bozic; Bernhard Garn; Manuel Leithner; Feng Duan; Kristoffer Kleine; Yu Lei 001; Franz Wotawa (Softw. Qual. J., 2019)

Efficient Model-Based Diagnosis of Sequential Circuits. - Alexander Feldman; Ingo Pill; Franz Wotawa; Ion Matei; Johan de Kleer (AAAI, 2020)

Ontology-driven Security Testing of Web Applications. - Josip Bozic; Yihao Li; Franz Wotawa (AITest, 2020)

On Using k-means Clustering for Test Suite Reduction. - Nour Chetouane; Franz Wotawa; Hermann Felbinger; Mihai Nica (ICST Workshops, 2020)

On Using Ontologies for Testing Compilers. - Yihao Li; Franz Wotawa (ICST Workshops, 2020)

Ontology-based Testing: An Emerging Paradigm for Modeling and Testing Systems and Software. - Franz Wotawa; Josip Bozic; Yihao Li (ICST Workshops, 2020)

Machine Learning for Water Supply Supervision. - Thomas Schranz; Gerald Schweiger; Siegfried Pabst; Franz Wotawa (IEA/AIE, 2020)

On the Use of Answer Set Programming for Model-Based Diagnosis. - Franz Wotawa (IEA/AIE, 2020)

CatIO - A Framework for Model-Based Diagnosis of Cyber-Physical Systems. - Edi Muskardin; Ingo Pill; Franz Wotawa (ISMIS, 2020)

Explaining Object Motion Using Answer Set Programming. - Franz Wotawa; Lorenz Klampfl (ISMIS, 2020)

Interrogating Virtual Agents: In Quest of Security Vulnerabilities. - Josip Bozic; Franz Wotawa (ICTSS, 2020)

Mutation Testing for Artificial Neural Networks: An Empirical Evaluation. - Lorenz Klampfl; Nour Chetouane; Franz Wotawa (QRS, 2020)

Faster horn diagnosis - a performance comparison of abductive reasoning algorithms. - Roxane Koitz-Hristov; Franz Wotawa (Appl. Intell., 2020)

Ontology-based test generation for automated and autonomous driving functions. - Yihao Li; Jianbo Tao; Franz Wotawa (Inf. Softw. Technol., 2020)

Planning-based security testing of web applications with attack grammars. - Josip Bozic; Franz Wotawa (Softw. Qual. J., 2020)

An adaptive system for autonomous driving. - Martin Zimmermann 007; Franz Wotawa (Softw. Qual. J., 2020)

On the Use of Available Testing Methods for Verification & Validation of AI-based Software and Systems. - Franz Wotawa (SafeAI@AAAI, 2021)

A framework for the automation of testing computer vision systems. - Franz Wotawa; Lorenz Klampfl; Ledio Jahaj (AST@ICSE, 2021)

Analysing Experimental Results Obtained when Applying Search-based Testing to Verify Automated Driving Functions. - Florian Klück; Franz Wotawa; Gerhard Neubauer; Jianbo Tao; Mihai Nica (DSA, 2021)

Monitoring Hierarchical Systems for Safety Assurance. - Franz Wotawa; Horst Lewitschnig (IDC, 2021)

Automated Diagnosis of Cyber-Physical Systems. - Franz Wotawa; Oliver A. Tazl; David Kaufmann (IEA/AIE (2), 2021)

Java2CSP - A Model-Based Diagnosis Tool Not Only for Software Debugging. - Franz Wotawa; Vlad Andrei Dumitru (KES-IDT, 2021)

Metamorphic Testing of Logic Theorem Prover. - Oliver A. Tazl; Franz Wotawa (ICTSS, 2021)

On the Automation of Audio Plugin Testing*. - Stephan Valentan; Franz Wotawa (QRS, 2021)

On the Effects of Data Sampling for Deep Learning on Highly Imbalanced Data from SCADA Power Grid Substation Networks for Intrusion Detection. - Franz Wotawa; Herbert Mühlburger (QRS, 2021)

GABezier at the SBST 2021 Tool Competition. - Florian Klück; Lorenz Klampfl; Franz Wotawa (SBST@ICSE, 2021)

Extracting information from driving data using k-means clustering (S). - Nour Chetouane; Lorenz Klampfl; Franz Wotawa (SEKE, 2021)

CIMAX: collective information maximization in robotic swarms using local communication. - Hannes Hornischer; Joshua Cherian Varughese; Ronald Thenius; Franz Wotawa; Manfred Füllsack; Thomas Schmickl (Adapt. Behav., 2021)

Intelligent Agents Diagnostics - Enhancing Cyber-Physical Systems with Self-Diagnostic Capabilities. - David Kaufmann; Iulia Nica; Franz Wotawa (Adv. Intell. Syst., 2021)

Automatic Generation of Challenging Road Networks for ALKS Testing based on Bezier Curves and Search. - Florian Klück; Lorenz Klampfl; Franz Wotawa (CoRR, 2021)

Finding Critical Scenarios for Automated Driving Systems: A Systematic Literature Review. - Xinhai Zhang; Jianbo Tao; Kaige Tan; Martin Törngren; José Manuel Gaspar Sánchez; Muhammad Rusyadi Ramli; Xin Tao 003; Magnus Gyllenhammar; Franz Wotawa; Naveen Mohan; Mihai Nica; Hermann Felbinger (CoRR, 2021)

Product metrics for spreadsheets - A systematic review. - Birgit Hofer; Dietmar Jannach; Patrick W. Koch; Konstantin Schekotihin; Franz Wotawa (J. Syst. Softw., 2021)

Metric-Based Fault Prediction for Spreadsheets. - Patrick W. Koch; Konstantin Schekotihin; Dietmar Jannach; Birgit Hofer; Franz Wotawa (IEEE Trans. Software Eng., 2021)

A Passive Testing Approach using a Semi-Supervised Intrusion Detection Model for SCADA Network Traffic. - Herbert Mühlburger; Franz Wotawa (AITest, 2022)

Checked Coverage for Test Suite Reduction - Is It Worth the Effort? - Roxane Koitz-Hristov; Lukas Stracke; Franz Wotawa (AST@ICSE, 2022)

Testing Photometric Stereo Applications. - Ledio Jahaj; Franz Wotawa (DSA, 2022)

The Java2CSP Debugging Tool Utilizing Constraint Solving and Model-Based Diagnosis Principles. - Franz Wotawa; Vlad Andrei Dumitru (IEA/AIE, 2022)

Boosting Spectrum-Based Fault Localization for Spreadsheets with Product Metrics in a Learning Approach. - Adil Mukhtar; Birgit Hofer; Dietmar Jannach; Franz Wotawa; Konstantin Schekotihin (ASE, 2022)

Extracting Temporal Models from Data Episodes. - Nour Chetouane; Franz Wotawa (QRS, 2022)

DDMin versus QuickXplain - An Experimental Comparison of two Algorithms for Minimizing Collections. - Oliver A. Tazl; Christopher Tafeit; Franz Wotawa; Alexander Felfernig (SEKE, 2022)

Challenges of testing self-adaptive systems. - Liliana Marie Prikler; Franz Wotawa (SPLC (B), 2022)

Pursuing Intelligent Behavior in Cyber-Physical Systems by Lightweight Diagnosis. - Martin Zimmermann 007; Franz Wotawa; Ingo Pill (Adv. Intell. Syst., 2022)

Editorial "special issue on artificial intelligence in practice - from theory to application". - Moonis Ali; Gerhard Friedrich; Ingo Pill; Franz Wotawa (Appl. Intell., 2022)

Model-based reasoning using answer set programming. - Franz Wotawa; David Kaufmann (Appl. Intell., 2022)

Spreadsheet debugging: The perils of tool over-reliance. - Adil Mukhtar; Birgit Hofer; Dietmar Jannach; Franz Wotawa (J. Syst. Softw., 2022)

Testing anticipatory systems: A systematic mapping study on the state of the art. - Bernhard Peischl; Oliver A. Tazl; Franz Wotawa (J. Syst. Softw., 2022)

Towards a Review on Simulated ADAS/AD Testing. - Yavuz Köroglu; Franz Wotawa (AST, 2023)

Analysing Residual Risks when Introducing Monitoring and Diagnosis into Systems. - Thomas Hirsch; Franz Wotawa (DSA, 2023)

Optimizing Named Entity Recognition for Improving Logical Formulae Abstraction from Technical Requirements Documents. - Alexander Perko; Haoran Zhao; Franz Wotawa (DSA, 2023)

A Systematic Mapping Study of Digital Twins for Diagnosis in Transportation. - Liliana Marie Prikler; Franz Wotawa (DSA, 2023)

Identifying Critical Scenarios in Autonomous Driving During Operation. - Lorenz Klampfl; Franz Wotawa (ECAI Workshops (1), 2023)

Generating concrete test cases from vehicle data using models obtained from clustering. - Nour Chetouane; Franz Wotawa (ICSTW, 2023)

Applying CT-FLA for AEB Function Testing: A Virtual Driving Case Study. - Ludwig Kampel; Michael Wagner 026; Dimitris E. Simos; Mihai Nica; Dino Dodig; David Kaufmann; Franz Wotawa (ICSTW, 2023)

Bottleneck Analysis via Grammar-based Performance Fuzzing*. - Yavuz Köroglu; Franz Wotawa (ICSTW, 2023)

Which Components to Blame? Integrating Diagnosis into Monitoring of Technical Systems. - Franz Wotawa (IEA/AIE (2), 2023)

Continuous Domain Input Abstraction and Fault Detection Capability in Combinatorial Testing. - Yavuz Köroglu; Franz Wotawa (ASEW, 2023)

On the Evaluation of Photometric Stereo Applications Testing Using Image Modifications. - Franz Wotawa; Ledio Jahaj; Nicole Brosch (ICTSS, 2023)

Wireless Threats Against V2X Communication. - Axel Boström; Franz Wotawa (QRS, 2023)

Using Data Abstraction for Clustering in the Context of Test Case Generation. - Nour Chetouane; Franz Wotawa (QRS, 2023)

Smart Monitoring for Safety-Assurance in Autonomous Driving (S). - Georg Stettinger; Franz Wotawa (SEKE, 2023)

RailwayReq Corpus. - Alexander Perko; Haoran Zhao; Franz Wotawa (Zenodo, 2023)

An Empirical Study of Greedy Test Suite Minimization Techniques Using Mutation Coverage. - Seema Jehan; Franz Wotawa (IEEE Access, 2023)

Finding Critical Scenarios for Automated Driving Systems: A Systematic Mapping Study. - Xinhai Zhang; Jianbo Tao; Kaige Tan; Martin Törngren; José Manuel Gaspar Sánchez; Muhammad Rusyadi Ramli; Xin Tao 003; Magnus Gyllenhammar; Franz Wotawa; Naveen Mohan; Mihai Nica; Hermann Felbinger (IEEE Trans. Software Eng., 2023)

Explaining software fault predictions to spreadsheet users. - Adil Mukhtar; Birgit Hofer; Dietmar Jannach; Franz Wotawa (J. Syst. Softw., 2023)

An empirical comparison of combinatorial testing and search-based testing in the context of automated and autonomous driving systems. - Florian Klück; Yihao Li; Jianbo Tao; Franz Wotawa (Inf. Softw. Technol., 2023)

Utilizing Genetic Algorithms for Generating Critical Scenarios for Testing Autonomous Driving Functions. - Florian Klück; Daniel Sumann; Franz Wotawa (AITest, 2024)

FaultLines - Evaluating the Efficacy of Open-Source Large Language Models for Fault Detection in Cyber-Physical Systems. - Herbert Mühlburger; Franz Wotawa (AITest, 2024)

9 in 10 cameras agree: Pedestrians in front possibly endangered. - Liliana Marie Prikler; Franz Wotawa (AST@ICSE, 2024)

Using Answer Set Programming for Assigning Tasks to Computing Nodes. - Franz Wotawa (ConfWS, 2024)

Data-Driven Diagnosis of Electrified Vehicles: Results from a Structured Literature Review (Short Paper). - Stan Muñoz Gutiérrez; Adil Mukhtar; Franz Wotawa (DX, 2024)

Transformer-Based Signal Inference for Electrified Vehicle Powertrains (Short Paper). - Stan Muñoz Gutiérrez; Adil Mukhtar; Franz Wotawa (DX, 2024)

Detecting Soft Faults in Heat Pumps (Short Paper). - Birgit Hofer; Franz Wotawa (DX, 2024)

Simulation-Based Diagnosis for Cyber-Physical Systems - A General Approach and Case Study on a Dual Three-Phase E-Machine. - David Kaufmann; Matus Kozovsky; Franz Wotawa (DX, 2024)

Leveraging Answer Set Programming for Continuous Monitoring, Fault Detection, and Explanation of Automated and Autonomous Driving Systems. - Lorenz Klampfl; Franz Wotawa (DX, 2024)

FLEX: Fault Localization and Explanation Using Open-Source Large Language Models in Powertrain Systems (Short Paper). - Herbert Mühlburger; Franz Wotawa (DX, 2024)

Faster Diagnosis with Answer Set Programming (Short Paper). - Liliana Marie Prikler; Franz Wotawa (DX, 2024)

Bridging Hardware and Software Diagnosis: Leveraging Fault Signature Matrix and Spectrum-Based Fault Localization Similarities. - Louise Travé-Massuyès; Franz Wotawa (DX, 2024)

Summary of "An empirical comparison of combinatorial testing and search-based testing in the context of automated and autonomous driving systems". - Florian Klück; Yihao Li; Jianbo Tao; Franz Wotawa (ICSTW, 2024)

Knowledge-Based Monitoring for Checking Law and Regulation Compliance. - Ledio Jahaj; Lorenz Klampfl; Franz Wotawa (IEA/AIE, 2024)

On the Variations of ChatGPT's Response Quality for Generating Source Code Across Programming Languages. - Ángela González de Diego; Franz Wotawa (ICTSS, 2024)

Reevaluating the Small-Scope Testing Hypothesis of Answer Set Programs. - Liliana Marie Prikler; Franz Wotawa (ICTSS, 2024)

Mutating Clingo's AST with clingabomino. - Liliana Marie Prikler; Franz Wotawa (ICTSS, 2024)

Investigating Reproducibility in Deep Learning-Based Software Fault Prediction. - Adil Mukhtar; Dietmar Jannach; Franz Wotawa (QRS, 2024)

Testing and Reinforcement Learning - A Structured Literature Review. - Shahzad Nayab; Franz Wotawa (QRS Companion, 2024)

Evaluating OpenAI Large Language Models for Generating Logical Abstractions of Technical Requirements Documents. - Alexander Perko; Franz Wotawa (QRS, 2024)

21st Workshop on Automotive Software Engineering (ASE'24). - Stefan Kugele; Franz Wotawa (Software Engineering, 2024)

Replication package for: Evaluating OpenAI Large Language Models for Generating Logical Abstractions of Technical Requirements Documents. - Alexander Perko; Franz Wotawa (Zenodo, 2024)

Generalizable Temperature Nowcasting with Physics-Constrained RNNs for Predictive Maintenance of Wind Turbine Components. - Johannes Exenberger; Matteo Di Salvo; Thomas Hirsch; Franz Wotawa; Gerald Schweiger (CoRR, 2024)

Using genetic algorithms for automating automated lane-keeping system testing. - Lorenz Klampfl; Florian Klück; Franz Wotawa (J. Softw. Evol. Process., 2024)

Investigating Reproducibility in Deep Learning-Based Software Fault Prediction. - Adil Mukhtar; Dietmar Jannach; Franz Wotawa (Zenodo, 2024)

Investigating Reproducibility in Deep Learning-Based Software Fault Prediction. - Adil Mukhtar; Dietmar Jannach; Franz Wotawa (Zenodo, 2024)

Data and Sourcecode from: Neural Network-based Occupancy Detection on the Edge. - Christoph Siegl; Thomas Hirsch; Theresa Kohl; Franz Wotawa; Gerald Schweiger (Zenodo, 2024)

Data and Sourcecode from: Neural Network-based Occupancy Detection on the Edge. - Christoph Siegl; Thomas Hirsch; Theresa Kohl; Franz Wotawa; Gerald Schweiger (Zenodo, 2024)

On the suitability of checked coverage and genetic parameter tuning in test suite reduction. - Roxane Koitz-Hristov; Thomas Sterner; Lukas Stracke; Franz Wotawa (J. Softw. Evol. Process., 2024)

Replication package for: Faster Diagnosis with Answer Set Programming. - Liliana Marie Prikler; Franz Wotawa (Zenodo, 2024)

muehlburger/dx-2024-flex: v0.0.1. - Herbert Mühlburger; Franz Wotawa (Zenodo, 2024)

FLEX: Fault Localization with Open-Source LLMs in Powertrain Systems. - Herbert Mühlburger; Franz Wotawa (Zenodo, 2024)

FLEX: Fault Localization with Open-Source LLMs in Powertrain Systems. - Herbert Mühlburger; Franz Wotawa (Zenodo, 2024)

FLEX: Fault Localization with Open-Source LLMs in Powertrain Systems. - Herbert Mühlburger; Franz Wotawa (Zenodo, 2024)

FLEX: Fault Localization with Open-Source LLMs in Powertrain Systems. - Herbert Mühlburger; Franz Wotawa (Zenodo, 2024)

On the Impact of Input Models on the Fault Detection Capabilities of Combinatorial Testing. - Carmen Baumann; Yavuz Köroglu; Franz Wotawa (SN Comput. Sci., 2024)

muehlburger/dx-2024-flex. - Herbert Mühlburger; Franz Wotawa (DROPS Artifacts, 2024)

FLEX: Fault Localization and Explanation with Open-Source Large Langauge Models in Powertrain Systems. - Herbert Mühlburger; Franz Wotawa (Zenodo, 2024)

FLEX: Fault Localization and Explanation with Open-Source Large Langauge Models in Powertrain Systems. - Herbert Mühlburger; Franz Wotawa (Zenodo, 2024)

Testing ADAS/ADS - from critical scenarios to automated testing oracles. - Lorenz Klampfl; Florian Klück; Mihai Nica; Jianbo Tao; Franz Wotawa (Elektrotech. Informationstechnik, 2024)

FLEX: Fault Localization and Explanation with Open-Source Large Langauge Models in Powertrain Systems. - Herbert Mühlburger; Franz Wotawa (Zenodo, 2024)

On the Quest for Criticality Searching for Interactions that Matter When Hunting for Bugs. - Franz Wotawa (Go Where the Bugs Are, 2025)

Automata Learning for React Web Applications. - Peter Grubelnik; Franz Wotawa (ICSTW, 2025)

Towards Improving Automated Testing with GraphWalker. - Yavuz Köroglu; Mutlu Beyazit; Onur Kilinççeker; Serge Demeyer; Franz Wotawa (ICSTW, 2025)

Utilizing Ontologies for Combinatorial Testing. - Franz Wotawa (ICSTW, 2025)

Evaluation of Efficient AI for the Edge: Insights from Deep Neural Networks Model Compression Techniques Applied to Occupancy Detection. - Mina Basirat; Franz Wotawa (IEA/AIE (1), 2025)

Model-Based Diagnosis for Building Systems - Results of an Initial Feasibility Study. - Franz Wotawa (IEA/AIE (2), 2025)

VisOpt - Visualization of Compiler Optimizations for Computer Science Education. - Roxane Koitz-Hristov; Franz Mandl; Franz Wotawa (SIGCSE (1), 2025)

Evaluating Testing and Use of Photometric Stereo Applications for Riblet Inspection. - Franz Wotawa; Ledio Jahaj; Nicole Brosch (SN Comput. Sci., 2025)

Optimized Spectral Fault Receptive Fields for Diagnosis-Informed Prognosis. - Stan Muñoz Gutiérrez; Franz Wotawa (CoRR, 2025)