Franz Wotawa

Proceedings of the 10th International Conference on Dependable Systems and Their Applications, 2023

Optimizing Named Entity Recognition for Improving Logical Formulae Abstraction from Technical Requirements Documents.

[BibT_eX]

[DOI]

Alexander Perko

Haoran Zhao

Proceedings of the 10th International Conference on Dependable Systems and Their Applications, 2023

Analysing Residual Risks when Introducing Monitoring and Diagnosis into Systems.

[BibT_eX]

[DOI]

Thomas Hirsch

Proceedings of the 10th International Conference on Dependable Systems and Their Applications, 2023

Towards a Review on Simulated ADAS/AD Testing.

[BibT_eX]

[DOI]

Yavuz Köroglu

Proceedings of the IEEE/ACM International Conference on Automation of Software Test, 2023

2022

Testing anticipatory systems: A systematic mapping study on the state of the art.

[BibT_eX]

[DOI]

J. Syst. Softw., 2022

Spreadsheet debugging: The perils of tool over-reliance.

[BibT_eX]

[DOI]

J. Syst. Softw., 2022

Model-based reasoning using answer set programming.

[BibT_eX]

[DOI]

David Kaufmann

Appl. Intell., 2022

Editorial "special issue on artificial intelligence in practice - from theory to application".

[BibT_eX]

[DOI]

Appl. Intell., 2022

Pursuing Intelligent Behavior in Cyber-Physical Systems by Lightweight Diagnosis.

[BibT_eX]

[DOI]

Martin Zimmermann

Adv. Intell. Syst., 2022

Challenges of testing self-adaptive systems.

[BibT_eX]

[DOI]

Liliana Marie Prikler

Proceedings of the SPLC '22: 26th ACM International Systems and Software Product Line Conference, Graz, Austria, September 12, 2022

DDMin versus QuickXplain - An Experimental Comparison of two Algorithms for Minimizing Collections.

[BibT_eX]

[DOI]

Proceedings of the 34th International Conference on Software Engineering and Knowledge Engineering, 2022

Extracting Temporal Models from Data Episodes.

[BibT_eX]

[DOI]

Proceedings of the 22nd IEEE International Conference on Software Quality, 2022

Boosting Spectrum-Based Fault Localization for Spreadsheets with Product Metrics in a Learning Approach.

[BibT_eX]

[DOI]

Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022

The Java2CSP Debugging Tool Utilizing Constraint Solving and Model-Based Diagnosis Principles.

[BibT_eX]

[DOI]

Vlad Andrei Dumitru

Proceedings of the Advances and Trends in Artificial Intelligence. Theory and Practices in Artificial Intelligence, 2022

Testing Photometric Stereo Applications.

[BibT_eX]

[DOI]

Ledio Jahaj

Proceedings of the 9th International Conference on Dependable Systems and Their Applications, 2022

Checked Coverage for Test Suite Reduction - Is It Worth the Effort?

[BibT_eX]

[DOI]

Roxane Koitz-Hristov

Lukas Stracke

Proceedings of the IEEE/ACM International Conference on Automation of Software Test, 2022

A Passive Testing Approach using a Semi-Supervised Intrusion Detection Model for SCADA Network Traffic.

[BibT_eX]

[DOI]

Herbert Mühlburger

Proceedings of the IEEE International Conference On Artificial Intelligence Testing, 2022

2021

Metric-Based Fault Prediction for Spreadsheets.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2021

Product metrics for spreadsheets - A systematic review.

[BibT_eX]

[DOI]

José Manuel Gaspar Sánchez

J. Syst. Softw., 2021

Finding Critical Scenarios for Automated Driving Systems: A Systematic Literature Review.

[BibT_eX]

[DOI]

Muhammad Rusyadi Ramli

CoRR, 2021

Automatic Generation of Challenging Road Networks for ALKS Testing based on Bezier Curves and Search.

[BibT_eX]

[DOI]

Florian Klück

CoRR, 2021

Intelligent Agents Diagnostics - Enhancing Cyber-Physical Systems with Self-Diagnostic Capabilities.

[BibT_eX]

[DOI]

David Kaufmann

Adv. Intell. Syst., 2021

CIMAX: collective information maximization in robotic swarms using local communication.

[BibT_eX]

[DOI]

Hannes Hornischer

Adapt. Behav., 2021

Extracting information from driving data using k-means clustering (S).

[BibT_eX]

[DOI]

Proceedings of the 33rd International Conference on Software Engineering and Knowledge Engineering, 2021

GABezier at the SBST 2021 Tool Competition.

[BibT_eX]

[DOI]

Florian Klück

Proceedings of the 14th IEEE/ACM International Workshop on Search-Based Software Testing, 2021

On the Effects of Data Sampling for Deep Learning on Highly Imbalanced Data from SCADA Power Grid Substation Networks for Intrusion Detection.

[BibT_eX]

[DOI]

Herbert Mühlburger

Proceedings of the 21st IEEE International Conference on Software Quality, 2021

On the Automation of Audio Plugin Testing<sup>*</sup>.

[BibT_eX]

[DOI]

Stephan Valentan

Proceedings of the 21st IEEE International Conference on Software Quality, 2021

Metamorphic Testing of Logic Theorem Prover.

[BibT_eX]

[DOI]

Proceedings of the Testing Software and Systems, 2021

Java2CSP - A Model-Based Diagnosis Tool Not Only for Software Debugging.

[BibT_eX]

[DOI]

Vlad Andrei Dumitru

Proceedings of the Intelligent Decision Technologies, 2021

Automated Diagnosis of Cyber-Physical Systems.

[BibT_eX]

[DOI]

David Kaufmann

Proceedings of the Advances and Trends in Artificial Intelligence. From Theory to Practice, 2021

Monitoring Hierarchical Systems for Safety Assurance.

[BibT_eX]

[DOI]

Horst Lewitschnig

Proceedings of the Intelligent Distributed Computing XIV, 2021

Analysing Experimental Results Obtained when Applying Search-based Testing to Verify Automated Driving Functions.

[BibT_eX]

[DOI]

Proceedings of the 8th International Conference on Dependable Systems and Their Applications, 2021

A framework for the automation of testing computer vision systems.

[BibT_eX]

[DOI]

Ledio Jahaj

Proceedings of the 2nd IEEE/ACM International Conference on Automation of Software Test, 2021

On the Use of Available Testing Methods for Verification & Validation of AI-based Software and Systems.

[BibT_eX]

[DOI]

Proceedings of the Workshop on Artificial Intelligence Safety 2021 (SafeAI 2021) co-located with the Thirty-Fifth AAAI Conference on Artificial Intelligence (AAAI 2021), 2021

2020

An adaptive system for autonomous driving.

[BibT_eX]

[DOI]

Martin Zimmermann

Softw. Qual. J., 2020

Planning-based security testing of web applications with attack grammars.

[BibT_eX]

[DOI]

Softw. Qual. J., 2020

Ontology-based test generation for automated and autonomous driving functions.

[BibT_eX]

[DOI]

Jianbo Tao

Inf. Softw. Technol., 2020

Faster horn diagnosis - a performance comparison of abductive reasoning algorithms.

[BibT_eX]

[DOI]

Roxane Koitz-Hristov

Appl. Intell., 2020

Mutation Testing for Artificial Neural Networks: An Empirical Evaluation.

[BibT_eX]

[DOI]

Proceedings of the 20th IEEE International Conference on Software Quality, 2020

Interrogating Virtual Agents: In Quest of Security Vulnerabilities.

[BibT_eX]

[DOI]

Proceedings of the Testing Software and Systems, 2020

Explaining Object Motion Using Answer Set Programming.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Intelligent Systems - 25th International Symposium, 2020

CatIO - A Framework for Model-Based Diagnosis of Cyber-Physical Systems.

[BibT_eX]

[DOI]

Edi Muskardin

Proceedings of the Foundations of Intelligent Systems - 25th International Symposium, 2020

On the Use of Answer Set Programming for Model-Based Diagnosis.

[BibT_eX]

[DOI]

Proceedings of the Trends in Artificial Intelligence Theory and Applications. Artificial Intelligence Practices, 2020

Machine Learning for Water Supply Supervision.

[BibT_eX]

[DOI]

Proceedings of the Trends in Artificial Intelligence Theory and Applications. Artificial Intelligence Practices, 2020

Ontology-based Testing: An Emerging Paradigm for Modeling and Testing Systems and Software.

[BibT_eX]

[DOI]

Proceedings of the 13th IEEE International Conference on Software Testing, 2020

On Using Ontologies for Testing Compilers.

[BibT_eX]

[DOI]

Proceedings of the 13th IEEE International Conference on Software Testing, 2020

On Using k-means Clustering for Test Suite Reduction.

[BibT_eX]

[DOI]

Proceedings of the 13th IEEE International Conference on Software Testing, 2020

Ontology-driven Security Testing of Web Applications.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference On Artificial Intelligence Testing, 2020

Efficient Model-Based Diagnosis of Sequential Circuits.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

2019

Testing TLS using planning-based combinatorial methods and execution framework.

[BibT_eX]

[DOI]

Softw. Qual. J., 2019

Towards swarm level optimisation: the role of different movement patterns in swarm systems.

[BibT_eX]

[DOI]

Int. J. Parallel Emergent Distributed Syst., 2019

On the refinement of spreadsheet smells by means of structure information.

[BibT_eX]

[DOI]

J. Syst. Softw., 2019

Fragment-based spreadsheet debugging.

[BibT_eX]

[DOI]

Thomas Schmitz

Autom. Softw. Eng., 2019

Current Approaches in Applied Artificial Intelligence: The 2019 IEA/AIE Conference The IEA/AIE 2019 Conference.

[BibT_eX]

[DOI]

AI Mag., 2019

Using Tri-Relation Networks for Effective Software Fault-Proneness Prediction.

[BibT_eX]

[DOI]

IEEE Access, 2019

Genetic Algorithm-Based Test Parameter Optimization for ADAS System Testing.

[BibT_eX]

[DOI]

Proceedings of the 19th IEEE International Conference on Software Quality, 2019

Performance Comparison of Two Search-Based Testing Strategies for ADAS System Validation.

[BibT_eX]

[DOI]

Proceedings of the Testing Software and Systems, 2019

Testing Chatbots Using Metamorphic Relations.

[BibT_eX]

[DOI]

Proceedings of the Testing Software and Systems, 2019

Investigating the Effectiveness of Mutation Testing Tools in the Context of Deep Neural Networks.

[BibT_eX]

[DOI]

Proceedings of the Advances in Computational Intelligence, 2019

Extending Automated FLTL Test Oracles with Diagnostic Support.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Symposium on Software Reliability Engineering Workshops, 2019

Collective Event Detection Using Bio-inspired Minimalistic Communication in a Swarm of Underwater Robots.

[BibT_eX]

[DOI]

Proceedings of the 2019 Conference on Artificial Life, 2019

On the Importance of System Testing for Assuring Safety of AI Systems.

[BibT_eX]

[DOI]

Proceedings of the Workshop on Artificial Intelligence Safety 2019 co-located with the 28th International Joint Conference on Artificial Intelligence, 2019

Using Model-Based Reasoning for Enhanced Chatbot Communication.

[BibT_eX]

[DOI]

Proceedings of the Advances and Trends in Artificial Intelligence. From Theory to Practice, 2019

A Rule-Based Smart Control for Fail-Operational Systems.

[BibT_eX]

[DOI]

Proceedings of the Advances and Trends in Artificial Intelligence. From Theory to Practice, 2019

On the Industrial Application of Combinatorial Testing for Autonomous Driving Functions.

[BibT_eX]

[DOI]

Proceedings of the 2019 IEEE International Conference on Software Testing, 2019

Weighted Combinatorial Sequence Testing for the TLS Protocol.

[BibT_eX]

[DOI]

Proceedings of the 2019 IEEE International Conference on Software Testing, 2019

Crucial Tool Features for Successful Combinatorial Input Parameter Testing in an Industrial Application.

[BibT_eX]

[DOI]

Christian Eitner

Proceedings of the 2019 IEEE International Conference on Software Testing, 2019

Software Testing: According to Plan!

[BibT_eX]

[DOI]

Proceedings of the 2019 IEEE International Conference on Software Testing, 2019

Fully automated compiler testing of a reasoning engine via mutated grammar fuzzing.

[BibT_eX]

[DOI]

Yavuz Köroglu

Proceedings of the 14th International Workshop on Automation of Software Test, 2019

Comparing two systematic approaches for testing automated driving functions.

[BibT_eX]

[DOI]

Proceedings of the 2019 IEEE International Conference on Connected Vehicles and Expo, 2019

Conversational Recommendations Utilizing Model-based Reasoning.

[BibT_eX]

[DOI]

Alexander Perko

Proceedings of the 21st Configuration Workshop, Hamburg, Germany, September 19-20, 2019., 2019

Chatbot Testing Using AI Planning.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference On Artificial Intelligence Testing, 2019

2018

Automated generation of (F)LTL oracles for testing and debugging.

[BibT_eX]

[DOI]

J. Syst. Softw., 2018

Evolutionary Propositionalization of Multi-Relational Data - Research Notes.

[BibT_eX]

[DOI]

Valentin Kassarnig

Int. J. Softw. Eng. Knowl. Eng., 2018

Quality assurance methodologies for automated driving.

[BibT_eX]

[DOI]

Elektrotech. Informationstechnik, 2018

Combining Spreadsheet Smells for Improved Fault Prediction.

[BibT_eX]

[DOI]

CoRR, 2018

Introduction to WOSPP: Wave Oriented Swarm Programming Paradigm.

[BibT_eX]

[DOI]

CoRR, 2018

A Formal TLS Handshake Model in LNT.

[BibT_eX]

[DOI]

Proceedings of the Proceedings Third Workshop on Models for Formal Analysis of Real Systems and Sixth International Workshop on Verification and Program Transformation, 2018

Applying algorithm selection to abductive diagnostic reasoning.

[BibT_eX]

[DOI]

Appl. Intell., 2018

Evolutionary propositionalization of multi-relational data.

[BibT_eX]

[DOI]

Valentin Kassarnig

Proceedings of the 30th International Conference on Software Engineering and Knowledge Engineering, 2018

On Using an I/O Model for Creating an Abductive Diagnosis Model via Combinatorial Exploration, Fault Injection, and Simulation.

[BibT_eX]

[DOI]

Proceedings of the 29th International Workshop on Principles of Diagnosis co-located with 10th IFAC Symposium on Fault Detection, 2018

On the Superiority of Conflict-Driven Search in MUS Enumeration.

[BibT_eX]

[DOI]

Roxane Koitz-Hristov

Proceedings of the 29th International Workshop on Principles of Diagnosis co-located with 10th IFAC Symposium on Fault Detection, 2018

Using LNT Formal Descriptions for Model-Based Diagnosis.

[BibT_eX]

[DOI]

Proceedings of the 29th International Workshop on Principles of Diagnosis co-located with 10th IFAC Symposium on Fault Detection, 2018

Adaptive System for Autonomous Driving.

[BibT_eX]

[DOI]

Martin Zimmermann

Proceedings of the 2018 IEEE International Conference on Software Quality, 2018

From Ontologies to Input Models for Combinatorial Testing.

[BibT_eX]

[DOI]

Proceedings of the Testing Software and Systems, 2018

Security Testing for Chatbots.

[BibT_eX]

[DOI]

Proceedings of the Testing Software and Systems, 2018

Spectrum-Based Fault Localization for Logic-Based Reasoning.

[BibT_eX]

[DOI]

Proceedings of the 2018 IEEE International Symposium on Software Reliability Engineering Workshops, 2018

Using Ontologies for Test Suites Generation for Automated and Autonomous Driving Functions.

[BibT_eX]

[DOI]

Proceedings of the 2018 IEEE International Symposium on Software Reliability Engineering Workshops, 2018

On the Automation of Testing a Logic-Based Diagnosis System.

[BibT_eX]

[DOI]

Proceedings of the 2018 IEEE International Conference on Software Testing, 2018

Combining Combinatorial Testing and Metamorphic Testing for Testing a Logic-Based Non-monotonic Reasoning System.

[BibT_eX]

[DOI]

Proceedings of the 2018 IEEE International Conference on Software Testing, 2018

Adapting Unit Tests by Generating Combinatorial Test Data.

[BibT_eX]

[DOI]

Proceedings of the 2018 IEEE International Conference on Software Testing, 2018

Combining spreadsheet smells for improved fault prediction.

[BibT_eX]

[DOI]

Proceedings of the 40th International Conference on Software Engineering: New Ideas and Emerging Results, 2018

Planning-based security testing of web applications.

[BibT_eX]

[DOI]

Proceedings of the 13th International Workshop on Automation of Software Test, 2018

Chatbot-based Tourist Recommendations Using Model-based Reasoning.

[BibT_eX]

[DOI]

Proceedings of the 20th Configuration Workshop, Graz, Austria, September 27-28, 2018., 2018

Software Configuration Diagnosis - A Survey of Existing Methods and Open Challenges.

[BibT_eX]

[DOI]

Artur Andrzejak

Gerhard Friedrich

Proceedings of the 20th Configuration Workshop, Graz, Austria, September 27-28, 2018., 2018

An Approach to Automatically Extract Predictive Properties from Nominal Attributes in Relational Databases.

[BibT_eX]

[DOI]

Valentin Kassarnig

Proceedings of the IEEE International Conference on Big Data (IEEE BigData 2018), 2018

2017

Combining Models for Improved Fault Localization in Spreadsheets.

[BibT_eX]

[DOI]

Andrea Hofler

IEEE Trans. Reliab., 2017

Performance tuning for automotive Software Fault Prediction.

[BibT_eX]

[DOI]

Harald Altinger

Steffen Herbold

Friederike Schneemann

Jens Grabowski

Proceedings of the IEEE 24th International Conference on Software Analysis, 2017

A decomposition-based approach to spreadsheet testing and debugging.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE Symposium on Visual Languages and Human-Centric Computing, 2017

Improving Spectrum-Based Fault Localization for Spreadsheet Debugging.

[BibT_eX]

[DOI]

Elisabeth Getzner

Proceedings of the 2017 IEEE International Conference on Software Quality, 2017

Testing TLS Using Combinatorial Methods and Execution Framework.

[BibT_eX]

[DOI]

Proceedings of the Testing Software and Systems, 2017

AI for Localizing Faults in Spreadsheets.

[BibT_eX]

[DOI]

Proceedings of the Testing Software and Systems, 2017

A "Strength of Decision Tree Equivalence"-Taxonomy and Its Impact on Test Suite Reduction.

[BibT_eX]

[DOI]

Proceedings of the Testing Software and Systems, 2017

The Future of Automated Debugging - Focus on the Niches First.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE International Symposium on Software Reliability Engineering Workshops, 2017

Qualitative Deviation Models for Spreadsheet Debugging.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE International Symposium on Software Reliability Engineering Workshops, 2017

Model-Based Diagnosis in Practice: Interaction Design of an Integrated Diagnosis Application for Industrial Wind Turbines.

[BibT_eX]

[DOI]

Johannes Lüftenegger

Proceedings of the Advances in Artificial Intelligence: From Theory to Practice, 2017

Results of a Comparative Study of Code Coverage Tools in Computer Vision.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE International Conference on Software Testing, 2017

Mutation Score, Coverage, Model Inference: Quality Assessment for T-Way Combinatorial Test-Suites.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE International Conference on Software Testing, 2017

Planning-Based Security Testing of the SSL/TLS Protocol.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE International Conference on Software Testing, 2017

Quantification and Analysis of the Resilience of Two Swarm Intelligent Algorithms.

[BibT_eX]

[DOI]

Ronald Thenius

Thomas Schmickl

Proceedings of the GCAI 2017, 2017

Model-Based Diagnosis Meets Combinatorial Testing For Generating an Abductive Diagnosis Model.

[BibT_eX]

[DOI]

Proceedings of the 28th International Workshop on Principles of Diagnosis (DX'17), 2017

2016

A Survey on Software Fault Localization.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2016

On Error-Class Distribution in Automotive Model-Based Software.

[BibT_eX]

[DOI]

Proceedings of the IEEE 23rd International Conference on Software Analysis, 2016

Classifying Test Suite Effectiveness via Model Inference and ROBBDs.

[BibT_eX]

[DOI]

Proceedings of the Tests and Proofs - 10th International Conference, 2016

Fragment-Based Diagnosis of Spreadsheets.

[BibT_eX]

[DOI]

Proceedings of the Software Technologies: Applications and Foundations, 2016

Testing Self-Adaptive Systems Using Fault Injection and Combinatorial Testing.

[BibT_eX]

[DOI]

Proceedings of the 2016 IEEE International Conference on Software Quality, 2016

Test-Suite Reduction Does Not Necessarily Require Executing the Program under Test.

[BibT_eX]

[DOI]

Proceedings of the 2016 IEEE International Conference on Software Quality, 2016

Using Modelica Programs for Deriving Propositional Horn Clause Abduction Problems.

[BibT_eX]

[DOI]

Proceedings of the KI 2016: Advances in Artificial Intelligence, 2016

An Automated (F) LTL Test Oracle for Testing with Requirements.

[BibT_eX]

[DOI]

Proceedings of the 2016 IEEE International Symposium on Software Reliability Engineering Workshops, 2016

Static Spreadsheet Analysis.

[BibT_eX]

[DOI]

Proceedings of the 2016 IEEE International Symposium on Software Reliability Engineering Workshops, 2016

On Structural Properties to Improve FMEA-Based Abductive Diagnosis.

[BibT_eX]

[DOI]

Proceedings of the Workshop on Knowledge-based Techniques for Problem Solving and Reasoning co-located with 25th International Joint Conference on Artificial Intelligence (IJCAI 2016), 2016

SIMULTATE: A Toolset for Fault Injection and Mutation Testing of Simulink Models.

[BibT_eX]

[DOI]

Proceedings of the Ninth IEEE International Conference on Software Testing, 2016

On the Automation of Security Testing.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Software Security and Assurance, 2016

Empirical study of correlation between mutation score and model inference based test suite adequacy assessment.

[BibT_eX]

[DOI]

Proceedings of the 11th International Workshop on Automation of Software Test, 2016

Improving Abductive Diagnosis Through Structural Features: A Meta-Approach.

[BibT_eX]

[DOI]

Proceedings of the International Workshop on Defeasible and Ampliative Reasoning (DARe-16) co-located with the 22th European Conference on Artificial Intelligence (ECAI 2016), 2016

FSTaxis Algorithm: Bio-Inspired Emergent Gradient Taxis.

[BibT_eX]

[DOI]

Thomas Schmickl

Ronald Thenius

Proceedings of the Fifteenth International Conference on the Simulation and Synthesis of Living Systems, 2016

2015

Using constraints to diagnose faulty spreadsheets.

[BibT_eX]

[DOI]

Softw. Qual. J., 2015

On the empirical evaluation of similarity coefficients for spreadsheets fault localization.

[BibT_eX]

[DOI]

Autom. Softw. Eng., 2015

SAT-Based Abductive Diagnosis.

[BibT_eX]

[DOI]

Proceedings of the 26th International Workshop on Principles of Diagnosis (DX-2015) co-located with 9th IFAC Symposium on Fault Detection, Supervision and Safety for Technical Processes (Safeprocess 2015), Paris, France, August 31, 2015

Fault Localization in the Light of Faulty User Input.

[BibT_eX]

[DOI]

Proceedings of the 2015 IEEE International Conference on Software Quality, 2015

PURITY: A Planning-based secURITY Testing Tool.

[BibT_eX]

[DOI]

Proceedings of the 2015 IEEE International Conference on Software Quality, 2015

Attack Pattern-Based Combinatorial Testing with Constraints for Web Security Testing.

[BibT_eX]

[DOI]

Proceedings of the 2015 IEEE International Conference on Software Quality, 2015

Novel Insights on Cross Project Fault Prediction Applied to Automotive Software.

[BibT_eX]

[DOI]

Proceedings of the Testing Software and Systems, 2015

Testing for Distinguishing Repair Candidates in Spreadsheets - the Mussco Approach.

[BibT_eX]

[DOI]

Proceedings of the Testing Software and Systems, 2015

Potential of Heterogeneity in Collective Behaviors: A Case Study on Heterogeneous Swarms.

[BibT_eX]

[DOI]

Proceedings of the PRIMA 2015: Principles and Practice of Multi-Agent Systems, 2015

A Novel Industry Grade Dataset for Fault Prediction Based on Model-Driven Developed Automotive Embedded Software.

[BibT_eX]

[DOI]

Proceedings of the 12th IEEE/ACM Working Conference on Mining Software Repositories, 2015

Parse tree structure in LTL requirements diagnosis.

[BibT_eX]

[DOI]

Thomas Quaritsch

Proceedings of the 2015 IEEE International Symposium on Software Reliability Engineering Workshops, 2015

Analyzing the reduction of test suite redundancy.

[BibT_eX]

[DOI]

Proceedings of the 2015 IEEE International Symposium on Software Reliability Engineering Workshops, 2015

Conditional slicing: Reducing dynamic slices.

[BibT_eX]

[DOI]

Georg Hinteregger

Proceedings of the 2015 IEEE International Symposium on Software Reliability Engineering Workshops, 2015

Conflict Management for Constraint-based Recommendation.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2015 Joint Workshop on Constraints and Preferences for Configuration and Recommendation and Intelligent Techniques for Web Personalization co-located with the 24th International Joint Conference on Artificial Intelligence (IJCAI 2015), 2015

iCone: Intelligent Environment for the Development and Maintenance of Configuration Knowledge Bases.

[BibT_eX]

[DOI]

Finding Explanations: an Empirical Evaluation of Abductive Diagnosis Algorithms.

[BibT_eX]

[DOI]

Proceedings of the International Workshop on Defeasible and Ampliative Reasoning, 2015

Diagnosis of Technical Systems.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Focused Diagnosis for Failing Software Tests.

[BibT_eX]

[DOI]

Proceedings of the Current Approaches in Applied Artificial Intelligence, 2015

Evaluation of the IPO-Family algorithms for test case generation in web security testing.

[BibT_eX]

[DOI]

Proceedings of the Eighth IEEE International Conference on Software Testing, 2015

BPEL Integration Testing.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2015

Maintaining constraint-based systems: challenges ahead.

[BibT_eX]

[DOI]

Proceedings of the 17th International Configuration Workshop, 2015

Intelligent supporting techniques for the maintenance of constraint-based configuration systems.

[BibT_eX]

[DOI]

Proceedings of the 17th International Configuration Workshop, 2015

A goal-question-metrics model for configuration knowledge bases.

[BibT_eX]

[DOI]

Proceedings of the 17th International Configuration Workshop, 2015

2014

Avoiding, finding and fixing spreadsheet errors - A survey of automated approaches for spreadsheet QA.

[BibT_eX]

[DOI]

J. Syst. Softw., 2014

Quality Assurance for Self-Adaptive, Self-Organising Systems (Message from the Workshop Organisers).

[BibT_eX]

[DOI]

Benedikt Eberhardinger

Wolfgang Reif

Tom Holvoet

Proceedings of the Eighth IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops, 2014

Plan It! Automated Security Testing Based on Planning.

[BibT_eX]

[DOI]

Proceedings of the Testing Software and Systems, 2014

Testing methods used in the automotive industry: results from a survey.

[BibT_eX]

[DOI]

Harald Altinger

Markus Schurius

Proceedings of the 2014 Workshop on Joining AcadeMiA and Industry Contributions to Test Automation and Model-Based Testing, 2014

Why Does my Spreadsheet Compute Wrong Values?

[BibT_eX]

[DOI]

Proceedings of the 25th IEEE International Symposium on Software Reliability Engineering, 2014

Retaining Consistency for Knowledge-Based Security Testing.

[BibT_eX]

[DOI]

Proceedings of the Modern Advances in Applied Intelligence, 2014

SOA Testing via Random Paths in BPEL Models.

[BibT_eX]

[DOI]

Proceedings of the Seventh IEEE International Conference on Software Testing, 2014

Security Testing Based on Attack Patterns.

[BibT_eX]

[DOI]

Proceedings of the Seventh IEEE International Conference on Software Testing, 2014

Attack pattern-based combinatorial testing.

[BibT_eX]

[DOI]

Dimitris E. Simos

Proceedings of the 9th International Workshop on Automation of Software Test, 2014

Failure Mode and Effect Analysis for Abductive Diagnosis.

[BibT_eX]

[DOI]

Proceedings of the International Workshop on Defeasible and Ampliative Reasoning, 2014

Comparing Models for Spreadsheet Fault Localization.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014

Generation of Relevant Spreadsheet Repair Candidates.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014

Testing Configuration Knowledge-Bases.

[BibT_eX]

[DOI]

Proceedings of the 16th International Configuration Workshop, 2014

2013

Model-Based Reasoning for Self-Adaptive Systems - Theory and Practice.

[BibT_eX]

[DOI]

Proceedings of the Assurances for Self-Adaptive Systems, 2013

On the use of mutations and testing for debugging.

[BibT_eX]

[DOI]

Softw. Pract. Exp., 2013

On classification and modeling issues in distributed model-based diagnosis.

[BibT_eX]

[DOI]

AI Commun., 2013

Intelligent engineering techniques for knowledge bases.

[BibT_eX]

[DOI]

Alexander Felfernig

AI Commun., 2013

Improving Test Case Generation from UML Statecharts by Using Control, Data and Communication Dependencies.

[BibT_eX]

[DOI]

Proceedings of the 2013 13th International Conference on Quality Software, 2013

The Right Choice Matters! SMT Solving Substantially Improves Model-Based Debugging of Spreadsheets.

[BibT_eX]

[DOI]

Proceedings of the 2013 13th International Conference on Quality Software, 2013

Mutation-based spreadsheet debugging.

[BibT_eX]

[DOI]

Proceedings of the IEEE 24th International Symposium on Software Reliability Engineering, 2013

The Route to Success - A Performance Comparison of Diagnosis Algorithms.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2013, 2013

Fifty Shades of Grey in SOA Testing.

[BibT_eX]

[DOI]

Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

SOA Grey Box Testing - A Constraint-Based Approach.

[BibT_eX]

[DOI]

Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

The dark side of SOA testing: Towards testing contemporary SOAs based on criticality metrics.

[BibT_eX]

[DOI]

Proceedings of the 5th International ICSE Workshop on Principles of Engineering Service-Oriented Systems, 2013

Functional SOA testing based on constraints.

[BibT_eX]

[DOI]

Proceedings of the 8th International Workshop on Automation of Software Test, 2013

XSS pattern for attack modeling in testing.

[BibT_eX]

[DOI]

Proceedings of the 8th International Workshop on Automation of Software Test, 2013

On the Empirical Evaluation of Fault Localization Techniques for Spreadsheets.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2013

(Re-)configuration of Communication Networks in the Context of M2M.

[BibT_eX]

[DOI]

Proceedings of the 15th International Configuration Workshop, 2013

Using Dependency Relations to Improve Test Case Generation from UML Statecharts.

[BibT_eX]

[DOI]

Proceedings of the IEEE 37th Annual Computer Software and Applications Conference, 2013

2012

Guest Editorial for the Special Issue on Model-Based Testing.

[BibT_eX]

[DOI]

Paul Ammann

Softw. Test. Verification Reliab., 2012

AI for the win: improving spectrum-based fault localization.

[BibT_eX]

[DOI]

Rui Abreu

ACM SIGSOFT Softw. Eng. Notes, 2012

Automated debugging based on a constraint model of the program and a test case.

[BibT_eX]

[DOI]

Iulia Moraru

J. Log. Algebraic Methods Program., 2012

Automated Debugging of Verilog Designs.

[BibT_eX]

[DOI]

Naveed Riaz

Int. J. Softw. Eng. Knowl. Eng., 2012

Using Constraints for Equivalent Mutant Detection

[BibT_eX]

[DOI]

Proceedings of the Proceedings 2nd Workshop on Formal Methods in the Development of Software, 2012

Diagnosis and repair of dependent failures in the control system of a mobile autonomous robot.

[BibT_eX]

[DOI]

Appl. Intell., 2012

Combining Slicing and Constraint Solving for Better Debugging: The CONBAS Approach.

[BibT_eX]

[DOI]

Adv. Softw. Eng., 2012

EqMutDetect - A tool for equivalent mutant detection in embedded systems.

[BibT_eX]

[DOI]

Proceedings of the 10th International Workshop on Intelligent Solutions in Embedded Systems, 2012

Reducing the Size of Dynamic Slicing with Constraint Solving.

[BibT_eX]

[DOI]

Proceedings of the 2012 12th International Conference on Quality Software, 2012

Debugging Spreadsheets: A CSP-based Approach.

[BibT_eX]

[DOI]

Rui Abreu

André Riboira

Proceedings of the 23rd IEEE International Symposium on Software Reliability Engineering Workshops, 2012

Open Research Challenges of Localizing Faults in Programs Using Constraints.

[BibT_eX]

[DOI]

Proceedings of the Fifth IEEE International Conference on Software Testing, 2012

Category Partition Method and Satisfiability Modulo Theories for test case generation.

[BibT_eX]

[DOI]

Proceedings of the 7th International Workshop on Automation of Software Test, 2012

Spectrum Enhanced Dynamic Slicing for better Fault Localization.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2012, 2012

Constraint-based Debugging of Spreadsheets.

[BibT_eX]

[DOI]

Rui Abreu

André Riboira

Proceedings of the XV Iberoamerican Conference on Software Engineering, 2012

2011

On the Use of Abduction as an Alternative to Decision Trees in Environmental Decision Support Systems.

[BibT_eX]

[DOI]

Int. J. Agric. Environ. Inf. Syst., 2011

Test case generation in practice for communicating embedded systems.

[BibT_eX]

[DOI]

Christian Schwarzl

Elektrotech. Informationstechnik, 2011

Debugging and test case generation using constraints and mutations.

[BibT_eX]

[DOI]

Proceedings of the Ninth Workshop on Intelligent Solutions in Embedded Systems, 2011

Program Debugging Using Constraints - Is it Feasible?

[BibT_eX]

[DOI]

Proceedings of the 11th International Conference on Quality Software, 2011

The IntiSa Approach: Test Input Data Generation for Non-primitive Data Types by Means of SMT Solver Based Bounded Model Checking.

[BibT_eX]

[DOI]

Proceedings of the 11th International Conference on Quality Software, 2011

Compositional Random Testing Using Extended Symbolic Transition Systems.

[BibT_eX]

[DOI]

Christian Schwarzl

Proceedings of the Testing Software and Systems, 2011

Fault Prediction Capability of Program File's Logical-Coupling Metrics.

[BibT_eX]

[DOI]

Proceedings of the 2011 Joint Conf of 21st Int'l Workshop on Software Measurement and the 6th Int'l Conference on Software Process and Product Measurement, 2011

Adaptive Autonomous Systems - From the System's Architecture to Testing.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2011

On the Use of Constraints in Dynamic Slicing for Program Debugging.

[BibT_eX]

[DOI]

Proceedings of the Fourth IEEE International Conference on Software Testing, 2011

An Abstract Operational Framework for Dependence Models in Software Debugging.

[BibT_eX]

[DOI]

Proceedings of the Fourth IEEE International Conference on Software Testing, 2011

Abstracting timing information in UML state charts via temporal ordering and LOTOS.

[BibT_eX]

[DOI]

Proceedings of the 6th International Workshop on Automation of Software Test, 2011

SiMoL - A Modeling Language for Simulation and (Re-)Configuration.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2011 Workshop on Configuration, Barcelona, Spain, July 16, 2011, 2011

2010

Does Testing Help to Reduce the Number of Potentially Faulty Statements in Debugging?

[BibT_eX]

[DOI]

Proceedings of the Testing, 2010

Synthesize It: From Design by Contract to Meaningful Test Input Data.

[BibT_eX]

[DOI]

Stefan J. Galler

Proceedings of the 8th IEEE International Conference on Software Engineering and Formal Methods, 2010

Fault Localization Based on Dynamic Slicing and Hitting-Set Computation.

[BibT_eX]

[DOI]

Proceedings of the 10th International Conference on Quality Software, 2010

Challenges of Distributed Model-Based Diagnosis.

[BibT_eX]

[DOI]

Proceedings of the Trends in Applied Intelligent Systems, 2010

Generating Distinguishing Tests Using the Minion Constraint Solver.

[BibT_eX]

[DOI]

Proceedings of the Third International Conference on Software Testing, 2010

When BDDs Fail: Conformance Testing with Symbolic Execution and SMT Solving.

[BibT_eX]

[DOI]

Elisabeth Jöbstl

Proceedings of the Third International Conference on Software Testing, 2010

Automatically extracting mock object behavior from Design by Contract™ specification for test data generation.

[BibT_eX]

[DOI]

Stefan J. Galler

Andreas Maller

Proceedings of the 5th Workshop on Automation of Software Test, 2010

Combining Runtime Diagnosis and AI-planning in a Mobile Autonomous Robot to Achieve a Graceful Degradation after Software Failures.

[BibT_eX]

Proceedings of the ICAART 2010 - Proceedings of the International Conference on Agents and Artificial Intelligence, Volume 1, 2010

Impact analysis of SCRs using single and multi-label machine learning classification.

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Empirical Software Engineering and Measurement, 2010

2009

Testing with model checkers: a survey.

[BibT_eX]

[DOI]

Paul Ammann

Softw. Test. Verification Reliab., 2009

Issues in using model checkers for test case generation.

[BibT_eX]

[DOI]

Paul Ammann

J. Syst. Softw., 2009

On the order of test goals in specification-based testing.

[BibT_eX]

[DOI]

Angelo Gargantini

J. Log. Algebraic Methods Program., 2009

Using coverage to automate and improve test purpose based testing.

[BibT_eX]

[DOI]

Inf. Softw. Technol., 2009

Fault-Based Conformance Testing in Practice.

[BibT_eX]

[DOI]

Int. J. Softw. Informatics, 2009

Conformance Testing of Hybrid Systems with Qualitative Reasoning Models.

[BibT_eX]

[DOI]

Proceedings of Fifth Workshop on Model Based Testing, 2009

Robust Plan Execution Using Model-Based Reasoning.

[BibT_eX]

[DOI]

Adv. Robotics, 2009

Bug-Inducing Language Constructs.

[BibT_eX]

[DOI]

Proceedings of the 16th Working Conference on Reverse Engineering, 2009

Complementary Criteria for Testing Temporal Logic Properties.

[BibT_eX]

[DOI]

Proceedings of the Tests and Proofs - 3rd International Conference, 2009

Automatic Classification of Software Change Request Using Multi-label Machine Learning Methods.

[BibT_eX]

[DOI]

Proceedings of the 33rd Annual IEEE Software Engineering Workshop, 2009

Program File Bug Fix Effort Estimation Using Machine Learning Methods for OSS.

[BibT_eX]

Stephan Mühlbacher-Karrer

Proceedings of the 21st International Conference on Software Engineering & Knowledge Engineering (SEKE'2009), 2009

Concept Evaluation of a Reflex Inspired Ball Handling Device for Autonomous Soccer Robots.

[BibT_eX]

[DOI]

Harald Altinger

Stefan J. Galler

Hubert Zangl

Proceedings of the RoboCup 2009: Robot Soccer World Cup XIII [papers from the 13th annual RoboCup International Symposium, Graz, Austria, June 29, 2009

Improving Coverage Based Test Purposes.

[BibT_eX]

[DOI]

Proceedings of the Ninth International Conference on Quality Software, 2009

Increasing Diversity in Coverage Test Suites Using Model Checking.

[BibT_eX]

[DOI]

Proceedings of the Ninth International Conference on Quality Software, 2009

Using Spectrum-Based Fault Localization for Test Case Grouping.

[BibT_eX]

[DOI]

Proceedings of the ASE 2009, 2009

Empirical Evaluation of Hunk Metrics as Bug Predictors.

[BibT_eX]

[DOI]

Proceedings of the Software Process and Product Measurement, 2009

Java's alternatives and the limitations of Java when writing cross-platform applications for mobile devices in the medical domain.

[BibT_eX]

[DOI]

Marcus D. Bloice

Andreas Holzinger

Proceedings of the ITI 2009 31st International Conference on Information Technology Interfaces, 2009

Abductive Reasoning in Environmental Decision Support Systems.

[BibT_eX]

[DOI]

Ignasi Rodríguez-Roda

Joaquim Comas

Proceedings of the Workshops of the 5th IFIP Conference on Artificial Intelligence Applications & Innovations (AIAI-2009), 2009

Detect and Localize Faults in Alias-Free Programs Using Specification Knowledge.

[BibT_eX]

[DOI]

Safeeullah Soomro

Proceedings of the Next-Generation Applied Intelligence, 2009

Software change classification using hunk metrics.

[BibT_eX]

[DOI]

Proceedings of the 25th IEEE International Conference on Software Maintenance (ICSM 2009), 2009

Automatic Software Bug Triage System (BTS) Based on Latent Semantic Indexing and Support Vector Machine.

[BibT_eX]

[DOI]

Proceedings of the Fourth International Conference on Software Engineering Advances, 2009

Are There Language Specific Bug Patterns? Results Obtained from a Case Study Using Mozilla.

[BibT_eX]

[DOI]

Proceedings of the Fourth International Conference on Software Engineering Advances, 2009

GUI Savvy End-to-End Testing with Smart Monkeys.

[BibT_eX]

[DOI]

Proceedings of the 4th International Workshop on Automation of Software Test, 2009

Asynchronous Input-Output Conformance Testing.

[BibT_eX]

[DOI]

Proceedings of the 33rd Annual IEEE International Computer Software and Applications Conference, 2009

On the Complexity of Program Debugging Using Constraints for Modeling the Program's Syntax and Semantics.

[BibT_eX]

[DOI]

Proceedings of the Current Topics in Artificial Intelligence, 2009

Employing Test Suites for Verilog Fault Localization.

[BibT_eX]

[DOI]

Naveed Riaz

Proceedings of the Current Topics in Artificial Intelligence, 2009

Rule-Set Extraction from C-Code.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Technical Systems, 2009

Comining Quantitative and Qualitative Models with Active Observtions to Improve Diagnosis of Complex Systems.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Technical Systems, 2009

Intelligent, Fault Adaptive Control of Autonomous Systems.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Technical Systems, 2009

2008

Advances in Automated Source-Level Debugging of Verilog Designs.

[BibT_eX]

[DOI]

Naveed Riaz

Proceedings of the New Challenges in Applied Intelligence Technologies, 2008

Using model-checkers to generate and analyze property relevant test-cases.

[BibT_eX]

[DOI]

Softw. Qual. J., 2008

On the Compilation of Programs into their Equivalent Constraint Representation.

[BibT_eX]

[DOI]

Informatica (Slovenia), 2008

Improving Fault-based Conformance Testing.

[BibT_eX]

[DOI]

Proceedings of the Fourth Workshop on Model Based Testing, 2008

Towards Automated Online Diagnosis of Robot Navigation Software.

[BibT_eX]

[DOI]

Alexander Kleiner

Proceedings of the Simulation, 2008

Bridging the Gap Between Slicing and Model-based Diagnosis.

[BibT_eX]

Proceedings of the Twentieth International Conference on Software Engineering & Knowledge Engineering (SEKE'2008), 2008

A Constraint Model for Automated Deployment of Automotive Control Software.

[BibT_eX]

Proceedings of the Twentieth International Conference on Software Engineering & Knowledge Engineering (SEKE'2008), 2008

Using Observer Automata to Select Test Cases for Test Purposes.

[BibT_eX]

Proceedings of the Twentieth International Conference on Software Engineering & Knowledge Engineering (SEKE'2008), 2008

Coverage-based Testing Using Qualitative Reasoning Models.

[BibT_eX]

Proceedings of the Twentieth International Conference on Software Engineering & Knowledge Engineering (SEKE'2008), 2008

Coverage Based Testing with Test Purposes.

[BibT_eX]

[DOI]

Proceedings of the Eighth International Conference on Quality Software, 2008

A Database for the Analysis of Program Change Patterns.

[BibT_eX]

[DOI]

Proceedings of the NCM 2008, The Fourth International Conference on Networked Computing and Advanced Information Management, Gyeongju, Korea, September 2-4, 2008, 2008

Analysing Bug Prediction Capabilities of Static Code Metrics in Open Source Software.

[BibT_eX]

[DOI]

Proceedings of the Software Process and Product Measurement, 2008

A Teleo-Reactive Architecture for Fast, Reactive and Robust Control of Mobile Robots.

[BibT_eX]

[DOI]

Proceedings of the New Frontiers in Applied Artificial Intelligence, 2008

Test Case Generation from QR Models.

[BibT_eX]

[DOI]

Proceedings of the New Frontiers in Applied Artificial Intelligence, 2008

Ordering Coverage Goals in Model Checker Based Testing.

[BibT_eX]

[DOI]

Proceedings of the First International Conference on Software Testing Verification and Validation, 2008

Localizing Bugs in Programs - Or How to Use a Program's Constraint Representation for Software Debugging?

[BibT_eX]

Proceedings of the ICSOFT 2008, 2008

QR-Model Based Testing.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Workshop on Automation of Software Test, 2008

Enhancing Plan Execution in Dynamic Domains Using Model-Based Reasoning.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Robotics and Applications, First International Conference, 2008

Random Vs. Scenario-based Vs. Fault-based Testing - An Industrial Evaluation of Formal Black-Box Testing Methods.

[BibT_eX]

Proceedings of the ENASE 2008, 2008

Dependent Failures in Consistency-based Diagnosis.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2008, 2008

From constraint representations of sequential code and program annotations to their use in debugging.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2008, 2008

2007

Model-Based Reasoning for Self-Repair of Autonomous Mobile Robots.

[BibT_eX]

[DOI]

Proceedings of the Model-Based Reasoning in Science, Technology, and Medicine, 2007

Improving Robustness of Mobile Robots Using Model-based Reasoning.

[BibT_eX]

[DOI]

J. Intell. Robotic Syst., 2007

Handling Model Changes: Regression Testing and Test-Suite Update with Model-Checkers.

[BibT_eX]

[DOI]

Proceedings of the Third Workshop on Model Based Testing, 2007

Using formal methods for ensuring quality requirements of systems.

[BibT_eX]

[DOI]

Elektrotech. Informationstechnik, 2007

An introduction to model-based systems.

[BibT_eX]

[DOI]

Claudia Picardi

Paulo Salles

AI Commun., 2007

Knowledge Extraction from C-Code.

[BibT_eX]

[DOI]

Proceedings of the Fifth Workshop on Intelligent Solutions in Embedded Systems, 2007

Combining Quantitative and Qualitative Models with Active Observations for better Diagnoses of Autonomous Mobile Robots.

[BibT_eX]

[DOI]

Proceedings of the Fifth Workshop on Intelligent Solutions in Embedded Systems, 2007

Intelligent, Fault Tolerant Control for Autonomous Systems.

[BibT_eX]

[DOI]

Proceedings of the Fifth Workshop on Intelligent Solutions in Embedded Systems, 2007

Protocol Conformance Testing a SIP Registrar: an Industrial Application of Formal Methods.

[BibT_eX]

[DOI]

Proceedings of the Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), 2007

Nondeterministic Testing with Linear Model-Checker Counterexamples.

[BibT_eX]

[DOI]

Proceedings of the Seventh International Conference on Quality Software (QSIC 2007), 2007

Improving Model-Checkers for Software Testing.

[BibT_eX]

[DOI]

Proceedings of the Seventh International Conference on Quality Software (QSIC 2007), 2007

Model-based fault diagnosis and reconfiguration of robot drives.

[BibT_eX]

[DOI]

Proceedings of the 2007 IEEE/RSJ International Conference on Intelligent Robots and Systems, October 29, 2007

Diagnosing Dependent Failures in the Hardware and Software of Mobile Autonomous Robots.

[BibT_eX]

[DOI]

Proceedings of the New Trends in Applied Artificial Intelligence, 2007

Converting Programs into Constraint Satisfaction Problems.

[BibT_eX]

[DOI]

Proceedings of the Advances in Intelligent and Distributed Computing, 2007

Collaboration of Intelligent, Autonomous Systems: Situation Aware Behavior Change.

[BibT_eX]

[DOI]

Proceedings of the Advances in Intelligent and Distributed Computing, 2007

Test-Case Generation and Coverage Analysis for Nondeterministic Systems Using Model-Checkers.

[BibT_eX]

[DOI]

Proceedings of the Second International Conference on Software Engineering Advances (ICSEA 2007), 2007

Executing Abstract Test Cases.

[BibT_eX]

[DOI]

Proceedings of the 37. Jahrestagung der Gesellschaft für Informatik, 2007

Creating Test-Cases Incrementally with Model-Checkers.

[BibT_eX]

[DOI]

Proceedings of the 37. Jahrestagung der Gesellschaft für Informatik, 2007

Redundancy Based Test-Suite Reduction.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2007

Using LTL rewriting to improve the performance of model-checker based test-case generation.

[BibT_eX]

[DOI]

Proceedings of the 3rd Workshop on Advances in Model Based Testing, 2007

Test purpose generation in an industrial application.

[BibT_eX]

[DOI]

Proceedings of the 3rd Workshop on Advances in Model Based Testing, 2007

2006

Property relevant software testing with model-checkers.

[BibT_eX]

[DOI]

ACM SIGSOFT Softw. Eng. Notes, 2006

Fault Detection in Multi-Threaded C++ Server Applications.

[BibT_eX]

[DOI]

Arndt Mühlenfeld

Proceedings of the Thread Verification Workshop, 2006

Automated Source-Level Error Localization in Hardware Designs.

[BibT_eX]

[DOI]

IEEE Des. Test Comput., 2006

Using AI Techniques for Fault Localization in Component-Oriented Software Systems.

[BibT_eX]

[DOI]

Proceedings of the MICAI 2006: Advances in Artificial Intelligence, 2006

Retaining Consistency in Temporal Knowledge Bases.

[BibT_eX]

[DOI]

Bibiane Angerer

Proceedings of the Advances in Applied Artificial Intelligence, 2006

Towards Lightweight Fault Localization in Procedural Programs.

[BibT_eX]

[DOI]

Safeeullah Soomro

Proceedings of the Advances in Applied Artificial Intelligence, 2006

Diagnosing Program Errors with Light-Weighted Specifications.

[BibT_eX]

[DOI]

Proceedings of the Advances in Applied Artificial Intelligence, 2006

Using Model-Checkers for Mutation-Based Test-Case Generation, Coverage Analysis and Specification Analysis.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Software Engineering Advances (ICSEA 2006), October 28, 2006

Fundamentals of Debugging Using a Resolution Calculus.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2006

A Causal Analysis Method for Concurrent Hybrid Automata.

[BibT_eX]

[DOI]

Michael W. Hofbaur

Proceedings of the Proceedings, 2006

2005

Binding Environmental Sciences and Artificial Intelligence.

[BibT_eX]

[DOI]

Mihaela Oprea

Miquel Sànchez-Marrè

AI Commun., 2005

Real-Time Diagnosis and Repair of Faults of Robot Control Software.

[BibT_eX]

[DOI]

Martin Mörth

Proceedings of the RoboCup 2005: Robot Soccer World Cup IX, 2005

Detecting and locating faults in the control software of autonomous mobile robots.

[BibT_eX]

[DOI]

Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005

Fault Localization Based on Abstract Dependencies.

[BibT_eX]

[DOI]

Safeeullah Soomro

Proceedings of the Innovations in Applied Artificial Intelligence, 2005

Formal Verification of Control Software: A Case Study.

[BibT_eX]

[DOI]

Proceedings of the Innovations in Applied Artificial Intelligence, 2005

Plan Execution in Dynamic Environments.

[BibT_eX]

[DOI]

Proceedings of the Innovations in Applied Artificial Intelligence, 2005

An Object Store Model for Diagnosing Java Programs.

[BibT_eX]

[DOI]

Proceedings of the AI 2005: Advances in Artificial Intelligence, 2005

Understanding and Isolating Data Structure Errors of Java Programs.

[BibT_eX]

Proceedings of the IASTED International Conference on Artificial Intelligence and Applications, 2005

Error traces in model-based debugging of hardware description languages.

[BibT_eX]

[DOI]

Proceedings of the Sixth International Workshop on Automated Debugging, 2005

2004

Debugging VHDL Designs: Introducing Multiple Models and First Empirical Results.

[BibT_eX]

[DOI]

Appl. Intell., 2004

Are Error Traces Enough for Automated Fault Localization in VHDL Designs?

[BibT_eX]

Proceedings of the Second Workshop on Intelligent Solutions in Embedded Systems, 2004

Cooperative Planning and Plan Execution in Partially Observable Dynamic Domains.

[BibT_eX]

[DOI]

Proceedings of the RoboCup 2004: Robot Soccer World Cup VIII, 2004

Improving Fault Localization of Programs by Using Labeled Dependencies.

[BibT_eX]

[DOI]

Proceedings of the KI 2004: Advances in Artificial Intelligence, 2004

Diagnosing Java Programs with Static Abstractions of Data Structures.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Information Processing II, 2004

A Modular Architecture for a Multi-purpose Mobile Robot.

[BibT_eX]

[DOI]

Proceedings of the Innovations in Applied Artificial Intelligence, 2004

Introducing Alias Information into Model-Based Debugging.

[BibT_eX]

Proceedings of the 16th Eureopean Conference on Artificial Intelligence, 2004

2003

Model-Based Diagnosis or Reasoning from First Principles.

[BibT_eX]

[DOI]

IEEE Intell. Syst., 2003

Modeling State in Software Debugging of VHDL-RTL Designs - A Model-Based Diagnosis Approach

[BibT_eX]

[DOI]

CoRR, 2003

Guest editorial: Binding Environmental Sciences and Artificial Intelligence.

[BibT_eX]

[DOI]

Ulises Cortés

Miquel Sànchez-Marrè

AI Commun., 2003

Coupling CSP Decomposition Methods and Diagnosis Algorithms for Tree-Structured Systems.

[BibT_eX]

[DOI]

Proceedings of the IJCAI-03, 2003

Debugging VHDL Designs Using Temporal Process Instances.

[BibT_eX]

[DOI]

Proceedings of the Developments in Applied Artificial Intelligence, 2003

2002

Debugging Hardware Designs Using a Value-Based Model.

[BibT_eX]

[DOI]

Appl. Intell., 2002

DiKe - a model-based diagnosis kernel and its application.

[BibT_eX]

[DOI]

Gerhard Fleischanderl

AI Commun., 2002

On the relationship between model-based debugging and program slicing.

[BibT_eX]

[DOI]

Artif. Intell., 2002

Model-Based Debugging or How to Diagnose Programs Automatically.

[BibT_eX]

[DOI]

Wolfgang Mayer

Proceedings of the Developments in Applied Artificial Intelligence, 2002

Towards an Integrated Debugging Environment.

[BibT_eX]

Proceedings of the 15th European Conference on Artificial Intelligence, 2002

Can AI help to improve debugging substantially? Debugging Experiences with Value-Based Models.

[BibT_eX]

Proceedings of the 15th European Conference on Artificial Intelligence, 2002

Combining hypertree, bicomp, and hinge decomposition.

[BibT_eX]

Georg Gottlob

Martin Hutle

Proceedings of the 15th European Conference on Artificial Intelligence, 2002

2001

A variant of Reiter's hitting-set algorithm.

[BibT_eX]

[DOI]

Inf. Process. Lett., 2001

Deriving qualitative rules from neural networks - a case study for ozone forecasting.

[BibT_eX]

[DOI]

Gerhard Wotawa

AI Commun., 2001

Diagnosing tree-structured systems.

[BibT_eX]

[DOI]

Artif. Intell., 2001

Comparing Two Models for Software Debugging.

[BibT_eX]

[DOI]

Dominik Wieland

Proceedings of the KI 2001: Advances in Artificial Intelligence, 2001

Using Multiple Models for Debugging VHDL Designs.

[BibT_eX]

[DOI]

Proceedings of the Engineering of Intelligent Systems, 2001

2000

Using Model-Based Reasoning for Locating Faults in VHDL Designs.

[BibT_eX]

Künstliche Intell., 2000

Industrial Applications of Model-based Reasoning - Guest Editorial.

[BibT_eX]

[DOI]

AI Commun., 2000

Debugging VHDL designs using model-based reasoning.

[BibT_eX]

[DOI]

Artif. Intell. Eng., 2000

Locating Bugs in Java Programs - First Results of the Java Diagnosis Experiment Project.

[BibT_eX]

[DOI]

Cristinel Mateis

Proceedings of the Intelligent Problem Solving, 2000

JADE - AI Support for Debugging Java Programs.

[BibT_eX]

[DOI]

Proceedings of the 12th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2000), 2000

Modeling Java Programs for Diagnosis.

[BibT_eX]

Cristinel Mateis

Proceedings of the ECAI 2000, 2000

Model-Based Debugging of Java Programs.

[BibT_eX]

[DOI]

Proceedings of the Fourth International Workshop on Automated Debugging, 2000

1999

Model-Based Reasoning (Guest Editor's Introduction).

[BibT_eX]

[DOI]

AI Commun., 1999

Model-Based Diagnosis of Hardware Designs.

[BibT_eX]

[DOI]

Gerhard Friedrich

Artif. Intell., 1999

Debugging Functional Programs.

[BibT_eX]

[DOI]

Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, 1999

New Directions in Debugging Hardware Designs.

[BibT_eX]

[DOI]

Proceedings of the Multiple Approaches to Intelligent Systems, 1999

A Communication Language and the Design of a Diagnosis Agent - Towards a Framework for Mobile Diagnosis Agents.

[BibT_eX]

[DOI]

Christian Piccardi

Proceedings of the Multiple Approaches to Intelligent Systems, 1999

1998

A Survey of Intelligent Debugging.

[BibT_eX]

[DOI]

AI Commun., 1998

Model-Based Reconfiguration.

[BibT_eX]

[DOI]

Proceedings of the Artificial Intelligence in Design '98, 1998

1996

Model-Based Program Debugging and Repair.

[BibT_eX]