| 2026 | AAAI | Choosing Abstraction Levels for Model-Based Software Debugging: A Theoretical and Empirical Analysis for Spreadsheet Programs (Abstract Reprint). | Patrick Rodler, Birgit Hofer, Dietmar Jannach, Iulia Nica, Franz Wotawa |
| 2026 | ICST | Constraint-Focused Benchmark of Combinatorial Testing Tools: A Practitioner's View. | Sebastian Puck, Alexander Perko, David Kaufmann, Franz Wotawa, Iskra Gasparic |
| 2025 | DX | Using Qualitative Simulation Models for Monitoring and Diagnosis. | Ankita Das, Roxane Koitz-Hristov, Franz Wotawa |
| 2025 | DX | Optimized Spectral Fault Receptive Fields for Diagnosis-Informed Prognosis. | Stan Muoz Gutirrez, Franz Wotawa |
| 2025 | DX | Beyond Static Diagnosis: A Temporal ASP Framework for HVAC Fault Detection. | Roxane Koitz-Hristov, Liliana Marie Prikler, Franz Wotawa |
| 2025 | DX | GEMMA-FD: Zero-Shot Fault Detection in Heat Pumps Using Multimodal Language Models. | Herbert Mhlburger, Franz Wotawa |
| 2025 | DX | Combining Dynamic Slicing and Spectrum-Based Fault Localization - A First Experimental Evaluation. | Jonas Schleich, Franz Wotawa |
| 2025 | ECAI | On the Use of Artificial Intelligence for Autonomous Driving and Its Verification. | Franz Wotawa |
| 2025 | ICST | Automata Learning for React Web Applications. | Peter Grubelnik, Franz Wotawa |
| 2025 | ICST | Towards Improving Automated Testing with GraphWalker. | Yavuz Kroglu, Mutlu Beyazit, Onur Kilineker, Serge Demeyer, Franz Wotawa |
| 2025 | ICST | Utilizing Ontologies for Combinatorial Testing. | Franz Wotawa |
| 2025 | QRS | Formal Methods for Residual Risk Reduction in Cyber-Physical Systems. | David Kaufmann, Radu Mateescu, Lucie Muller, Wendelin Serwe, Franz Wotawa |
| 2025 | QRS | Ontology-based Testing for Quality Assurance of Robotics Applications. | Shahzad Nayab, Franz Wotawa |
| 2025 | SIGCSE | VisOpt - Visualization of Compiler Optimizations for Computer Science Education. | Roxane Koitz-Hristov, Franz Mandl, Franz Wotawa |
| 2024 | AST | 9 in 10 cameras agree: Pedestrians in front possibly endangered. | Liliana Marie Prikler, Franz Wotawa |
| 2024 | DX | Data-Driven Diagnosis of Electrified Vehicles: Results from a Structured Literature Review (Short Paper). | Stan Muoz Gutirrez, Adil Mukhtar, Franz Wotawa |
| 2024 | DX | Transformer-Based Signal Inference for Electrified Vehicle Powertrains (Short Paper). | Stan Muoz Gutirrez, Adil Mukhtar, Franz Wotawa |
| 2024 | DX | Detecting Soft Faults in Heat Pumps (Short Paper). | Birgit Hofer, Franz Wotawa |
| 2024 | DX | 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 |
| 2024 | DX | Leveraging Answer Set Programming for Continuous Monitoring, Fault Detection, and Explanation of Automated and Autonomous Driving Systems. | Lorenz Klampfl, Franz Wotawa |
| 2024 | DX | FLEX: Fault Localization and Explanation Using Open-Source Large Language Models in Powertrain Systems (Short Paper). | Herbert Mhlburger, Franz Wotawa |
| 2024 | DX | Faster Diagnosis with Answer Set Programming (Short Paper). | Liliana Marie Prikler, Franz Wotawa |
| 2024 | DX | Bridging Hardware and Software Diagnosis: Leveraging Fault Signature Matrix and Spectrum-Based Fault Localization Similarities. | Louise Trav-Massuys, Franz Wotawa |
| 2024 | ICST | Summary of "An empirical comparison of combinatorial testing and search-based testing in the context of automated and autonomous driving systems". | Florian Klck, Yihao Li, Jianbo Tao, Franz Wotawa |
| 2024 | QRS | Investigating Reproducibility in Deep Learning-Based Software Fault Prediction. | Adil Mukhtar, Dietmar Jannach, Franz Wotawa |
| 2024 | QRS | Testing and Reinforcement Learning - A Structured Literature Review. | Shahzad Nayab, Franz Wotawa |
| 2024 | QRS | Evaluating OpenAI Large Language Models for Generating Logical Abstractions of Technical Requirements Documents. | Alexander Perko, Franz Wotawa |
| 2023 | AST | Towards a Review on Simulated ADAS/AD Testing. | Yavuz Kroglu, Franz Wotawa |
| 2023 | ECAI | Identifying Critical Scenarios in Autonomous Driving During Operation. | Lorenz Klampfl, Franz Wotawa |
| 2023 | ICST | Generating concrete test cases from vehicle data using models obtained from clustering. | Nour Chetouane, Franz Wotawa |
| 2023 | ICST | Applying CT-FLA for AEB Function Testing: A Virtual Driving Case Study. | Ludwig Kampel, Michael Wagner, Dimitris E. Simos, Mihai Nica, Dino Dodig, David Kaufmann, Franz Wotawa |
| 2023 | ICST | Bottleneck Analysis via Grammar-based Performance Fuzzing | Yavuz Kroglu, Franz Wotawa |
| 2023 | QRS | Wireless Threats Against V2X Communication. | Axel Bostrm, Franz Wotawa |
| 2023 | QRS | Using Data Abstraction for Clustering in the Context of Test Case Generation. | Nour Chetouane, Franz Wotawa |
| 2023 | SEKE | Smart Monitoring for Safety-Assurance in Autonomous Driving (S). | Georg Stettinger, Franz Wotawa |
| 2022 | AST | Checked Coverage for Test Suite Reduction - Is It Worth the Effort? | Roxane Koitz-Hristov, Lukas Stracke, Franz Wotawa |
| 2022 | QRS | Extracting Temporal Models from Data Episodes. | Nour Chetouane, Franz Wotawa |
| 2022 | SEKE | DDMin versus QuickXplain - An Experimental Comparison of two Algorithms for Minimizing Collections. | Oliver A. Tazl, Christopher Tafeit, Franz Wotawa, Alexander Felfernig |
| 2022 | SPLC | Challenges of testing self-adaptive systems. | Liliana Marie Prikler, Franz Wotawa |
| 2021 | AAAI | On the Use of Available Testing Methods for Verification & Validation of AI-based Software and Systems. | Franz Wotawa |
| 2021 | AST | A framework for the automation of testing computer vision systems. | Franz Wotawa, Lorenz Klampfl, Ledio Jahaj |
| 2021 | IDC | Monitoring Hierarchical Systems for Safety Assurance. | Franz Wotawa, Horst Lewitschnig |
| 2021 | QRS | On the Automation of Audio Plugin Testing | Stephan Valentan, Franz Wotawa |
| 2021 | QRS | 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 Mhlburger |
| 2021 | SEKE | Extracting information from driving data using k-means clustering (S). | Nour Chetouane, Lorenz Klampfl, Franz Wotawa |
| 2020 | AAAI | Efficient Model-Based Diagnosis of Sequential Circuits. | Alexander Feldman, Ingo Pill, Franz Wotawa, Ion Matei, Johan de Kleer |
| 2020 | ICST | On Using k-means Clustering for Test Suite Reduction. | Nour Chetouane, Franz Wotawa, Hermann Felbinger, Mihai Nica |
| 2020 | ICST | On Using Ontologies for Testing Compilers. | Yihao Li, Franz Wotawa |
| 2020 | ICST | Ontology-based Testing: An Emerging Paradigm for Modeling and Testing Systems and Software. | Franz Wotawa, Josip Bozic, Yihao Li |
| 2020 | ISMIS | CatIO - A Framework for Model-Based Diagnosis of Cyber-Physical Systems. | Edi Muskardin, Ingo Pill, Franz Wotawa |
| 2020 | ISMIS | Explaining Object Motion Using Answer Set Programming. | Franz Wotawa, Lorenz Klampfl |
| 2020 | QRS | Mutation Testing for Artificial Neural Networks: An Empirical Evaluation. | Lorenz Klampfl, Nour Chetouane, Franz Wotawa |
| 2019 | IJCAI | On the Importance of System Testing for Assuring Safety of AI Systems. | Franz Wotawa |
| 2019 | ICSE | Fully automated compiler testing of a reasoning engine via mutated grammar fuzzing. | Yavuz Kroglu, Franz Wotawa |
| 2019 | ICST | Software Testing: According to Plan! | Josip Bozic, Franz Wotawa |
| 2019 | ICST | Crucial Tool Features for Successful Combinatorial Input Parameter Testing in an Industrial Application. | Christian Eitner, Franz Wotawa |
| 2019 | ICST | Weighted Combinatorial Sequence Testing for the TLS Protocol. | Bernhard Garn, Dimitris E. Simos, Feng Duan, Yu Lei, Josip Bozic, Franz Wotawa |
| 2019 | ICST | On the Industrial Application of Combinatorial Testing for Autonomous Driving Functions. | Jianbo Tao, Yihao Li, Franz Wotawa, Hermann Felbinger, Mihai Nica |
| 2019 | ISSRE | Extending Automated FLTL Test Oracles with Diagnostic Support. | Ingo Pill, Franz Wotawa |
| 2019 | IWANN | Investigating the Effectiveness of Mutation Testing Tools in the Context of Deep Neural Networks. | Nour Chetouane, Lorenz Klampfl, Franz Wotawa |
| 2019 | QRS | Genetic Algorithm-Based Test Parameter Optimization for ADAS System Testing. | Florian Klck, Martin Zimmermann, Franz Wotawa, Mihai Nica |
| 2018 | ICSE | Planning-based security testing of web applications. | Josip Bozic, Franz Wotawa |
| 2018 | ICSE | Combining spreadsheet smells for improved fault prediction. | Patrick W. Koch, Konstantin Schekotihin, Dietmar Jannach, Birgit Hofer, Franz Wotawa, Thomas Schmitz |
| 2018 | ICST | Adapting Unit Tests by Generating Combinatorial Test Data. | Hermann Felbinger, Franz Wotawa, Mihai Nica |
| 2018 | ICST | Combining Combinatorial Testing and Metamorphic Testing for Testing a Logic-Based Non-monotonic Reasoning System. | Franz Wotawa |
| 2018 | ICST | On the Automation of Testing a Logic-Based Diagnosis System. | Franz Wotawa |
| 2018 | ISSRE | Using Ontologies for Test Suites Generation for Automated and Autonomous Driving Functions. | Florian Klck, Yihao Li, Mihai Nica, Jianbo Tao, Franz Wotawa |
| 2018 | ISSRE | Spectrum-Based Fault Localization for Logic-Based Reasoning. | Ingo Pill, Franz Wotawa |
| 2018 | QRS | Adaptive System for Autonomous Driving. | Franz Wotawa, Martin Zimmermann |
| 2018 | SEKE | Evolutionary propositionalization of multi-relational data. | Valentin Kassarnig, Franz Wotawa |
| 2018 | SAFEProcess | Using LNT Formal Descriptions for Model-Based Diagnosis. | Birgit Hofer, Radu Mateescu, Wendelin Serwe, Franz Wotawa |
| 2018 | SAFEProcess | On the Superiority of Conflict-Driven Search in MUS Enumeration. | Roxane Koitz-Hristov, Franz Wotawa |
| 2018 | SAFEProcess | On Using an I/O Model for Creating an Abductive Diagnosis Model via Combinatorial Exploration, Fault Injection, and Simulation. | Ingo Pill, Franz Wotawa |
| 2017 | DX | Model-Based Diagnosis Meets Combinatorial Testing For Generating an Abductive Diagnosis Model. | Ingo Pill, Franz Wotawa |
| 2017 | ICST | Planning-Based Security Testing of the SSL/TLS Protocol. | Josip Bozic, Kristoffer Kleine, Dimitris E. Simos, Franz Wotawa |
| 2017 | ICST | Mutation Score, Coverage, Model Inference: Quality Assessment for T-Way Combinatorial Test-Suites. | Hermann Felbinger, Franz Wotawa, Mihai Nica |
| 2017 | ICST | Results of a Comparative Study of Code Coverage Tools in Computer Vision. | Iulia Nica, Gerhard Jakob, Kathrin Juhart, Franz Wotawa |
| 2017 | ISSRE | Qualitative Deviation Models for Spreadsheet Debugging. | Birgit Hofer, Iulia Nica, Franz Wotawa |
| 2017 | ISSRE | The Future of Automated Debugging - Focus on the Niches First. | Franz Wotawa |
| 2017 | QRS | Improving Spectrum-Based Fault Localization for Spreadsheet Debugging. | Elisabeth Getzner, Birgit Hofer, Franz Wotawa |
| 2016 | ALIFE | FSTaxis Algorithm: Bio-Inspired Emergent Gradient Taxis. | Thomas Schmickl, Franz Wotawa, Ronald Thenius, Joshua Cherian Varughese |
| 2016 | ECAI | Improving Abductive Diagnosis Through Structural Features: A Meta-Approach. | Roxane Koitz, Franz Wotawa |
| 2016 | IJCAI | On Structural Properties to Improve FMEA-Based Abductive Diagnosis. | Roxane Koitz, Franz Wotawa |
| 2016 | ICSE | Empirical study of correlation between mutation score and model inference based test suite adequacy assessment. | Hermann Felbinger, Franz Wotawa, Mihai Nica |
| 2016 | ICST | SIMULTATE: A Toolset for Fault Injection and Mutation Testing of Simulink Models. | Ingo Pill, Ivan Rubil, Franz Wotawa, Mihai Nica |
| 2016 | ISSRE | Static Spreadsheet Analysis. | Patrick W. Koch, Birgit Hofer, Franz Wotawa |
| 2016 | ISSRE | An Automated (F) LTL Test Oracle for Testing with Requirements. | Ingo Pill, Franz Wotawa |
| 2016 | KI | Using Modelica Programs for Deriving Propositional Horn Clause Abduction Problems. | Bernhard Peischl, Ingo Pill, Franz Wotawa |
| 2016 | QRS | Test-Suite Reduction Does Not Necessarily Require Executing the Program under Test. | Hermann Felbinger, Franz Wotawa, Mihai Nica |
| 2016 | QRS | Testing Self-Adaptive Systems Using Fault Injection and Combinatorial Testing. | Franz Wotawa |
| 2016 | TAP | Classifying Test Suite Effectiveness via Model Inference and ROBBDs. | Hermann Felbinger, Ingo Pill, Franz Wotawa |
| 2015 | FASE | BPEL Integration Testing. | Seema Jehan, Ingo Pill, Franz Wotawa |
| 2015 | IJCAI | Diagnosis of Technical Systems. | Roxane Koitz, Franz Wotawa |
| 2015 | IJCAI | Finding Explanations: an Empirical Evaluation of Abductive Diagnosis Algorithms. | Roxane Koitz, Franz Wotawa |
| 2015 | IJCAI | iCone: Intelligent Environment for the Development and Maintenance of Configuration Knowledge Bases. | Franz Wotawa, Florian Reinfrank, Gerald Ninaus, Alexander Felfernig |
| 2015 | IJCAI | Conflict Management for Constraint-based Recommendation. | Franz Wotawa, Martin Stettinger, Florian Reinfrank, Gerald Ninaus, Alexander Felfernig |
| 2015 | ICST | Evaluation of the IPO-Family algorithms for test case generation in web security testing. | Josip Bozic, Bernhard Garn, Dimitris E. Simos, Franz Wotawa |
| 2015 | ISSRE | Conditional slicing: Reducing dynamic slices. | Birgit Hofer, Georg Hinteregger, Franz Wotawa |
| 2015 | ISSRE | Analyzing the reduction of test suite redundancy. | Ingo Pill, Seema Jehan, Franz Wotawa, Mihai Nica |
| 2015 | ISSRE | Parse tree structure in LTL requirements diagnosis. | Ingo Pill, Thomas Quaritsch, Franz Wotawa |
| 2015 | MSR | A Novel Industry Grade Dataset for Fault Prediction Based on Model-Driven Developed Automotive Embedded Software. | Harald Altinger, Sebastian Siegl, Yanja Dajsuren, Franz Wotawa |
| 2015 | PRIMA | Potential of Heterogeneity in Collective Behaviors: A Case Study on Heterogeneous Swarms. | Daniela Kengyel, Heiko Hamann, Payam Zahadat, Gerald Radspieler, Franz Wotawa, Thomas Schmickl |
| 2015 | QRS | Attack Pattern-Based Combinatorial Testing with Constraints for Web Security Testing. | Josip Bozic, Bernhard Garn, Ioannis Kapsalis, Dimitris E. Simos, Severin Winkler, Franz Wotawa |
| 2015 | QRS | PURITY: A Planning-based secURITY Testing Tool. | Josip Bozic, Franz Wotawa |
| 2015 | QRS | Fault Localization in the Light of Faulty User Input. | Birgit Hofer, Franz Wotawa |
| 2015 | SAFEProcess | SAT-Based Abductive Diagnosis. | Roxane Koitz, Franz Wotawa |
| 2014 | ECAI | Generation of Relevant Spreadsheet Repair Candidates. | Birgit Hofer, Rui Abreu, Alexandre Perez, Franz Wotawa |
| 2014 | ECAI | Comparing Models for Spreadsheet Fault Localization. | Birgit Hofer, Franz Wotawa |
| 2014 | ECAI | Failure Mode and Effect Analysis for Abductive Diagnosis. | Franz Wotawa |
| 2014 | ICSE | Attack pattern-based combinatorial testing. | Josip Bozic, Dimitris E. Simos, Franz Wotawa |
| 2014 | ICST | Security Testing Based on Attack Patterns. | Josip Bozic, Franz Wotawa |
| 2014 | ICST | SOA Testing via Random Paths in BPEL Models. | Seema Jehan, Ingo Pill, Franz Wotawa |
| 2014 | ISSRE | Why Does my Spreadsheet Compute Wrong Values? | Birgit Hofer, Franz Wotawa |
| 2014 | ISSTA | Testing methods used in the automotive industry: results from a survey. | Harald Altinger, Franz Wotawa, Markus Schurius |
| 2013 | COMPSAC | Using Dependency Relations to Improve Test Case Generation from UML Statecharts. | Valentin Chimisliu, Franz Wotawa |
| 2013 | FASE | On the Empirical Evaluation of Fault Localization Techniques for Spreadsheets. | Birgit Hofer, Andr Riboira, Franz Wotawa, Rui Abreu, Elisabeth Getzner |
| 2013 | IJCAI | The Route to Success - A Performance Comparison of Diagnosis Algorithms. | Iulia Nica, Ingo Pill, Thomas Quaritsch, Franz Wotawa |
| 2013 | ICSE | XSS pattern for attack modeling in testing. | Josip Bozic, Franz Wotawa |
| 2013 | ICSE | Functional SOA testing based on constraints. | Seema Jehan, Ingo Pill, Franz Wotawa |
| 2013 | ICSE | The dark side of SOA testing: Towards testing contemporary SOAs based on criticality metrics. | Philipp Leitner, Stefan Schulte, Schahram Dustdar, Ingo Pill, Marco Schulz, Franz Wotawa |
| 2013 | ICST | SOA Grey Box Testing - A Constraint-Based Approach. | Seema Jehan, Ingo Pill, Franz Wotawa |
| 2013 | ICST | Fifty Shades of Grey in SOA Testing. | Franz Wotawa, Marco Schulz, Ingo Pill, Seema Jehan, Philipp Leitner, Waldemar Hummer, Stefan Schulte, Philipp Hoenisch, Schahram Dustdar |
| 2013 | ISSRE | Mutation-based spreadsheet debugging. | Birgit Hofer, Franz Wotawa |
| 2012 | ECAI | Spectrum Enhanced Dynamic Slicing for better Fault Localization. | Birgit Hofer, Franz Wotawa |
| 2012 | ICSE | Category Partition Method and Satisfiability Modulo Theories for test case generation. | Valentin Chimisliu, Franz Wotawa |
| 2012 | ICST | Open Research Challenges of Localizing Faults in Programs Using Constraints. | Franz Wotawa |
| 2012 | ISSRE | Debugging Spreadsheets: A CSP-based Approach. | Rui Abreu, Andr Riboira, Franz Wotawa |
| 2012 | SOFSEM | The SiMoL Modeling Language for Simulation and (Re-)Configuration. | Iulia Nica, Franz Wotawa |
| 2011 | ICSE | Abstracting timing information in UML state charts via temporal ordering and LOTOS. | Valentin Chimisliu, Franz Wotawa |
| 2011 | ICST | An Abstract Operational Framework for Dependence Models in Software Debugging. | Bernhard Peischl, Franz Wotawa |
| 2011 | ICST | On the Use of Constraints in Dynamic Slicing for Program Debugging. | Franz Wotawa |
| 2011 | ISoLA | Adaptive Autonomous Systems - From the System's Architecture to Testing. | Franz Wotawa |
| 2010 | ESEM | Impact analysis of SCRs using single and multi-label machine learning classification. | Syed Nadeem Ahsan, Franz Wotawa |
| 2010 | ICAART | Combining Runtime Diagnosis and AI-planning in a Mobile Autonomous Robot to Achieve a Graceful Degradation after Software Failures. | Jrg Weber, Franz Wotawa |
| 2010 | ICSE | Automatically extracting mock object behavior from Design by Contract™ specification for test data generation. | Stefan J. Galler, Andreas Maller, Franz Wotawa |
| 2010 | ICST | When BDDs Fail: Conformance Testing with Symbolic Execution and SMT Solving. | Elisabeth Jbstl, Martin Weiglhofer, Bernhard K. Aichernig, Franz Wotawa |
| 2010 | ICST | Generating Distinguishing Tests Using the Minion Constraint Solver. | Franz Wotawa, Mihai Nica, Bernhard K. Aichernig |
| 2010 | SEFM | Synthesize It: From Design by Contract to Meaningful Test Input Data. | Stefan J. Galler, Martin Weiglhofer, Franz Wotawa |
| 2009 | CISIS | On the Use of Abduction as an Alternative to Decision Trees in Environmental Decision Support Systems. | Franz Wotawa |
| 2009 | COMPSAC | Asynchronous Input-Output Conformance Testing. | Martin Weiglhofer, Franz Wotawa |
| 2009 | ICSE | GUI Savvy End-to-End Testing with Smart Monkeys. | Birgit Hofer, Bernhard Peischl, Franz Wotawa |
| 2009 | ICSEA | Are There Language Specific Bug Patterns? Results Obtained from a Case Study Using Mozilla. | Syed Nadeem Ahsan, Javed Ferzund, Franz Wotawa |
| 2009 | ICSEA | Automatic Software Bug Triage System (BTS) Based on Latent Semantic Indexing and Support Vector Machine. | Syed Nadeem Ahsan, Javed Ferzund, Franz Wotawa |
| 2009 | SEKE | Program File Bug Fix Effort Estimation Using Machine Learning Methods for OSS. | Syed Nadeem Ahsan, Javed Ferzund, Franz Wotawa |
| 2009 | RoboCup | Concept Evaluation of a Reflex Inspired Ball Handling Device for Autonomous Soccer Robots. | Harald Altinger, Stefan J. Galler, Stephan Mhlbacher-Karrer, Gerald Steinbauer, Franz Wotawa, Hubert Zangl |
| 2009 | SEW | Automatic Classification of Software Change Request Using Multi-label Machine Learning Methods. | Syed Nadeem Ahsan, Javed Ferzund, Franz Wotawa |
| 2009 | TAP | Complementary Criteria for Testing Temporal Logic Properties. | Gordon Fraser, Franz Wotawa |
| 2008 | ECAI | From constraint representations of sequential code and program annotations to their use in debugging. | Mihai Nica, Franz Wotawa |
| 2008 | ECAI | Dependent Failures in Consistency-based Diagnosis. | Jrg Weber, Franz Wotawa |
| 2008 | ENASE | Random Vs. Scenario-based Vs. Fault-based Testing - An Industrial Evaluation of Formal Black-Box Testing Methods. | Martin Weiglhofer, Franz Wotawa |
| 2008 | ICSE | QR-Model Based Testing. | Harald Brandl, Gordon Fraser, Franz Wotawa |
| 2008 | ICSoft | Localizing Bugs in Programs - Or How to Use a Program's Constraint Representation for Software Debugging? | Franz Wotawa |
| 2008 | ICST | Ordering Coverage Goals in Model Checker Based Testing. | Gordon Fraser, Franz Wotawa |
| 2008 | SEKE | Coverage-based Testing Using Qualitative Reasoning Models. | Harald Brandl, Gordon Fraser, Franz Wotawa |
| 2008 | SEKE | Using Observer Automata to Select Test Cases for Test Purposes. | Gordon Fraser, Martin Weiglhofer, Franz Wotawa |
| 2008 | SEKE | A Constraint Model for Automated Deployment of Automotive Control Software. | Mihai Nica, Bernhard Peischl, Franz Wotawa |
| 2008 | SEKE | Bridging the Gap Between Slicing and Model-based Diagnosis. | Franz Wotawa |
| 2007 | FASE | Redundancy Based Test-Suite Reduction. | Gordon Fraser, Franz Wotawa |
| 2007 | GI | Creating Test-Cases Incrementally with Model-Checkers. | Gordon Fraser, Franz Wotawa |
| 2007 | GI | Executing Abstract Test Cases. | Bernhard Peischl, Martin Weiglhofer, Franz Wotawa |
| 2007 | IROS | Model-based fault diagnosis and reconfiguration of robot drives. | Mathias Brandsttter, Michael W. Hofbaur, Gerald Steinbauer, Franz Wotawa |
| 2007 | ICSEA | Test-Case Generation and Coverage Analysis for Nondeterministic Systems Using Model-Checkers. | Gordon Fraser, Franz Wotawa |
| 2007 | IDC | Collaboration of Intelligent, Autonomous Systems: Situation Aware Behavior Change. | Willibald Krenn, Franz Wotawa |
| 2007 | IDC | Converting Programs into Constraint Satisfaction Problems. | Franz Wotawa, Mihai Nica |
| 2007 | PPoPP | Fault detection in multi-threaded c++ server applications. | Arndt Mhlenfeld, Franz Wotawa |
| 2007 | SEFM | Protocol Conformance Testing a SIP Registrar: an Industrial Application of Formal Methods. | Bernhard K. Aichernig, Bernhard Peischl, Martin Weiglhofer, Franz Wotawa |
| 2006 | AAAI | A Causal Analysis Method for Concurrent Hybrid Automata. | Michael W. Hofbaur, Franz Wotawa |
| 2006 | FASE | Fundamentals of Debugging Using a Resolution Calculus. | Daniel Kb, Franz Wotawa |
| 2006 | ICSEA | Using Model-Checkers for Mutation-Based Test-Case Generation, Coverage Analysis and Specification Analysis. | Gordon Fraser, Franz Wotawa |
| 2005 | IJCAI | Detecting and locating faults in the control software of autonomous mobile robots. | Gerald Steinbauer, Franz Wotawa |
| 2005 | RoboCup | Real-Time Diagnosis and Repair of Faults of Robot Control Software. | Gerald Steinbauer, Martin Mrth, Franz Wotawa |
| 2004 | ECAI | Introducing Alias Information into Model-Based Debugging. | Daniel Kb, Franz Wotawa |
| 2004 | KI | Improving Fault Localization of Programs by Using Labeled Dependencies. | Rong Chen, Daniel Kb, Franz Wotawa |
| 2004 | RoboCup | Cooperative Planning and Plan Execution in Partially Observable Dynamic Domains. | Gordon Fraser, Franz Wotawa |
| 2003 | IJCAI | Coupling CSP Decomposition Methods and Diagnosis Algorithms for Tree-Structured Systems. | Markus Stumptner, Franz Wotawa |
| 2002 | ECAI | Combining hypertree, bicomp, and hinge decomposition. | Georg Gottlob, Martin Hutle, Franz Wotawa |
| 2002 | ECAI | Can AI help to improve debugging substantially? Debugging Experiences with Value-Based Models. | Wolfgang Mayer, Markus Stumptner, Dominik Wieland, Franz Wotawa |
| 2002 | ECAI | Towards an Integrated Debugging Environment. | Wolfgang Mayer, Markus Stumptner, Dominik Wieland, Franz Wotawa |
| 2001 | KI | DiKe - A Model-Based Diagnosis Kernel and Its Application. | Gerhard Fleischanderl, Thomas Havelka, Herwig Schreiner, Markus Stumptner, Franz Wotawa |
| 2001 | KI | Comparing Two Models for Software Debugging. | Markus Stumptner, Dominik Wieland, Franz Wotawa |
| 2000 | ECAI | Modeling Java Programs for Diagnosis. | Cristinel Mateis, Markus Stumptner, Franz Wotawa |
| 2000 | ICTAI | JADE - AI Support for Debugging Java Programs. | Cristinel Mateis, Markus Stumptner, Dominik Wieland, Franz Wotawa |
| 1999 | IJCAI | Debugging Functional Programs. | Markus Stumptner, Franz Wotawa |
| 1997 | IJCAI | Diagnosing Tree Structured Systems. | Markus Stumptner, Franz Wotawa |
| 1996 | ECAI | Model-Based Diagnosis of Hardware Designs. | Gerhard Friedrich, Markus Stumptner, Franz Wotawa |