Publications of Group Wotawa

2022
Journal Article
Adil Mukhtar, Birgit Hofer, Dietmar Jannach and Franz Wotawa Spreadsheet debugging Show publication in PURE
2021
Book Chapter
Frédéric Loulergue and Franz Wotawa PrefaceTests and Proofsv-vi Show publication in PURE
Konstantin Schekotihin, Birgit Gertraud Hofer, Franz Wotawa and Dietmar Jannach AI-based Spreadsheet DebuggingArtificial Intelligence Methods for Software Engineering371-399 Show publication in PURE
Wolfgang Mayer and Franz Wotawa Artificial Intelligence Methods for Software DebuggingArtificial Intelligence Methods for Software Engineering401-435 Show publication in PURE
Nour Chetouane and Franz Wotawa On the Application of Machine Learning in Software TestingArtificial Intelligence Methods for Software Engineering243-268 Show publication in PURE
Florian Steffen Klück, Franz Wotawa, Hermann Felbinger, Martin Jochen Zimmermann, Yihao Li and Jianbo Tao "Recent Verification & Validation Methodologies for Advanced Driver Assistance Systems"Recent Verification & Validation Methodologies for Advanced Driver Assistance Systems Show publication in PURE
David Kaufmann, Florian Steffen Klück, Franz Wotawa, Iulia-Dana Nica, Hermann Felbinger, Adil Mukhtar, Petr Blaha, Matus Kozovsky, Zdenek Havranek and Martin Dosedel Foundations of Real Time Predictive Maintenance with Root Cause AnalysisArtificial Intelligence for Digitising Industry47-61 Show publication in PURE
David Kaufmann, Florian Steffen Klück, Franz Wotawa, Iulia-Dana Nica, Hermann Felbinger, Adil Mukhtar, Petr Blaha, Matus Kozovsky, Zdenek Havranek and Martin Dosedel Real-Time Predictive Maintenance – Model-Based, Simulation-Based and Machine Learning Based DiagnosisArtificial Intelligence for Digitising Industry63-81 Show publication in PURE
David Kaufmann, Florian Steffen Klück, Franz Wotawa, Iulia-Dana Nica, Hermann Felbinger, Adil Mukhtar, Petr Blaha, Matus Kozovsky, Zdenek Havranek and Martin Dosedel Real-Time Predictive Maintenance – Artificial Neural Network Based DiagnosisArtificial Intelligence for Digitising Industry83-101 Show publication in PURE
Journal Article
David Kaufmann, Iulia Nica and Franz Wotawa Intelligent Agents Diagnostics - Enhancing Cyber-Physical Systems with Self-Diagnostic Capabilities. Show publication in PURE
Birgit Hofer, Dietmar Jannach, Patrick Koch, Konstantin Schekotihin and Franz Wotawa Product metrics for spreadsheets — a systematic review Show publication in PURE
Hannes Hornischer, Joshua Cherian Varughese, Ronald Thenius, Franz Wotawa, Manfred Füllsack and Thomas Schmickl CIMAX Show publication in PURE
Conference/Workshop Article
Franz Wotawa and Vlad Andrei Dumitru Java2CSP—A Model-Based Diagnosis Tool Not Only for Software Debugging Intelligent Decision Technologies - Proceedings of the 13th KES-IDT 2021 Conference 519-529 Show publication in PURE
Franz Wotawa and Stephan Valentan On the Automation of Audio Plugin Testing Proceedings of the 21st IEEE International Conference on Software Quality, Reliability, and Security Show publication in PURE
Herbert Mühlburger and Franz Wotawa On the Effects of Data Sampling for Deep Learning on Highly Imbalanced Data from SCADA Power Grid Substation Networks for Intrusion Detection Proceedings of the 21st IEEE International Conference on Software Quality, Reliability, and Security Show publication in PURE
Oliver Tazl and Franz Wotawa Metamorphic Testing of Logic Theorem Prover Proceedings of the 33rd IFIP International Conference on Testing Software and Systems Show publication in PURE
Franz Wotawa Integrating multiple observation sets into consistency-based diagnosis Proceedings of the 32nd International Workshop on Principle of Diagnosis Show publication in PURE
Franz Wotawa and Horst Lewitschnig Monitoring hierarchical systems for safety assurance Proceedings of the 14th International Symposium on Intelligent Distributed Computing Show publication in PURE
Franz Wotawa On the Use of Available Testing Methods for Verification & Validation of AI-based Software and Systems Proceedings of the AAAI Workshop on Artificial Intelligence Safety (SafeAI 2021) Show publication in PURE
Franz Wotawa, Oliver Tazl and David Kaufmann Automated Diagnosis of Cyber-Physical Systems Advances and Trends in Artificial Intelligence. From Theory to Practice - 34th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2021, Proceedings 441-452 Show publication in PURE
Florian Kluck, Franz Wotawa, Gerhard Neubauer, Jianbo Tao and Mihai Nica Analysing Experimental Results Obtained when Applying Search-based Testing to Verify Automated Driving Functions Proceedings - 2021 8th International Conference on Dependable Systems and Their Applications, DSA 2021 213-219 Show publication in PURE
2020
Book Chapter
Franz Wotawa Using model-based reasoning for self-adaptive control of smart battery systemsArtificial Intelligence Techniques for a Scalable Energy Transition279-310 Show publication in PURE
Franz Wotawa Message from the General Chair2020 IEEE International Conference On Artificial Intelligence Testing (AITest)viii Show publication in PURE
Journal Article
Roxane Koitz-Hristov and Franz Wotawa Faster horn diagnosis - a performance comparison of abductive reasoning algorithms Show publication in PURE
Josip Bozic and Franz Wotawa Planning-based security testing of web applications with attack grammars Show publication in PURE
Martin Zimmermann and Franz Wotawa An adaptive system for autonomous driving Show publication in PURE
Joshua Cherian Varughese, Hannes Hornischer, Payam Zahadat, Ronald Thenius, Franz Wotawa and Thomas Schmickl A swarm design paradigm unifying swarm behaviors using minimalistic communication Show publication in PURE
Yihao Li, Jianbo Tao and Franz Wotawa Ontology-based test generation for automated and autonomous driving functions Show publication in PURE
Conference/Workshop Article
Franz Wotawa, Josip Bozic and Yihao Li Ontology-based Testing: An Emerging Paradigm for Modeling and Testing Systems and Software Proceedings - 2020 IEEE 13th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2020 14-17 Show publication in PURE
Franz Wotawa and Lorenz Klampfl Explaining Object Motion Using Answer Set Programming Foundations of Intelligent Systems 298-307 Show publication in PURE
Nour Chetouane, Franz Wotawa, Hermann Felbinger and Mihai Nica On Using k-means Clustering for Test Suite Reduction Proceedings - 2020 IEEE 13th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2020 380 - 385 Show publication in PURE
Lorenz Klampfl, Nour Chetouane and Franz Wotawa Mutation Testing for Artificial Neural Networks: An Empirical Evaluation Proceedings - 2020 IEEE 20th International Conference on Software Quality, Reliability, and Security, QRS 2020 356-365 Show publication in PURE
Yihao Li and Franz Wotawa On Using Ontologies for Testing Compilers Proceedings - 2020 IEEE 13th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2020 181-184 Show publication in PURE
Franz Wotawa On the use of answer set programming for model-based diagnosis Trends in Artificial Intelligence Theory and Applications. Artificial Intelligence Practices - 33rd International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2020, Proceedings 518-529 Show publication in PURE
Edi Muškardin, Ingo Pill and Franz Wotawa CatIO - A Framework for Model-Based Diagnosis of Cyber-Physical Systems Foundations of Intelligent Systems - 25th International Symposium, ISMIS 2020, Proceedings 267-276 Show publication in PURE
Joshua Cherian Varughese, Hannes Hornischer, Ronald Thenius, Franz Wotawa and Thomas Schmickl Collective event detection using bio-inspired minimalistic communication in a swarm of underwater robots ALIFE 2019 634-641 Show publication in PURE
Josip Bozic, Yihao Li and Franz Wotawa Ontology-driven Security Testing of Web Applications Proceedings - 2020 IEEE International Conference on Artificial Intelligence Testing, AITest 2020 115-122 Show publication in PURE
Other Article
Martin Jochen Zimmermann, Ingo Pill and Franz Wotawa Drawing on SFL for Making Intelligent Decisions in RBL Show publication in PURE
2019
Book Chapter
Joshua Cherian Varughese, Daniel Moser, Ronald Thenius, Franz Wotawa and Thomas Schmickl swarmFSTaxisUnderstanding Complex Systems213-222 Show publication in PURE
Franz Wotawa Reasoning from first principles for self-adaptive and autonomous systemsPredictive Maintenance in Dynamic Systems Show publication in PURE
Proceedings
Franz Wotawa, Gerhard Friedrich, Ingo Pill, Roxane Koitz-Hristov and Moonis Ali Advances in Artificial Intelligence. From Theory to Practice Show publication in PURE
Journal Article
Patrick Koch, Konstantin Schekotihin, Dietmar Jannach, Birgit Gertraud Hofer and Franz Wotawa Metric-based Fault Prediction for Spreadsheets Show publication in PURE
Yihao Li, Shou-Yu Lee, Franz Wotawa and W. Eric Wong Using Tri-Relation Networks for Effective Software Fault-Proneness Prediction Show publication in PURE
Daniela Kengyel, Payam Zahadat, Thomas Schmickl and Franz Wotawa Towards swarm level optimisation: The role of different movement patterns in swarm systems Show publication in PURE
Patrick Koch, Birgit Gertraud Hofer and Franz Wotawa On the Refinement of Spreadsheet Smells by means of Structure Information Show publication in PURE
Conference/Workshop Article
Ingo Pill and Franz Wotawa Extending Automated FLTL Test Oracles With Diagnostic Support Proceedings - 2019 IEEE 30th International Symposium on Software Reliability Engineering Workshops, ISSREW 2019 354-361 Show publication in PURE
Nour Chetouane, Lorenz Klampfl and Franz Wotawa Investigating the Effectiveness of Mutation Testing Tools in the Context of Deep Neural Networks Advances in Computational Intelligence - 15th International Work-Conference on Artificial Neural Networks, IWANN 2019, Proceedings 766-777 Show publication in PURE
Hermann Felbinger, Florian Steffen Klück, Yihao Li, Mihai Nica, Jianbo Tao, Franz Wotawa and Martin Jochen Zimmermann Comparing two systematic approaches for testing automated driving functions 2019 8th IEEE International Conference on Connected Vehicles and Expo, ICCVE 2019 - Proceedings Show publication in PURE
Yavuz Koroglu and Franz Wotawa Fully automated compiler testing of a reasoning engine via mutated grammar fuzzing Proceedings - 2019 IEEE/ACM 14th International Workshop on Automation of Software Test, AST 2019 28-34 Show publication in PURE
Valentin Kassarnig and Franz Wotawa An Approach to Automatically Extract Predictive Properties from Nominal Attributes in Relational Databases Proceedings - 2018 IEEE International Conference on Big Data, Big Data 2018 4932-4939 Show publication in PURE
Josip Bozic, Oliver A. Tazl and Franz Wotawa Chatbot testing using AI planning Proceedings - 2019 IEEE International Conference on Artificial Intelligence Testing, AITest 2019 37-44 Show publication in PURE
Oliver A. Tazl and Franz Wotawa Using model-based reasoning for enhanced chatbot communication 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, Proceedings 791-798 Show publication in PURE
Josip Bozic and Franz Wotawa Testing Chatbots Using Metamorphic Relations Testing Software and Systems 41-55 Show publication in PURE
Josip Bozic and Franz Wotawa Software Testing: According to Plan! IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) 23-31 Show publication in PURE
Bernhard Garn, Dimitris E. Simos, Feng Duan, Yu Lei, Josip Bozic and Franz Wotawa Weighted Combinatorial Sequence Testing for the TLS Protocol IEEE International Conference on Software Testing Verification and Validation Workshop (ICSTW'19) Show publication in PURE
Other Article
Franz Wotawa, Joshua Cherian Varughese, Hannes Hornischer and Ronald Thenius Collective Event Detection Using Bio-inspired Minimalistic Communication in a Swarm of Unterwater Robots Show publication in PURE
Ingo Pill and Franz Wotawa Exploiting Observations from Combinatorial Testing for Diagnostic Reasoning Show publication in PURE
Alexander Feldman, Ingo Pill, Franz Wotawa, Ion Matei and Johan de Kleer Diagnosing Sequential Circuits as Boolean Satisfaction Show publication in PURE
2018
Book Chapter
Ingo Pill and Franz Wotawa Fault detection and localization using modelica and abductive reasoningDiagnosability, Security and Safety of Hybrid Dynamic and Cyber-Physical Systems45-72 Show publication in PURE
Franz Wotawa, Bernhard Peischl and Roxane Koitz Diagnosis as a serviceDigital Marketplaces Unleashed557-567 Show publication in PURE
Roxane Koitz, Franz Wotawa, Johannes Lüftenegger, Christopher S. Gray and Franz Langmayr Wind Turbine Fault Localization: A Practical Application of Model-Based DiagnosisDiagnosability, Security and Safety of Hybrid Dynamic and Cyber-Physical Systems17-43 Show publication in PURE
Journal Article
Dimitris E. Simos, Josip Bozic, Bernhard Garn, Manuel Leithner, Feng Duan, Kristoffer Kleine, Yu Lei and Franz Wotawa Testing TLS using planning-based combinatorial methods and execution framework Show publication in PURE
Franz Wotawa and Valentin Kassarnig Evolutionary Propositionalization of Multi- Relational Data Show publication in PURE
Ingo Pill and Franz Wotawa Automated generation of (F)LTL oracles for testing and debugging Show publication in PURE
Dietmar Jannach, Thomas Schmitz, Birgit Hofer, Konstantin Schekotihin, Patrick Koch and Franz Wotawa Fragment-based spreadsheet debugging Show publication in PURE
Florian Steffen Klück, Franz Wotawa, Bernhard Peischl and Mihai Nica Quality assurance methodologies for automated driving Show publication in PURE
Roxane Koitz-Hristov and Franz Wotawa Applying algorithm selection to abductive diagnostic reasoning Show publication in PURE
Conference/Workshop Article
Josip Bozic, Lina Marsso, Radu Mateescu and Franz Wotawa A formal TLS handshake model in LNT Proceedings Third Workshop on Models for Formal Analysis of Real Systems and Sixth International Workshop on Verification and Program Transformation, MARS/VPT@ETAPS 1-40 Show publication in PURE
Ingo Pill and Franz Wotawa Spectrum-Based Fault Localization for Logic-Based Reasoning Proceedings - 29th IEEE International Symposium on Software Reliability Engineering Workshops, ISSREW 2018 192-199 Show publication in PURE
Josip Bozic and Franz Wotawa Planning-based security testing of web applications Proceedings 2018 ACM/IEEE 13th International Workshop on Automation of Software Test, AST 2018 20-26 Show publication in PURE
Patrick Koch, Konstantin Schekotihin, Dietmar Jannach, Birgit Hofer, Franz Wotawa and Thomas Schmitz Combining spreadsheet smells for improved fault prediction Proceedings 2018 ACM/IEEE 40th International Conference on Software Engineering 25-28 Show publication in PURE
Josip Bozic and Franz Wotawa Security testing for chatbots Testing Software and Systems - 30th IFIP WG 6.1 International Conference, ICTSS 2018, Proceedings 33-38 Show publication in PURE
Hermann Felbinger, Franz Wotawa and Mihai Nica Adapting unit tests by generating combinatorial test data Proceedings - 2018 IEEE 11th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2018 352-355 Show publication in PURE
Franz Wotawa and Martin Zimmermann Adaptive System for Autonomous Driving Proceedings - 2018 IEEE 18th International Conference on Software Quality, Reliability, and Security Companion, QRS-C 2018 519-525 Show publication in PURE
Ingo Pill and Franz Wotawa Model-Based Diagnosis Meets Combinatorial Testing For Generating an Abductive Diagnosis Model 28th International Workshop on Principles of Diagnosis (DX'17) 248-263 Show publication in PURE
J. Ch Varughese, R. Thenius, F. Wotawa and Th Schmickl FSTT algorithm New Trends in Medical and Service Robots - Design, Analysis and Control 319-330 Show publication in PURE
Other Article
Franz Wotawa and Yihao Li From Ontologies to Input Models for Combinatorial Testing Show publication in PURE
Franz Wotawa, Gerhard Friedrich and Artur Andrzejak Software configuration diagnosis? A Survey of existing methods and open challenges Show publication in PURE
Franz Wotawa, Iulia-Dana Nica and Oliver Tazl Chatbot-based tourist recommendations using model-based reasoning Show publication in PURE
Franz Wotawa and Valentin Kassarnig Evolutionary propositionalization of multi-relational data Show publication in PURE
Ingo Pill and Franz Wotawa On Using an I/O Model for Creating an Abductive Diagnosis Model via Combinatorial Exploration, Fault Injection, and Simulation Show publication in PURE
Franz Wotawa, Birgit Gertraud Hofer, Radu Mateescu and Wendelin Serwe Using LNT Formal Descriptions for Model-Based Diagnosis Show publication in PURE
Franz Wotawa Combining Combinatorial Testing and Metamorphic Testing for Testing a Logicbased Non-Monotonic Reasoning System Show publication in PURE
Franz Wotawa On the automation of testing a logic-based diagnosis system Show publication in PURE
2017
Book Chapter
Franz Wotawa Testing Autonomous and Highly Configurable Systems: Challenges and Feasible SolutionsAutomated Driving519-532 Show publication in PURE
Roxane Koitz, Johannes Lüftenegger and Franz Wotawa Model-Based Diagnosis in Practice: Interaction Design of an Integrated Diagnosis Application for Industrial Wind TurbinesAdvances in Artificial Intelligence: From Theory to Practice: 30th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2017, Arras, France, June 27-30, 2017, Proceedings, Part I440-445 Show publication in PURE
Journal Article
Birgit Hofer, Andrea Höfler and Franz Wotawa Combining Models for Improved Fault Localization in Spreadsheets Show publication in PURE
Conference/Workshop Article
Hermann Felbinger, Franz Wotawa and Mihai Nica Mutation Score, Coverage, Model Inference Proceedings - 10th IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2017 171-180 Show publication in PURE
Hermann Felbinger, Ingo Pill and Franz Wotawa A “strength of decision tree equivalence”-taxonomy and its impact on test suite reduction Testing Software and Systems - 29th IFIP WG 6.1 International Conference, ICTSS 2017, Proceedings 197-212 Show publication in PURE
Birgit Hofer, Iulia Nica and Franz Wotawa Qualitative Deviation Models for Spreadsheet Debugging 8th IEEE International Workshop on Program Debugging (IWPD) - ISSRE Workshops 191-198 Show publication in PURE
Josip Bozic, Kristoffer Kleine, Dimitris E. Simos and Franz Wotawa Planning-Based Security Testing of the SSL/TLS Protocol IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) Show publication in PURE
Josip Bozic and Franz Wotawa Planning the Attack! Or How to use AI in Security Testing? First International Workshop on AI in Security (IWAIse) Show publication in PURE
Birgit Hofer, Iulia Nica and Franz Wotawa AI for Localizing Faults in Spreadsheets 29th International Conference on Testing Software and Systems (ICTSS) 71-87 Show publication in PURE
Dimitris E. Simos, Josip Bozic, Feng Duan, Bernhard Garn, Kristoffer Kleine, Yu Lei and Franz Wotawa Testing TLS Using Combinatorial Methods and Execution Framework IFIP International Conference on Testing Software and Systems (ICTSS'17) Show publication in PURE
Elisabeth Getzner, Birgit Hofer and Franz Wotawa Improving Spectrum-Based Fault Localization for Spreadsheet Debugging IEEE International Conference on Software Quality, Reliability and Security (QRS) 102-113 Show publication in PURE
Thomas Schmitz, Dietmar Jannach, Birgit Hofer, Patrick W. Koch, Konstantin Schekotihin and Franz Wotawa A decomposition-based approach to spreadsheet testing and debugging IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC) 117-121 Show publication in PURE
Franz Wotawa The future of automated debugging & focus on the niches first Proceedings - 2017 IEEE 28th International Symposium on Software Reliability Engineering Workshops, ISSREW 2017 92-93 Show publication in PURE
2016
Book Chapter
Franz Wotawa Message from the QRS 2016 General ChairProceedings of the IEEE International Conference on Quality, Reliability, and Securityxiii Show publication in PURE
Gerhard Friedrich, Malte Helmert and Franz Wotawa PrefaceProceedings of the 28th International Conference on Testing Software and SystemsV-VI Show publication in PURE
Journal Article
Ingo Hans Pill, Thomas Quaritsch and Franz Wotawa On the practical performance of minimal hitting set algorithms from a diagnostic perspective Show publication in PURE
Conference/Workshop Article
Bernhard Peischl, Ingo Pill and Franz Wotawa Using modelica programs for deriving propositional horn clause abduction problems Advances in Artificial Intelligence - 39th Annual German Conference on AI, KI 2016, Proceedings 185-191 Show publication in PURE
Ingo Pill, Ivan Rubil, Franz Wotawa and Mihai Nica SIMULTATE Proceedings - 2016 IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2016 168-173 Show publication in PURE
Hermann Felbinger, Franz Wotawa and Mihai Nica Test-Suite Reduction Does Not Necessarily Require Executing the Program under Test Proceedings - 2016 IEEE International Conference on Software Quality, Reliability and Security-Companion, QRS-C 2016 23-30 Show publication in PURE
Hermann Felbinger, Ingo Pill and Franz Wotawa Classifying test suite effectiveness via model inference and ROBBDs Tests and Proofs - 10th International Conference, TAP 2016 Held as Part of STAF 2016, Proceedings 76-93 Show publication in PURE
Patrick W. Koch, Birgit Hofer and Franz Wotawa Static Spreadsheet Analysis 2016 IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops 167-174 Show publication in PURE
Thomas Schmitz, Birgit Hofer, Dietmar Jannach and Franz Wotawa Fragment-Based Diagnosis of Spreadsheets Software Technologies: Applications and Foundations - STAF 2016 (Software Engineering Methods in Spreadsheets Workshop) 372-387 Show publication in PURE
Ingo Pill and Franz Wotawa An Automated (F) LTL Test Oracle for Testing with Requirements 2016 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW 197-204 Show publication in PURE
Bernhard Josef Peischl, Ingo Pill Pill and Franz Wotawa Abductive Diagnosis based on Modelica Models 27th International Workshop on Principles of Diagnosis Show publication in PURE
Franz Wotawa Testing Self-Adaptive Systems Using Fault Injection and Combinatorial Testing Proceedings - 2016 IEEE International Conference on Software Quality, Reliability and Security-Companion, QRS-C 2016 305-310 Show publication in PURE
Roxane Koitz and Franz Wotawa On Structural Properties to Improve FMEA-Based Abductive Diagnosis Proceedings of the Workshop on Knowledge-based Techniques for Problem Solving and Reasoning Show publication in PURE
Roxane Koitz and Franz Wotawa Improving Abductive Diagnosis Through Structural Features: A Meta-Approach Proceedings of the International Workshop on Defeasible and Ampliative Reasoning (DARe-16) Show publication in PURE
Roxane Koitz and Franz Wotawa Exploiting Structural Metrics in FMEA-Based Abductive Diagnosis. Proceedings of the 27th International Workshop on Principles of Diagnosis (DX) 1-7 Show publication in PURE
Roxane Koitz and Franz Wotawa Integration of Failure Assessments into the Diagnostic Process Proceedings of the Annual Conference of the Prognostics and Health Management Society 2016 124-135 Show publication in PURE
Joshua Cherian Varughese, Ronald Thenius, Franz Wotawa and Thomas Schmickl FSTaxis algorithm Proceedings of the Artificial Life Conference 2016, ALIFE 2016 330-337 Show publication in PURE
Other Article
Iulia Nica, Franz Wotawa, Gerhard Jakob and Kathrin Juhart Testing computer vision applications an experience report on introducing code coverage analysis in the field Show publication in PURE
Franz Wotawa On the use of qualitative deviation models for diagnosis Show publication in PURE
Joshua Cherian Varughese, Ronald Thenius, Franz Wotawa and Thomas Schmickl FireSlime Algorithm: Bio-Inspired Emergent Gradient Taxis Show publication in PURE
Hermann Felbinger, Franz Wotawa and Mihai Nica Empirical Study of Correlation Between Mutation Score and Model Inference Based Test Suite Adequacy Assessment Show publication in PURE
2015
Journal Article
Birgit Gertraud Hofer, Franz Wotawa, Rui Abreu and Alexandre Perez On the empirical evaluation of similarity coefficients for spreadsheets fault localization Show publication in PURE
Roxane Koitz and Franz Wotawa On the computational feasibility of abductive diagnosis for practical applications Show publication in PURE
Birgit Gertraud Hofer, Franz Wotawa, Rui Abreu and Alexandre Perez Using constraints to diagnose faulty spreadsheets Show publication in PURE
Conference/Workshop Article
Hermann Felbinger, Joel Sherrill, Gedare Bloom and Franz Wotawa Test suite coverage measurement and reporting for testing an operating system without instrumentation Proceedings of the 17th Real-Time Linux Workshop 13-22 Show publication in PURE
Markus Ernst, Stefan Erlachner, Mario Hirz, Jürgen Fabian and Franz Wotawa Analysis Methods in the Development Process of Mechatronic Drivetrain Systems with Special Focus on Automotive Software Volume II 63-68 Show publication in PURE
Roxane Koitz and Franz Wotawa On the Feasibility of Abductive Diagnosis for Practical Application Proceedings of the 9th IFAC Symposium on Fault Detection, Supervision and Safety of Technical Processes 410-415 Show publication in PURE
Birgit Gertraud Hofer, Franz Wotawa, Rui Abreu and Simon Außerlechner Testing for Distinguishing Repair Candidates in Spreadsheets - the Mussco Approach Testing Software and Systems - 27th International Conference, {ICTSS} 2015, Proceedings 124-140 Show publication in PURE
Franz Wotawa, Martin Stettinger, Florian-Christoph Reinfrank, Gerald Ninaus and Alexander Felfernig Conflict Management for Constraint-based Recommendation IJCAI 2015, Workshop on Intelligent Personalization nx-ny Show publication in PURE
Seema Jehan, Ingo Hans Pill, Birgit Gertraud Hofer and Franz Wotawa Focussed Diagnosis for Failing Software Tests IEA/AIE 2015 712-721 Show publication in PURE
Christopher S. Gray, Roxane Koitz, Siegfried Psutka and Franz Wotawa An Abductive Diagnosis and Modeling Concept for Wind Power Plants Proceedings of the 9th IFAC Symposium on Fault Detection, Supervision and Safety of Technical Processes 1-6 Show publication in PURE
Franz Wotawa, Florian-Christoph Reinfrank, Gerald Ninaus and Alexander Felfernig ICONE: intelligent environment for the Development and Maintenance of Configuration Knowledge bases IJCAI 2015, Workshop on Intelligent Personalization nx-ny Show publication in PURE
Roxane Koitz and Franz Wotawa From Theory to Practice: Model-Based Diagnosis in Industrial Applications Proceedings of the Annual Conference of the PHM Society (PHM) 197-205 Show publication in PURE
Roxane Koitz and Franz Wotawa SAT-Based Abductive Diagnosis Proceedings of the 26th International Workshop on Principles of Diagnosis (DX) 167-175 Show publication in PURE
Ingo Hans Pill, Thomas Quaritsch and Franz Wotawa Parse Tree Structure in LTL Requirements Diagnosis The 26th International Symposium on Software Reliability Engineering Workshops 100-107 Show publication in PURE
Roxane Koitz and Franz Wotawa Diagnosis of Technical Systems Proceedings of the International Joint Conference on Artificial Intelligence 2015 4375-4376 Show publication in PURE
Roxane Koitz and Franz Wotawa Finding Explanations: an Empirical Evaluation of Abductive Diagnosis Algorithms Proceedings of the DARe-15 International Workshop on Defeasible and Ampliative Reasoning 1-7 Show publication in PURE
Birgit Gertraud Hofer and Franz Wotawa Fault Localization in the Light of Faulty User Input Proceedings of the IEEE International Conference on Software Quality, Reliability and Security (QRS'15) 282-291 Show publication in PURE
Seema Jehan, Ingo Hans Pill and Franz Wotawa BPEL Integration Testing International Conference on Fundamental Approaches to Software Engineering Show publication in PURE
Mihai Nica, Ingo Hans Pill and Franz Wotawa Testing Diagnostics Components Supervising Functional Safety Requirements Proceedings of the Annual Conference of the Prognostics and Health Management Society 2015 150-157 Show publication in PURE
Ingo Hans Pill, Seema Jehan, Franz Wotawa and Mihai Nica Analyzing the Reduction of Test Suite Redundancy The 26th International Symposium on Software Reliability Engineering Workshops 65-65 Show publication in PURE
Other Article
Hermann Felbinger, Joel Sherrill, Gedare Bloom and Franz Wotawa Test suite coverage measurement and reporting for testing an operating system without instrumentation Show publication in PURE
2014
Journal Article
Dietmar Jannach, Thomas Schmitz, Birgit Gertraud Hofer and Franz Wotawa Avoiding, Finding and Fixing Spreadsheet Errors – A Survey of Automated Approaches for Spreadsheet QA Show publication in PURE
Conference/Workshop Article
Josip Bozic, Dimitris Simos and Franz Wotawa Attack Pattern-Based Combinatorial Testing International Workshop on Automation of Software Test 1-7 Show publication in PURE
Birgit Gertraud Hofer, Seema Jehan, Ingo Hans Pill and Franz Wotawa Functional Diagnosis of a SOA's BPEL Processes International Workshop on Principles of Diagnosis 1-8 Show publication in PURE
Birgit Gertraud Hofer, Dietmar Jannach, Thomas Schmitz, Kostyantyn Shchekotykhin and Franz Wotawa Tool-supported fault localization in spreadsheets: Limitations of current research practice International Workshop on Software Engineering Methods in Spreadsheets 1-2 Show publication in PURE
Christopher S. Gray, Roxane Koitz, Siegfried Psutka and Franz Wotawa An Abductive Diagnosis and Modeling Concept for Wind Power Plants International Workshop on Principles of Diagnosis 404-409 Show publication in PURE
Franz Wotawa and Ingo Hans Pill Testing Configuration Knowledge-Bases Proceedings of the 16th International Configuration Workshop 39-46 Show publication in PURE
Birgit Gertraud Hofer and Franz Wotawa On the Usage of Dependency-based Models for Spreadsheet Debugging International Workshop on Software Engineering Methods in Spreadsheets 1-4 Show publication in PURE
Franz Wotawa Failure Mode and Effect Analysis for Abductive Diagnosis International Workshop on Defeasible and Ampliative Reasoning 1-13 Show publication in PURE
Seema Jehan, Ingo Hans Pill and Franz Wotawa SOA Testing Via Random Paths in BPEL Models IEEE International Conference on Software Testing, Verification and Validation 260-263 Show publication in PURE
Harald Altinger, Franz Wotawa and Markus Schurius Testing Methods Used in the Automotive Industry: Results from a Survey The second workshop on Joining AcadeMiA and Industry Contributions to Test Automation and Model-based Testing (JAMAICA 14) 1-6 Show publication in PURE
Birgit Gertraud Hofer and Franz Wotawa Comparing Models for Spreadsheet Fault Localization European Conference on Artificial Intelligence 1029-1030 Show publication in PURE
Josip Bozic and Franz Wotawa Security Testing Based on Attack Patterns The 5th International Workshop on Security Testing (SECTEST) 1-8 Show publication in PURE
Birgit Gertraud Hofer, Rui Abreu, Alexandre Perez and Franz Wotawa Generation of Relevant Spreadsheet Repair Candidates European Conference on Artificial Intelligence 1027-1028 Show publication in PURE
Josip Bozic and Franz Wotawa Plan It! Automated Security Testing Based on Planning International Conference on Testing Software and Systems 48-62 Show publication in PURE
Birgit Gertraud Hofer and Franz Wotawa Comparing and improving dependency-based models for fault localization in spreadsheets International Workshop on Principles of Diagnosis 1-7 Show publication in PURE
Andreas Bernauer, Josip Bozic, Dimitris Simos, Severin Winkler and Franz Wotawa Retaining Consistency for Knowledge-based Security Testing International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems 88-97 Show publication in PURE
Birgit Gertraud Hofer and Franz Wotawa Why does my spreadsheet compute wrong values? International Symposium on Software Reliability Engineering 112-121 Show publication in PURE
Other Article
Seema Jehan, Birgit Gertraud Hofer, Ingo Hans Pill and Franz Wotawa Functional Diagnosis of a SOA's BPEL Processes Show publication in PURE
Birgit Gertraud Hofer, Franz Wotawa, Rui Abreu and Alexandre Perez Generation of Relevant Spreadsheet Repair Candidates Show publication in PURE
Birgit Gertraud Hofer and Franz Wotawa Comparing Models for Spreadsheet Fault Localization Show publication in PURE
2013
Book Chapter
Iulia-Dana Nica, Franz Wotawa, Roland Ochenbauer, Christian Schober, Harald Hofbauer and Sanja Boltek Reconfiguration of Mobile Phone NetworksKnowledge-based Configuration - From Research to Business Cases19-1-19-11 Show publication in PURE
Gerald Steinbauer and Franz Wotawa Model-Based Reasoning for Self-Adaptive Systems – Theory and PracticeAssurances for Self-Adaptive Systems187-213 Show publication in PURE
Journal Article
Franz Wotawa and Ingo Hans Pill On Classification and Modeling Issues in Distributed Model-based Diagnosis Show publication in PURE
Mihai Nica, Simona Alina Nica and Franz Wotawa On the use of mutations and testing for debugging Show publication in PURE
Alexander Felfernig and Franz Wotawa Intelligent Engineering Techniques for Knowledge Bases Show publication in PURE
Conference/Workshop Article
Birgit Gertraud Hofer and Franz Wotawa Mutation-based spreadsheet debugging Software Reliability Engineering Workshops (ISSREW), 2013 IEEE International Symposium on 132-137 Show publication in PURE
Iulia-Dana Nica, Ingo Hans Pill, Thomas Quaritsch and Franz Wotawa The Route to Success - A Performance Comparison of Diagnosis Algorithms International Joint Conference on Artificial Intelligence 1039-1045 Show publication in PURE
Iulia-Dana Nica and Franz Wotawa (Re-)configuration of Communication Networks in the Context of M2M Applications Proceedings of the International Configuration Workshop 101-108 Show publication in PURE
Philipp Leitner, Stefan Schulte, Schahram Dustdar, Ingo Hans Pill, Marco Schulz and Franz Wotawa The Dark Side of SOA Testing -- Towards Testing Contemporary SOAs Based on Criticality Metrics 5th International Workshop on Principles of Engineering Service-Oriented Systems (PESOS) 45-53 Show publication in PURE
Birgit Gertraud Hofer, Franz Wotawa, Elisabeth Getzner, André Riboira and Rui Abreu On the Empirical Evaluation of Fault Localization Techniques for Spreadsheets Fundamental Approaches to Software Engineering - 16th International Conference, FASE 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013 68-82 Show publication in PURE
Seema Jehan, Ingo Hans Pill and Franz Wotawa SOA Grey Box Testing - A Constraint-Based Approach International Workshop on Constraints in Software Testing Verification and Analysis 232-237 Show publication in PURE
Franz Wotawa "Trust, But Verify" Ausgewählte Beiträge zur Anwenderkonferenz für Softwarequalität Test und Innovation 38-47 Show publication in PURE
Birgit Gertraud Hofer, Franz Wotawa, Simon Außerlechner, Sandra Fruhmann, Wolfgang Wieser, Clemens Mühlbacher and Raphael Spörk The Right Choice Matters! SMT Solving Substantially Improves Model-Based Debugging of Spreadsheets 13th International Conference on Quality Software 139-148 Show publication in PURE
Valentin Constantin Chimisliu and Franz Wotawa Improving Test Case Generation from UML Statecharts by using Control, Data, and Communication Dependences International Conference on Quality Software 125-134 Show publication in PURE
Valentin Constantin Chimisliu and Franz Wotawa Using Dependency Relations to Improve Test Case Generation from UML Statecharts Proceedings of the Fifth IEEE International Workshop on Software Test Automation (STA) 71-76 Show publication in PURE
Seema Jehan, Ingo Hans Pill, Franz Wotawa, Marco Schulz, [No Value] Philipp Leitner, [No Value] Waldemar Hummer, [No Value] Stefan Schulte, [No Value] Philipp Hoenisch and [No Value] Schahram Dustdar Fifty Shades of Grey in SOA Testing Workshop on Advances in Model Based Testing (A-MOST) 154-157 Show publication in PURE
Seema Jehan, Ingo Hans Pill and Franz Wotawa Functional SOA testing based on constraints International Workshop on Automation of Software Test 33-39 Show publication in PURE
Josip Bozic and Franz Wotawa XSS Pattern for Attack Modeling in Testing International Workshop on Automation of Software Test 71-74 Show publication in PURE
Other Article
Iulia-Dana Nica, Ingo Hans Pill, Thomas Quaritsch and Franz Wotawa The Route to Success - A Performance Comparison of Diagnosis Algorithms Show publication in PURE
2012
Book
Birgit Gertraud Hofer and Franz Wotawa Spectrum Enhanced Dynamic Slicing for Fault Localization Show publication in PURE
Book Chapter
Franz Wotawa Adaptive Autonomous Systems – From the System’s Architecture to TestingLeveraging Applications of Formal Methods, Verification, and Validation76-90 Show publication in PURE
Journal Article
Jörg Weber and Franz Wotawa Diagnosis and repair of dependent failures in the control system of a mobile autonomous robot Show publication in PURE
Birgit Gertraud Hofer and Franz Wotawa Combining Slicing and Constraint Solving for Better Debugging: The CONBAS Approach Show publication in PURE
Franz Wotawa, Mihai Nica and Iulia-Dana Nica Automated debugging based on a constraint model of the program and a test case Show publication in PURE
Bernhard Peischl, Naveed Riaz and Franz Wotawa Automated Debugging of Verilog Designs Show publication in PURE
Birgit Gertraud Hofer and Franz Wotawa Fallstudien zum Einsatz modellbasierter Testtechniken in der industriellen Praxis Show publication in PURE
Conference/Workshop Article
Iulia-Dana Nica, Franz Wotawa, Roland Ochenbauer, Christian Schober, Harald Hofbauer and Sanja Boltek Model-based simulation and configuration of mobile phone networks – The SIMOA Approach Proc. of the ECAI 2012 Workshop on Artificial Intelligence for Telecommunications & Sensor Networks 12-17 Show publication in PURE
Josip Bozic and Franz Wotawa Model-based Testing - From Safety to Security Workshop on System Testing and Validation 9-16 Show publication in PURE
Iulia-Dana Nica and Franz Wotawa The SiMoL Modeling Language for Simulation and (Re-) Configuration SOFSEM - Conference on Current Trends in Theory and Practice of Informatics 661-672 Show publication in PURE
Franz Wotawa Open research challenges of localizing faults in programs using constraints Proceedings of the 4th Workshop on Constraints in Software Testing, Verification, and Analysis Show publication in PURE
Birgit Gertraud Hofer, Franz Wotawa and Rui Abreu AI for the win: improving spectrum-based fault localization ACM SIGSOFT Software Engineering Notes 1-8 Show publication in PURE
Simona Alina Nica and Franz Wotawa Using Constraints for Equivalent Mutant Detection Workshop on Formal Methods in the Development of Software Show publication in PURE
Rui Abreu, André Riboira and Franz Wotawa Constraint-based Debugging of Spreadsheets Proceedings of the 15th Ibero-American Conference on Software Engineering Show publication in PURE
Valentin Constantin Chimisliu and Franz Wotawa Model Based Test Case Generation for Distributed Embedded Systems International Conference on Industrial Technology p-p Show publication in PURE
Birgit Gertraud Hofer and Franz Wotawa Spectrum Enhanced Dynamic Slicing for better Fault Localization ECAI 2012 - 20th European Conference on Artificial Intelligence. 420-425 Show publication in PURE
Valentin Constantin Chimisliu and Franz Wotawa Category Partition Method and Satisfiability Modulo Theories for Test Case Generation Proc. of the International Workshop on Automation of Software Test Show publication in PURE
Siegfried Podesser, Gerald Steinbauer and Franz Wotawa Selective Belief Management for High-­‐Level Robot Programs International Workshop on Principles of Diagnosis Show publication in PURE
Birgit Gertraud Hofer and Franz Wotawa Reducing the size of dynamic slicing with constraint solving 2012 12th International Conference on Quality Software, Xi'an, Shaanxi, China, August 27-29, 2012 41-48 Show publication in PURE
Rui Abreu, Andrè Riboira and Franz Wotawa Debugging of Spreadsheets: A CSPbased Approach Software Reliability Engineering Workshops (ISSREW) 159-164 Show publication in PURE
Simona Alina Nica and Franz Wotawa EqMutDetect – A Tool for Equivalent Mutant Detection in Embedded Systems Workshop on Intelligent Solutions in Embedded Systems 57-62 Show publication in PURE
Other Article
Iulia-Dana Nica and Franz Wotawa ConDiag - Computing minimal diagnoses using a constraint solver Show publication in PURE
2011
Journal Article
Franz Wotawa On the Use of Abduction as an Alternative to Decision Trees in Environmental Decision Support Systems Show publication in PURE
Christian Schwarzl and Franz Wotawa Test case generation in practice for communicating embedded systems Show publication in PURE
Bernhard Aichernig, Bernhard Peischl and Franz Wotawa Modellbasiertes Testen (MBT) in der Softwareentwicklung Show publication in PURE
Conference/Workshop Article
Birgit Gertraud Hofer and Franz Wotawa How to combine slicing-hitting-set-computation with spectrum-based fault localization 22nd International Workshop on Principles of Diagnosis 114-121 Show publication in PURE
Valentin Constantin Chimisliu and Franz Wotawa Abstracting Timing Information in UML Statecharts via Temporal Ordering and LOTOS Proc. of the 6th International Workshop on Automation of Software Test 8-14 Show publication in PURE
Iulia-Dana Nica and Franz Wotawa SiMoL– A Modeling Language for Simulation and (Re-)Configuration Workshop on Configuration 40-43 Show publication in PURE
Ingo Hans Pill, Thomas Quaritsch and Franz Wotawa From Conflicts to Diagnoses: An Empirical Evaluation of Minimal Hitting Set Algorithms 22nd International Workshop on Principles of Diagnosis 203-210 Show publication in PURE
Gerald Steinbauer and Franz Wotawa On the Evaluation and Certification of the Robustness of Autonomous Intelligent Systems International Workshop on Principles of Diagnosis 167-170 Show publication in PURE
Franz Wotawa, Simona Alina Nica and Mihai Nica Constraint-Based Debugging Combining Mutations and Distinguishing Test Cases Proceedings of the Ninth Workshop on Intelligent Solutions in Embedded Systems (WISES 2011) Show publication in PURE
Gerald Steinbauer and Franz Wotawa Evaluating the Robustness of the Perception-Decision-Execution Cycle of Autonomous Robots ICAR Workshop on Performance Measures for Quantifying Safe and Reliable Operation of Professional Service Robots in Unstructured, Dynamic Environments Show publication in PURE
Franz Wotawa Adaptive autonomous systems - From the system's architecture to testing Proceedings of the 1st International ISOLA Workshop on Software Aspects of Robotics Systems Show publication in PURE
Simona Alina Nica, Mihai Nica and Franz Wotawa Detecting Equivalent Mutants by Means of Constraint Systems The Third International Conference on Advances in System Testing and Validation Lifecycle (VALID 2011) Show publication in PURE
Simona Alina Nica, Rudolf Ramler and Franz Wotawa Is Mutation Testing Scalable for Real-World Software Projects? The Third International Conference on Advances in System Testing and Validation Lifecycle Show publication in PURE
Christian Schwarzl, Bernhard Aichernig and Franz Wotawa Compositional Random Testing Using Extended Symbolic Transition Systems Testing Software and Systems 179-194 Show publication in PURE
Stefan Galler, Thomas Quaritsch, Martin Weiglhofer and Franz Wotawa The IntiSa approach: Test Input Data Generation for Non-Primitive Data Types by means of SMT solver based Bounded Model Checking 11th International Conference On Quality Software 1-10 Show publication in PURE
Franz Wotawa (Still) open research questions to be solved in the context of smart autonomous systems – Extended abstract Proceedings of the Austrian Robotics Workshop 9-11 Show publication in PURE
Bernhard Peischl and Franz Wotawa An Abstract Operational Framework for Dependence Models in Software Debugging Proceedings of the ICST Workshop on Testing and Debugging (TeBug) Show publication in PURE
Franz Wotawa and Mihai Nica Program debugging using constraints – Is it feasible? Proceedings of the 11th International Conference on Quality Software (QSIC) 236-243 Show publication in PURE
Franz Wotawa On the use of constraints in dynamic slicing for program debugging Proceedings of the ICST Workshop on Testing and Debugging (TeBug) Show publication in PURE
Other Article
Iulia-Dana Nica and Franz Wotawa Diagnosis-based reconfiguration using the MINION constraint solver Show publication in PURE
Ingo Hans Pill, Thomas Quaritsch and Franz Wotawa From Conflicts to Diagnoses: An Empirical Evaluation of Minimal Hitting Set Algorithms Show publication in PURE
2010
Proceedings
Alexander Felfernig and Franz Wotawa Proceedings of the ECAI'2010 Workshop on Intelligent Engineering Techniques for Knowledge Bases Show publication in PURE
Journal Article
Syed Nadeem Ahsan, Muhammad Tanvir Afzal, Safdar Zaman, Christian Gütl and Franz Wotawa Mining Effort Data from the OSS Repository of Developer's Bug Fix Activity Show publication in PURE
Franz Wotawa, Ignasi Rodriquez-Roda and Joaquim Comas Environmental decision support systems based on models and model-based reasoning Show publication in PURE
Mihai Nica, Bernhard Peischl and Franz Wotawa Constraint-based configuration of embedded automotive software Show publication in PURE
Conference/Workshop Article
Stefan Galler, Andreas Maller and Franz Wotawa Automatically Extracting Mock Object Behavior from Design by Contract Specification for Test Data Generation International Workshop on Automation of Software Test 1-8 Show publication in PURE
Gerald Steinbauer and Franz Wotawa On the Way to Automated Belief Repair for Autonomous Robots International Workshop on Principles of Diagnosis Show publication in PURE
Franz Wotawa Fault Localization Based On Dynamic Slicing and Hitting-Set Computation Proceedings of the 10th International Conference on Quality Software Show publication in PURE
Jörg Weber and Franz Wotawa Combining Runtime Diagnosis and AI-Planning in a Mobile Autonomous Robot to Achieve a Graceful Degradation after Software Failures International Conference on Agents and Artificial Intelligence Show publication in PURE
Elisabeth Jöbstl, Martin Weiglhofer, Bernhard Aichernig and Franz Wotawa When BDDs Fail: Conformance Testing with Symbolic Execution and SMT Solving 2010 Third International Conference on Software Testing, Verification and Validation (ICST 2010) 479-488 Show publication in PURE
Franz Wotawa and Ingo Hans Pill On Classification and Modeling Issues in Distributed Model‐based Diagnosis Proceedings of the ECAI 2010 Workshop on Intelligent Engineering Techniques for Knowledge Bases (IKBET) 27-32 Show publication in PURE
Franz Wotawa, Mihai Nica and Bernhard Aichernig Generating Distinguishing Tests using the MINION Constraint Solver Proc. of the 2nd Workshop on Constraints in Software Testing, Verification and Analysis (CSTVA'10) 1-6 Show publication in PURE
Stefan Galler, Christoph Zehentner and Franz Wotawa AIana: An AI Planning System for Test Data Generation 1st ECOOP Workshop on Testing Object-Oriented Systems 1-8 Show publication in PURE
Stephan Gspandl, Michael Reip, Gerald Steinbauer and Franz Wotawa From Sketch to Plan International Workshop on Qualitative Reasoning Show publication in PURE
Syed Nadeem Ahsan and Franz Wotawa Impact Analysis of SCRs Using Single and Multi-Label Machine Learning Classification International Symposium on Empirical Software Engineering and Measurement Show publication in PURE
Mihai Nica, Simona Alina Nica and Franz Wotawa Does testing help to reduce the number of potentially faulty statement in debugging? TAIC PART 2010, Show publication in PURE
Mihai Nica, Simona Alina Nica and Franz Wotawa Using Distinguishing Tests to Reduce the Number of Fault Candidates Proceedings of the 21st International Workshop on the Principles of Diagnosis Show publication in PURE
Simona Alina Nica, Mihai Nica and Franz Wotawa Improving the Mutation Score by Means of Distinguishing Test Cases Proceedings of the 22nd Nordic Workshop on Programming Theory - NWPT '10 Show publication in PURE
Stefan Galler, Martin Weiglhofer and Franz Wotawa Synthesize it: from Design by Contract™to Meaningful Test Input Data Software Engineering and Formal Methods 2010 1-10 Show publication in PURE