Franz Wotawa

Q: What Schools Are Affiliated With Franz Wotawa

Franz Wotawa is affiliated with the following schools: TU Wien, Graz University of Technology, University of Vienna

Franz Wotawa's AcademicInfluence.com Rankings

Franz Wotawa

Computer Science

#9152

World Rank

#9617

Historical Rank

Automated Reasoning

#18

World Rank

#18

Historical Rank

Software Engineering

#244

World Rank

#248

Historical Rank

Machine Learning

#3939

World Rank

#3987

Historical Rank

computer-science Degrees

Download Badge

Computer Science

Franz Wotawa's Degrees

PhD Computer Science University of Vienna
Masters Computer Science University of Vienna
Bachelors Computer Science University of Vienna

Similar Degrees You Can Earn

Why Is Franz Wotawa Influential?

(Suggest an Edit or Addition)

(See a Problem?)

Franz Wotawa's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

A Survey on Software Fault Localization (2016) (710)
Testing with model checkers: a survey (2009) (229)
Model-Based Diagnosis of Hardware Designs (1999) (201)
A variant of Reiter's hitting-set algorithm (2001) (103)
On the relationship between model-based debugging and program slicing (2002) (92)
Diagnosing tree-structured systems (2001) (84)
Automatic Software Bug Triage System (BTS) Based on Latent Semantic Indexing and Support Vector Machine (2009) (77)
Model-Based Debugging or How to Diagnose Programs Automatically (2002) (76)
Redundancy Based Test-Suite Reduction (2007) (75)
Model-Based Diagnosis or Reasoning from First Principles (2003) (64)
Avoiding, finding and fixing spreadsheet errors - A survey of automated approaches for spreadsheet QA (2014) (63)
Debugging Functional Programs (1999) (59)
On the Empirical Evaluation of Fault Localization Techniques for Spreadsheets (2013) (59)
Detecting and locating faults in the control software of autonomous mobile robots (2005) (58)
Automated source-level error localization in hardware designs (2006) (55)
Model-Based Debugging of Java Programs (2000) (54)
Real-Time Diagnosis and Repair of Faults of Robot Control Software (2005) (53)
Modeling Java Programs for Diagnosis (2000) (51)
The Route to Success - A Performance Comparison of Diagnosis Algorithms (2013) (50)
Testing methods used in the automotive industry: results from a survey (2014) (48)
Ontology-based test generation for automated and autonomous driving functions (2020) (46)
From Neural Networks to Qualitative Models in Environmental Engineering (2002) (43)
Potential of Heterogeneity in Collective Behaviors: A Case Study on Heterogeneous Swarms (2015) (41)
Issues in using model checkers for test case generation (2009) (40)
On the empirical evaluation of similarity coefficients for spreadsheets fault localization (2014) (38)
Protocol Conformance Testing a SIP Registrar: an Industrial Application of Formal Methods (2007) (36)
Automated debugging based on a constraint model of the program and a test case (2012) (36)
Spectrum Enhanced Dynamic Slicing for better Fault Localization (2012) (36)
Using model-checkers to generate and analyze property relevant test-cases (2008) (35)
A Value-Based Diagnosis Model for Java Programs (2000) (35)
Model-Based Reconfiguration (1998) (35)
Fault detection in multi-threaded c++ server applications (2007) (34)
Using Constraints for Equivalent Mutant Detection (2012) (33)
Property relevant software testing with model-checkers (2006) (32)
Improving Robustness of Mobile Robots Using Model-based Reasoning (2007) (31)
A Survey of Intelligent Debugging (1998) (31)
Debugging Hardware Designs Using a Value-Based Model (2001) (30)
Mutant Minimization for Model-Checker Based Test-Case Generation (2007) (30)
Can AI help to improve debugging substantially? Debugging Experiences with Value-Based Models (2002) (30)
Using constraints to diagnose faulty spreadsheets (2015) (30)
Using Ontologies for Test Suites Generation for Automated and Autonomous Driving Functions (2018) (30)
Fault Localization Based on Dynamic Slicing and Hitting-Set Computation (2010) (29)
A model-based approach to software debugging (1996) (29)
Asynchronous Input-Output Conformance Testing (2009) (28)
Test-case prioritization with model-checkers (2007) (28)
Constraint-based Debugging of Spreadsheets (2012) (28)
Model-based fault diagnosis and reconfiguration of robot drives (2007) (28)
Debugging VHDL designs using model-based reasoning (2000) (28)
Chatbot Testing Using AI Planning (2019) (27)
Attack Pattern-Based Combinatorial Testing with Constraints for Web Security Testing (2015) (27)
Security Testing Based on Attack Patterns (2014) (26)
XSS pattern for attack modeling in testing (2013) (26)
A Novel Industry Grade Dataset for Fault Prediction Based on Model-Driven Developed Automotive Embedded Software (2015) (25)
On the use of mutations and testing for debugging (2013) (24)
Handling Model Changes: Regression Testing and Test-Suite Update with Model-Checkers (2007) (24)
Debugging of Java Programs using a model-based approach (1999) (24)
Genetic Algorithm-Based Test Parameter Optimization for ADAS System Testing (2019) (24)
Using LTL rewriting to improve the performance of model-checker based test-case generation (2007) (24)
Chatbot-based Tourist Recommendations Using Model-based Reasoning (2018) (24)
Using Model-Checkers for Mutation-Based Test-Case Generation, Coverage Analysis and Specification Analysis (2006) (23)
Fault-Based Conformance Testing in Practice (2009) (23)
Combining hypertree, bicomp, and hinge decomposition (2002) (23)
Finding Critical Scenarios for Automated Driving Systems: A Systematic Literature Review (2021) (22)
Model-Based Program Debugging and Repair (1996) (22)
Deriving qualitative rules from neural networks - a case study for ozone forecasting (2001) (22)
Attack pattern-based combinatorial testing (2014) (22)
Automatically extracting mock object behavior from Design by Contract#8482; specification for test data generation (2010) (22)
Test-Case Generation and Coverage Analysis for Nondeterministic Systems Using Model-Checkers (2007) (22)
On the Industrial Application of Combinatorial Testing for Autonomous Driving Functions (2019) (21)
Evaluation of the IPO-Family algorithms for test case generation in web security testing (2015) (21)
Local Maximum Ozone Concentration Prediction Using Soft Computing Methodologies (2003) (21)
Conformance Testing of Hybrid Systems with Qualitative Reasoning Models (2009) (20)
Towards an Integrated Debugging Environment (2002) (20)
On the Complexity of Program Debugging Using Constraints for Modeling the Program's Syntax and Semantics (2009) (20)
Improving Fault-based Conformance Testing (2008) (20)
ConDiag - Computing minimal diagnoses using a constraint solver (2012) (20)
On the Compilation of Programs into their Equivalent Constraint Representation (2008) (20)
The Right Choice Matters! SMT Solving Substantially Improves Model-Based Debugging of Spreadsheets (2013) (20)
A Teleo-Reactive Architecture for Fast, Reactive and Robust Control of Mobile Robots (2008) (20)
Introducing Alias Information into Model-Based Debugging (2004) (19)
SIMULTATE: A Toolset for Fault Injection and Mutation Testing of Simulink Models (2016) (19)
Generating Distinguishing Tests Using the Minion Constraint Solver (2010) (19)
Impact analysis of SCRs using single and multi-label machine learning classification (2010) (18)
GUI savvy end-to-end testing with smart monkeys (2009) (18)
Program File Bug Fix Effort Estimation Using Machine Learning Methods for OSS (2009) (17)
Robust Plan Execution Using Model-Based Reasoning (2009) (17)
From Conflicts to Diagnoses: An Empirical Evaluation of Minimal Hitting Set Algorithms (2011) (17)
Functional SOA testing based on constraints (2013) (17)
Failure Mode and Effect Analysis for Abductive Diagnosis (2014) (17)
Performance Comparison of Two Search-Based Testing Strategies for ADAS System Validation (2019) (16)
Improving Test Case Generation from UML Statecharts by Using Control, Data and Communication Dependencies (2013) (16)
Local Maximum Ozone Concentration Prediction Using Neural Networks (1999) (16)
FSTaxis Algorithm: Bio-Inspired Emergent Gradient Taxis (2016) (16)
Model-Based Reasoning for Self-Adaptive Systems - Theory and Practice (2013) (16)
Coupling CSP Decomposition Methods and Diagnosis Algorithms for Tree-Structured Systems (2003) (16)
Verification and Fault Localization for VHDL Programs (2002) (15)
VHDLDIAG+: Value-level Diagnosis of VHDL Programs (1998) (15)
Locating Bugs in Java Programs - First Results of the Java Diagnosis Experiment Project (2000) (15)
Environmental decision support systems based on models and model-based reasoning (2010) (15)
Applying Model-Based Diagnosis to Software Debugging of Concurrent and Sequential Imperative Programming Languages (1996) (15)
Does Testing Help to Reduce the Number of Potentially Faulty Statements in Debugging? (2010) (15)
Performance tuning for automotive Software Fault Prediction (2017) (15)
Diagnosis and repair of dependent failures in the control system of a mobile autonomous robot (2012) (15)
Cooperative Planning and Plan Execution in Partially Observable Dynamic Domains (2004) (15)
Testing Autonomous and Highly Configurable Systems: Challenges and Feasible Solutions (2017) (14)
When BDDs Fail: Conformance Testing with Symbolic Execution and SMT Solving (2010) (14)
Combining Slicing and Constraint Solving for Better Debugging: The CONBAS Approach (2012) (14)
PURITY: A Planning-based secURITY Testing Tool (2015) (14)
Reasoning from First Principles for Self-adaptive and Autonomous Systems (2019) (14)
Fundamentals of Debugging Using a Resolution Calculus (2006) (14)
Quality assurance methodologies for automated driving (2018) (14)
SOA Grey Box Testing -- A Constraint-Based Approach (2013) (13)
Security Testing for Chatbots (2018) (13)
Testing TLS using planning-based combinatorial methods and execution framework (2018) (13)
Why Does my Spreadsheet Compute Wrong Values? (2014) (13)
Testing Chatbots Using Metamorphic Relations (2019) (13)
How to debug sequential code by means of constraint representation (2008) (13)
Using coverage to automate and improve test purpose based testing (2009) (13)
Plan Execution in Dynamic Environments (2005) (13)
Towards Automated Online Diagnosis of Robot Navigation Software (2008) (12)
Fault Prediction Capability of Program File's Logical-Coupling Metrics (2011) (12)
Coverage Based Testing with Test Purposes (2008) (12)
Analysing Bug Prediction Capabilities of Static Code Metrics in Open Source Software (2008) (12)
Java's alternatives and the limitations of Java when writing cross-platform applications for mobile devices in the medical domain (2009) (12)
Nondeterministic Testing with Linear Model-Checker Counterexamples (2007) (12)
Comparing Two Models for Software Debugging (2001) (12)
On the fly input output conformance verification (2008) (12)
From Ontologies to Input Models for Combinatorial Testing (2018) (12)
Reconfiguration using model-based diagnosis (1999) (12)
On the Use of Abduction as an Alternative to Decision Trees in Environmental Decision Support Systems (2009) (12)
Adaptive Autonomous Systems - From the System's Architecture to Testing (2011) (12)
Model based test case generation for distributed embedded systems (2012) (12)
Empirical Evaluation of Hunk Metrics as Bug Predictors (2009) (12)
An Abductive Diagnosis and Modeling Concept for Wind Power Plants (2015) (11)
Fifty Shades of Grey in SOA Testing (2013) (11)
Test purpose generation in an industrial application (2007) (10)
AI for the win (2012) (10)
Is Mutation Testing Scalable for Real-World Software Projects? (2011) (10)
Ordering Coverage Goals in Model Checker Based Testing (2008) (10)
Application of Qualitative Reasoning to Robotic Soccer (2004) (10)
Investigating the Effectiveness of Mutation Testing Tools in the Context of Deep Neural Networks (2019) (10)
Automated generation of (F)LTL oracles for testing and debugging (2018) (10)
On Error-Class Distribution in Automotive Model-Based Software (2016) (10)
A Modular Architecture for a Multi-purpose Mobile Robot (2004) (10)
DiKe - a model-based diagnosis kernel and its application (2001) (10)
Debugging Program Exceptions (2003) (9)
Automatic Classification of Software Change Request Using Multi-label Machine Learning Methods (2009) (9)
Debugging VHDL Designs: Introducing Multiple Models and First Empirical Results (2004) (9)
New Directions in Debugging Hardware Designs (1999) (9)
Testing Self-Adaptive Systems Using Fault Injection and Combinatorial Testing (2016) (9)
EqMutDetect — A tool for equivalent mutant detection in embedded systems (2012) (9)
Debugging Spreadsheets: A CSP-based Approach (2012) (9)
SOA Testing via Random Paths in BPEL Models (2014) (9)
Debugging synthesizeable VHDL Programs (1999) (9)
Using Dependency Relations to Improve Test Case Generation from UML Statecharts (2013) (9)
Error traces in model-based debugging of hardware description languages (2005) (9)
A comparison of fault explanation and localization (2005) (9)
Observation sand Results Gained from the Jade Project (2002) (9)
Plan It! Automated Security Testing Based on Planning (2014) (9)
Abductive Reasoning in Environmental Decision Support Systems (2009) (9)
Model-based Testing - From Safety to Security (2012) (9)
Combining Models for Improved Fault Localization in Spreadsheets (2017) (9)
Software change classification using hunk metrics (2009) (8)
Test-Suite Reduction Does Not Necessarily Require Executing the Program under Test (2016) (8)
Planning-based security testing of web applications with attack grammars (2020) (8)
Using Model-Based Reasoning for Locating Faults in VHDL Designs (2000) (8)
Abstracting timing information in UML state charts via temporal ordering and LOTOS (2011) (8)
Kapsch: Reconfiguration of Mobile Phone Networks (2014) (8)
AIana: an AI planning system for test data generation (2010) (8)
Fully Automated Compiler Testing of a Reasoning Engine via Mutated Grammar Fuzzing (2019) (8)
On the Relationship between Model-based Debugging and Program Mutation (2001) (8)
Bridging the Gap Between Slicing and Model-based Diagnosis (2008) (8)
On the Refinement of Spreadsheet Smells by means of Structure Information (2018) (8)
Complementary Criteria for Testing Temporal Logic Properties (2009) (8)
Using Tri-Relation Networks for Effective Software Fault-Proneness Prediction (2019) (8)
A Model for Bio-Inspired Underwater Swarm Robotic Exploration (2018) (7)
Modeling State in Software Debugging of VHDL-RTL Designs - A Model-Based Diagnosis Approach (2003) (7)
On the order of test goals in specification-based testing (2009) (7)
A Model-Based Tool for Finding Faults in Hardware Designs (1996) (7)
Improving Model-Checkers for Software Testing (2007) (7)
Finding Explanations: an Empirical Evaluation of Abductive Diagnosis Algorithms (2015) (7)
Planning-Based Security Testing of Web Applications (2018) (7)
Diagnosing Dependent Failures in the Hardware and Software of Mobile Autonomous Robots (2007) (7)
On the Automation of Security Testing (2016) (7)
Model-based reasoning (1999) (7)
A decomposition-based approach to spreadsheet testing and debugging (2017) (7)
From the real-world to its qualitative representation -- Practical lessons learned (2005) (7)
Planning-Based Security Testing of the SSL/TLS Protocol (2017) (7)
CIMAX: collective information maximization in robotic swarms using local communication (2019) (7)
Planning the Attack! Or How to use AI in Security Testing? (2017) (7)
Runtime Fault Detection and Localization in Component-oriented Software Systems (2006) (7)
Qr-model based testing (2008) (7)
Fuzzy inductive reasoning for the prediction of maximum ozone concentration (2001) (7)
Debugging and test case generation using constraints and mutations (2011) (7)
Finding Critical Scenarios for Automated Driving Systems: A Systematic Mapping Study (2023) (6)
Detecting Equivalent Mutants by Means of Constraint Systems (2011) (6)
On classification and modeling issues in distributed model-based diagnosis (2013) (6)
Automated Debugging of Verilog Designs (2012) (6)
A Formal TLS Handshake Model in LNT (2018) (6)
AI for Localizing Faults in Spreadsheets (2017) (6)
An introduction to model-based systems (2007) (6)
A swarm design paradigm unifying swarm behaviors using minimalistic communication (2020) (6)
Coverage-based Testing Using Qualitative Reasoning Models (2008) (6)
Efficient Model-Based Diagnosis of Sequential Circuits (2020) (6)
Novel Insights on Cross Project Fault Prediction Applied to Automotive Software (2015) (6)
An adaptive system for autonomous driving (2018) (6)
Compositional Random Testing Using Extended Symbolic Transition Systems (2011) (6)
SAT-Based Abductive Diagnosis (2015) (6)
Mutation Score, Coverage, Model Inference: Quality Assessment for T-Way Combinatorial Test-Suites (2017) (5)
Using Spectrum-Based Fault Localization for Test Case Grouping (2009) (5)
Testing Diagnostics Components Supervising Functional Safety Requirements (2015) (5)
Quantification and Analysis of the Resilience of Two Swarm Intelligent Algorithms (2017) (5)
Improving Spectrum-Based Fault Localization for Spreadsheet Debugging (2017) (5)
Using AI Techniques for Fault Localization in Component-Oriented Software Systems (2006) (5)
Static Spreadsheet Analysis (2016) (5)
Testing TLS Using Combinatorial Methods and Execution Framework (2017) (5)
Testing Software and Systems (2016) (5)
Empirical Study of Correlation between Mutation Score and Model Inference Based Test Suite Adequacy Assessment (2016) (5)
Creating Test-Cases Incrementally with Model-Checkers (2007) (5)
Knowledge Extraction from C-Code (2007) (5)
Testing Configuration Knowledge-Bases (2014) (5)
Synthesize It: From Design by Contract to Meaningful Test Input Data (2010) (5)
Adapting Unit Tests by Generating Combinatorial Test Data (2018) (5)
Fragment-based spreadsheet debugging (2018) (5)
Using Multiple Models for Debugging VHDL Designs (2001) (5)
Combining Combinatorial Testing and Metamorphic Testing for Testing a Logic-Based Non-monotonic Reasoning System (2018) (5)
Mutation-based spreadsheet debugging (2013) (5)
A Causal Analysis Method for Concurrent Hybrid Automata (2006) (5)
On the Importance of System Testing for Assuring Safety of AI Systems (2019) (5)
Model-Based Diagnosis Meets Combinatorial Testing For Generating an Abductive Diagnosis Model (2018) (5)
Category Partition Method and Satisfiability Modulo Theories for test case generation (2012) (5)
Improving Coverage Based Test Purposes (2009) (5)
Mining effort data from the OSS repository of developer's bug fix activity (2016) (5)
Debugging VHDL Designs Using Temporal Process Instances (2003) (4)
Maintaining Constraint-based Configuration Systems: Challenges ahead (2015) (4)
Random Vs. Scenario-based Vs. Fault-based Testing - An Industrial Evaluation of Formal Black-Box Testing Methods (2008) (4)
A Constraint Model for Automated Deployment of Automotive Control Software (2008) (4)
Automatic Generation of Challenging Road Networks for ALKS Testing based on Bezier Curves and Search (2021) (4)
JADE - AI Support for Debugging Java Programs (2000) (4)
Exploiting Observations from Combinatorial Testing for Diagnostic Reasoning (2019) (4)
Intelligent, Fault Adaptive Control of Autonomous Systems (2009) (4)
Exploiting Static Abstraction of Data Structures for Debugging (2004) (4)
Guest - Editorial Special Issue on Industrial Applications of Model-based Reasoning (2000) (4)
Robust Intelligent Control of Mobile Robots (2009) (4)
Metric-Based Fault Prediction for Spreadsheets (2021) (4)
A goal-question-metrics model for configuration knowledge bases (2015) (4)
From constraint representations of sequential code and program annotations to their use in debugging (2008) (4)
The dark side of SOA testing: Towards testing contemporary SOAs based on criticality metrics (2013) (4)
On the Use of Answer Set Programming for Model-Based Diagnosis (2020) (4)
Model-based diagnosis of hardware description languages (1996) (4)
SiMoL - A Modeling Language for Simulation and (Re-)Configuration (2012) (4)
Abductive Diagnosis based on Modelica Models (2016) (4)
Testing for Distinguishing Repair Candidates in Spreadsheets - the Mussco Approach (2015) (4)
Intelligent engineering techniques for knowledge bases (2013) (4)
Debugging With an Enriched Dependency-based Model or How to Distinguish Between Aliasing and Value Assignment (2003) (4)
AD 2 L-A Programming Language for Model-Based Systems ( Preliminary Report ) (2000) (4)
A Database for the Analysis of Program Change Patterns (2008) (4)
Are There Language Specific Bug Patterns? Results Obtained from a Case Study Using Mozilla (2009) (4)
Advances in Automated Source-Level Debugging of Verilog Designs (2008) (4)
Test Case Generation from QR Models (2008) (4)
On Using k-means Clustering for Test Suite Reduction (2020) (4)
Analysing Models for Software Debugging (2001) (4)
On the Way to Automated Belief Repair for Autonomous Robots (2010) (4)
Weighted Combinatorial Sequence Testing for the TLS Protocol (2019) (4)
Challenges of Distributed Model-Based Diagnosis (2010) (4)
On the Evaluation and Certification of the Robustness of Autonomous Intelligent Systems (2011) (4)
Intelligent Agents Diagnostics—Enhancing Cyber‐Physical Systems with Self‐Diagnostic Capabilities (2021) (4)
Program Debugging Using Constraints -- Is it Feasible? (2011) (4)
Enhancing Plan Execution in Dynamic Domains Using Model-Based Reasoning (2008) (4)
On the use of qualitative deviation models for diagnosis (2016) (4)
On Structural Properties to Improve FMEA-Based Abductive Diagnosis (2016) (3)
Industrial applications of model-based reasoning (2000) (3)
Formal Verification of Control Software: A Case Study (2005) (3)
Fragment-Based Diagnosis of Spreadsheets (2016) (3)
Program File Bug Fix Effort Estimation Using Machine Learning Methods for Open Source Software Projects IST-TR-2009-04-24 (2009) (3)
Executing Abstract Test Cases (2007) (3)
Model-Based Diagnosis in Practice: Interaction Design of an Integrated Diagnosis Application for Industrial Wind Turbines (2017) (3)
Diagnosing Program Errors with Light-Weighted Specifications (2006) (3)
Faster horn diagnosis - a performance comparison of abductive reasoning algorithms (2020) (3)
Reducing the Size of Dynamic Slicing with Constraint Solving (2012) (3)
A Practical Approach for the Online Diagnosis of Industrial Transportation Systems (2009) (3)
Extended Abstract - Model-Based Debugging of Java Programs (2000) (3)
BPEL Integration Testing (2015) (3)
Combining Spreadsheet Smells for Improved Fault Prediction (2018) (3)
AI Support for Debugging Java Programs (2000) (3)
Spectrum-Based Fault Localization for Logic-Based Reasoning (2018) (3)
A Rule-Based Smart Control for Fail-Operational Systems (2019) (3)
Test case generation in practice for communicating embedded systems (2011) (3)
swarmFSTaxis: Borrowing a Swarm Communication Mechanism from Fireflies and Slime Mold (2019) (3)
Fault Localization Based on Abstract Dependencies (2005) (3)
Using Model-Based Reasoning for Self-Adaptive Control of Smart Battery Systems (2020) (3)
Using abstract dependencies in debugging ∗ (3)
On the Computational Feasibility of Abductive Diagnosis for Practical Applications (2015) (3)
Comparing two systematic approaches for testing automated driving functions (2019) (3)
Spreadsheet debugging: The perils of tool over-reliance (2021) (3)
On Using an I/O Model for Creating an Abductive Diagnosis Model via Combinatorial Exploration, Fault Injection, and Simulation (2018) (3)
Detect and Localize Faults in Alias-Free Programs Using Specification Knowledge (2009) (3)
A Diagnosis-Based Causal Analysis Method for Concurrent Hybrid Automata (2005) (3)
iCone: Intelligent Environment for the Development and Maintenance of Configuration Knowledge Bases (2015) (3)
Towards swarm level optimisation: the role of different movement patterns in swarm systems (2019) (3)
On the use of Specification Knowledge in Program Debugging (2009) (3)
Using Modelica Programs for Deriving Propositional Horn Clause Abduction Problems (2016) (3)
Employing Test Suites for Verilog Fault Localization (2009) (3)
Towards Lightweight Fault Localization in Procedural Programs (2006) (3)
Analysis Methods in the Development Process of Mechatronic Drivetrain Systems with Special Focus on Automotive Software (2015) (2)
Exploiting alias information to fault localization for java programs (2004) (2)
Detecting and Locating Faults in Hardware Designs (1999) (2)
Intelligent supporting techniques for the maintenance of constraint-based configuration systems (2015) (2)
On the Use of Constraints in Dynamic Slicing for Program Debugging (2011) (2)
Model-Based Reasoning with Multiple Test Cases and its Application to Debugging (2008) (2)
Improving Abductive Diagnosis Through Structural Features: A Meta-Approach (2016) (2)
Functional Diagnosis of a SOA's BPEL Processes (2014) (2)
Non-monotonic Reasoning in Artificial Intelligence (2010) (2)
Jade - java diagnosis experiments - status and outlook (1999) (2)
Retaining Consistency in Temporal Knowledge Bases (2006) (2)
Lightweight Fault Localization with Abstract Dependences (2006) (2)
An Environment and Language for Industrial Use of Model-based Diagnosis (2000) (2)
Analysing Experimental Results Obtained when Applying Search-based Testing to Verify Automated Driving Functions (2021) (2)
Ontology-driven Security Testing of Web Applications (2020) (2)
Wind Turbine Fault Localization: A Practical Application of Model-Based Diagnosis (2018) (2)
Intelligent Techniques for the maintenance of constraint-based configuration systems (2015) (2)
Evolutionary propositionalization of multi-relational data (2018) (2)
MODEL-BASED REASONING FOR FAULT-TOLERANT ROBOT HARDWARE AND SOFTWARE (2007) (2)
A Report on QR-Based Testing (2008) (2)
Configuring Collaboration of Software Modules at Runtime (2007) (2)
Using Observer Automata to Select Test Cases for Test Purposes (2008) (2)
Extracting information from driving data using k-means clustering (S) (2021) (2)
Applying algorithm selection to abductive diagnostic reasoning (2018) (2)
Generation of Relevant Spreadsheet Repair Candidates (2014) (2)
On the Application of Clustering for Extracting Driving Scenarios from Vehicle Data (2022) (2)
Product metrics for spreadsheets - A systematic review (2021) (2)
Increasing Diversity in Coverage Test Suites Using Model Checking (2009) (2)
CatIO - A Framework for Model-Based Diagnosis of Cyber-Physical Systems (2020) (2)
Proceedings of the 13th International Workshop on Principles of Diagnosis DX-02 (2002) (2)
Ontology-based Testing: An Emerging Paradigm for Modeling and Testing Systems and Software (2020) (2)
On the Practical Performance of Minimal Hitting Set Algorithms from a Diagnostic Perspective (2020) (2)
Machine Learning for Water Supply Supervision (2020) (2)
Evolutionary Propositionalization of Multi-Relational Data - Research Notes (2018) (2)
Fault Localization in the Light of Faulty User Input (2015) (2)
WFCOMP and VHDLDIAG: Two Tools for Utilizing the Hardware Design Cycle (1995) (2)
On the Superiority of Conflict-Driven Search in MUS Enumeration (2018) (2)
Parse tree structure in LTL requirements diagnosis (2015) (2)
Concept Evaluation of a Reflex Inspired Ball Handling Device for Autonomous Soccer Robots (2009) (2)
Software Testing: According to Plan! (2019) (2)
Diagnosing Dependent Failures – an Extension of Consistency-based Diagnosis ∗ (2007) (2)
Mutation Testing for Artificial Neural Networks: An Empirical Evaluation (2020) (2)
Classifying Test Suite Effectiveness via Model Inference and ROBBDs (2016) (2)
AI-planning in a mobile autonomous robot with degraded software capabilities (2007) (2)
A Functional Dependency Model for Java Programs (1999) (2)
On the Effects of Data Sampling for Deep Learning on Highly Imbalanced Data from SCADA Power Grid Substation Networks for Intrusion Detection (2021) (2)
Combining Runtime Diagnosis and AI-planning in a Mobile Autonomous Robot to Achieve a Graceful Degradation after Software Failures (2010) (2)
From Sketch to Plan (2010) (2)
Results of a Comparative Study of Code Coverage Tools in Computer Vision (2017) (2)
Dependent Failures in Consistency-based Diagnosis (2008) (2)
The Design Diagnosis of VHDL Specificiations Project (DDV) - Fault Localization in Hardware Designs (1999) (1)
Thirteenth International Workshop on Principles of Diagnosis (DX-2002) (2002) (1)
Testing anticipatory systems: A systematic mapping study on the state of the art (2022) (1)
An Abstract Operational Framework for Dependence Models in Software Debugging (2011) (1)
Towards more efficient modeling and simulation of Large-scale Thermal Energy Storages in future Local and District Energy Systems (2021) (1)
KI 2016: Advances in Artificial Intelligence (2016) (1)
E CAI 2010 Workshop on Intelligent Engineering Techniques for Knowledge Bases (IKBET) (2010) (1)
Model-based Diagnosis in Manufacturing (2000) (1)
Analyse und Algorithmen von fokusierten Assumption Based Truth Maintenance Systemen (1994) (1)
Artificial Intelligence Methods for Software Debugging (2021) (1)
Test Patterns for Verilog Design Error Localization (2009) (1)
Constraint-based configuration of embedded automotive software (2010) (1)
Using Model-based Reasoning for Generating Explanations from Environmental Models (2004) (1)
Recent Verification and Validation Methodologies for Advanced Driver-Assistance Systems (2021) (1)
An Automated (F) LTL Test Oracle for Testing with Requirements (2016) (1)
Using formal methods for ensuring quality requirements of systems (2007) (1)
Intelligent, Fault Tolerant Control for Autonomous Systems (2007) (1)
A Generative Constraint Model for Optimizing Software Deployment (2008) (1)
An Object Store Model for Diagnosing Java Programs (2005) (1)
GABezier at the SBST 2021 Tool Competition (2021) (1)
Crucial Tool Features for Successful Combinatorial Input Parameter Testing in an Industrial Application (2019) (1)
Qualitative deviation models vs. quantitative models for fault localization in spreadsheets (2017) (1)
An adaptive system for autonomous driving (2020) (1)
Using Model-Based Reasoning for Enhanced Chatbot Communication (2019) (1)
A framework for the automation of testing computer vision systems (2021) (1)
From Theory to Practice: Model-Based Diagnosis in Industrial Applications (2015) (1)
Mbd research activities at vienna university of technology (1998) (1)
Model-Based Reasoning for Self-Repair of Autonomous Mobile Robots (2007) (1)
An Approach to Automatically Extract Predictive Properties from Nominal Attributes in Relational Databases (2018) (1)
Quality assurance methodologies for automated driving (2018) (1)
(Re-)configuration of Communication Networks in the Context of M2M (2013) (1)
Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), 10-14 September 2007, London, England, UK (2007) (1)
Model-based diagnosis and manufacturing control (2000) (1)
Using LNT Formal Descriptions for Model-Based Diagnosis (2018) (1)
Bug-Inducing Language Constructs (2009) (1)
Generating test-cases from qualitative knowledge - Preliminary report (2007) (1)
Collective Event Detection Using Bio-inspired Minimalistic Communication in a Swarm of Underwater Robots (2019) (1)
Testing TLS using planning-based combinatorial methods and execution framework (2018) (1)
Plan Description and Execution with Invariants The Planning System of the RoboCup Team “ Mostly Harmless ” (1)
Model-based reasoning using answer set programming (2022) (1)
Real-Time Predictive Maintenance – Artificial Neural Network Based Diagnosis (2021) (1)
Exploring object relations for automated fault localization (2005) (1)
Combining Quantitative and Qualitative Models with Active Observations for better Diagnoses of Autonomous Mobile Robots (2007) (1)
Introduction to WOSPP: Wave Oriented Swarm Programming Paradigm (2018) (1)
Advances and Trends in Artificial Intelligence. From Theory to Practice: 32nd International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2019, Graz, Austria, July 9–11, 2019, Proceedings (2019) (1)
Conversational Recommendations Utilizing Model-based Reasoning (2019) (1)
Software Configuration Diagnosis - A Survey of Existing Methods and Open Challenges (2018) (1)
Exploiting Structural Metrics in FMEA-Based Abductive Diagnosis. (2016) (1)
Fault Detection and Localization Using Modelica and Abductive Reasoning (2018) (1)
Towards a Model for Automated Fault Localization in VHDL Designs : Exploring Counterexample-Traces Using a Model-Based Diagnosis Approach (2004) (1)
Runtime race detection for multi-threaded C++ server applications (2007) (1)
Analyzing the reduction of test suite redundancy (2015) (1)
Conflict Management for Constraint-based Recommendation (2015) (1)
Evaluating the Robustness of the Perception-Decision-Execution Cycle of Autonomous Robots (2011) (1)
On the Use of Available Testing Methods for Verification & Validation of AI-based Software and Systems (2021) (1)
Quality Assurance for Self-Adaptive, Self-Organising Systems (Message from the Workshop Organisers) (2014) (1)
FSTaxis Algorithm : Bio-Inspired Emergent Gradient Taxis Conference (2016) (1)
Are Error Traces Enough for Automated Fault Localization in VHDL Designs? (2004) (1)
Towards a framework for mobile diagnosis agents (1999) (1)
Diagnosing dependent failures in the context of consistency-based diagnosis (2008) (1)
Monitoring Hierarchical Systems for Safety Assurance (2021) (1)
AI-based Spreadsheet Debugging (2021) (1)
Integration of Failure Assessments into the Diagnostic Process (2016) (1)
Faster horn diagnosis - a performance comparison of abductive reasoning algorithms (2020) (1)
Retaining Consistency for Knowledge-Based Security Testing (2014) (1)
Deriving Qualitative Rules from Neural Networks in Environmental Science – Preliminary Report (2000) (1)
Qualitative Deviation Models for Spreadsheet Debugging (2017) (1)
Checked Coverage for Test Suite Reduction – Is It Worth the Effort? (2022) (0)
Intelligent-Systems for Engineering Environmental Knowledge 2009 (i-SEEK 2009) (2009) (0)
Diagnosis of Technical Systems (2015) (0)
Rule-Set Extraction from C-Code (2009) (0)
On the empirical evaluation of similarity coefficients for spreadsheets fault localization (2014) (0)
The Future of Automated Debugging — Focus on the Niches First (2017) (0)
Guest editorial: Binding Environmental Sciences and Artificial Intelligence (2003) (0)
A Communication Language and the Design of a Diagnosis Agent - Towards a Framework for Mobile Diagnosis Agents (1999) (0)
Model-based Diagnosis in Manufacturing 1 (2007) (0)
Diagnosis as a Service (2018) (0)
Java2CSP - A Model-Based Diagnosis Tool Not Only for Software Debugging (2021) (0)
Applying algorithm selection to abductive diagnostic reasoning (2018) (0)
COMPETENCENETWORK SOFTNET AUSTRIA Testing with model checkers: A survey (2007) (0)
(Still) open research questions to be solved in the context of smart autonomous systems – Extended abstract (2011) (0)
An empirical comparison of combinatorial testing and search-based testing in the context of automated and autonomous driving systems (2023) (0)
The Future of Automated Debugging - Focus on the Niches First (2017) (0)
Intelligent Behavior Utilizing Light-weight Diagnosis (2021) (0)
Local Maximum OzoneConcentration Prediction UsingNeural Networks (1999) (0)
Measurements of macroscopic and microscopic Riblet defects and their impact on performance (2022) (0)
Message from the QRS 2016 General Chair (2016) (0)
Guest Editorial for the Special Issue on Model‐Based Testing (2012) (0)
The IntiSa Approach: Test Input Data Generation for Non-primitive Data Types by Means of SMT Solver Based Bounded Model Checking (2011) (0)
Tool-supported fault localization in spreadsheets: Limitations of current research practice (2014) (0)
Diagnosis and repair of dependent failures in the control system of a mobile autonomous robot (2008) (0)
1.4 Foundations of Real Time Predictive Maintenance with Root Cause Analysis (2021) (0)
Model-Based Reasoning (Guest Editor's Introduction) (1999) (0)
Guest Editorial for the Special Issue on Model‐Based Testing (2012) (0)
Focused Diagnosis for Failing Software Tests (2015) (0)
Lightweight debugging techniques (2005) (0)
Comparing and improving dependency-based models for fault localization in spreadsheets (2014) (0)
Java2CSP : A tool for compiling Java programs into constraints for automated fault localization (2020) (0)
Reconfiguration of Mobile Phone Networks (2013) (0)
A "Strength of Decision Tree Equivalence"-Taxonomy and Its Impact on Test Suite Reduction (2017) (0)
Diagnosing Sequential Circuits as Boolean Satisfaction (2019) (0)
Constraint-Based Debugging Combining Mutations and Distinguishing Test Cases (2011) (0)
On Exploiting Passing and Failing Test Cases in Debugging Hardware Description Languages (2014) (0)
1.5 Real-Time Predictive Maintenance – Model-Based, Simulation-Based and Machine Learning Based Diagnosis (2021) (0)
COUPLING CSP DECOMPOSITION AND DIAGNOSIS FOR TREE-STRUCTURED SYSTEMS (0)
Drawing on SFL for Making Intelligent Decisions in RBL (2020) (0)
On the Application of Machine Learning in Software Testing (2021) (0)
Automated Diagnosis of Cyber-Physical Systems (2021) (0)
FSTT Algorithm: Can Tides Assist Bio-Inspired Gradient Taxis? (2016) (0)
Boosting Spectrum-Based Fault Localization for Spreadsheets with Product Metrics in a Learning Approach (2022) (0)
Conversational recommendations using model-based reasoning (2019) (0)
Diagnosing Java Programs with Static Abstractions of Data Structures (2004) (0)
Environmental Decision Support Systems (Workshop IJCAI-03) (2003) (0)
Proceedings of the ECAI'2010 Workshop on Intelligent Engineering Techniques for Knowledge Bases (2010) (0)
Explaining Object Motion Using Answer Set Programming (2020) (0)
The Java2CSP Debugging Tool Utilizing Constraint Solving and Model-Based Diagnosis Principles (2022) (0)
Localizing Bugs in Programs - Or How to Use a Program's Constraint Representation for Software Debugging? (2008) (0)
Industrial Applications of Model-based Reasoning - Guest Editorial (2000) (0)
On the Automation of Audio Plugin Testing* (2021) (0)
On Using Ontologies for Testing Compilers (2020) (0)
Binding Environmental Sciences and Artificial Intelligence: Guest Editorial (2003) (0)
Using constraints to diagnose faulty spreadsheets (2014) (0)
Improving Fault Localization of Programs by Using Labeled Dependencies (2004) (0)
Extracting Temporal Models from Data Episodes (2022) (0)
Guest Editorial Special Issue: Intelligent Engineering Techniques for Knowledge Bases (2013) (0)
Converting Programs into Constraint Satisfaction Problems (2007) (0)
Comining Quantitative and Qualitative Models with Active Observtions to Improve Diagnosis of Complex Systems (2009) (0)
Interrogating Virtual Agents: In Quest of Security Vulnerabilities (2020) (0)
Constraint Satisfaction Problems for Modeling and Explanation in Sustainability Science (2007) (0)
Testing Photometric Stereo Applications (2022) (0)
Challenges of testing self-adaptive systems (2022) (0)
A Passive Testing Approach using a Semi-Supervised Intrusion Detection Model for SCADA Network Traffic (2022) (0)
Collaboration of Intelligent, Autonomous Systems: Situation Aware Behavior Change (2007) (0)
Automated Learning of Communication Models for Robot Control Software (2008) (0)
DDMin versus QuickXplain - An Experimental Comparison of two Algorithms for Minimizing Collections (2022) (0)
Controlling Swarms: A Programming Paradigm with Minimalistic Communication (2018) (0)
Editorial “special issue on artificial intelligence in practice – from theory to application” (2022) (0)
Explaining Software Fault Predictions to Spreadsheet Users (2023) (0)
Extending Automated FLTL Test Oracles with Diagnostic Support (2019) (0)
Conditional slicing: Reducing dynamic slices (2015) (0)
Metamorphic Testing of Logic Theorem Prover (2021) (0)
Editorial “special issue on artificial intelligence in practice – from theory to application” (2022) (0)
Pursuing Intelligent Behavior in Cyber−Physical Systems by Lightweight Diagnosis (2021) (0)
Current Approaches in Applied Artificial Intelligence: The 2019 IEA/AIE Conference The IEA/AIE 2019 Conference (2019) (0)
Mostly Harmless: Team Description Paper 2009 (2009) (0)
Binding Environmental Sciences and Artificial Intelligence (2005) (0)
Open Research Challenges of Localizing Faults in Programs Using Constraints (2012) (0)
Planning-based security testing of web applications with attack grammars (2020) (0)
Maintaining constraint-based systems: challenges ahead (2015) (0)
Comparing Models for Spreadsheet Fault Localization (2014) (0)
Understanding and Isolating Data Structure Errors of Java Programs (2005) (0)
Using genetic algorithms for automating automated lane‐keeping system testing (2022) (0)
On the Automation of Testing a Logic-Based Diagnosis System (2018) (0)
Testing computer vision applications an experience report on introducing code coverage analysis in the field (2016) (0)
Using distinguishing tests to reduce the number of fault candidates (2010) (0)

This paper list is powered by the following services:

What Schools Are Affiliated With Franz Wotawa?

Franz Wotawa is affiliated with the following schools:

Franz Wotawa's Academic­Influence.com Rankings

Franz Wotawa's Degrees

Similar Degrees You Can Earn

Why Is Franz Wotawa Influential?

Franz Wotawa's Published Works

Published Works

What Schools Are Affiliated With Franz Wotawa?

Franz Wotawa's AcademicInfluence.com Rankings