Publications of Group Wotawa

2024
Beitrag in Fachzeitschrift
Roxane Koitz-Hristov, Thomas Sterner, Lukas Stracke and Franz Wotawa On the suitability of checked coverage and genetic parameter tuning in test suite reduction Publikation in PURE anzeigen
2023
Buchkapitel
Birgit Hofer and Franz Wotawa Software fault localization in spreadsheetsHandbook of Software Fault Localization425-450 Publikation in PURE anzeigen
W. Eric Wong, Ruizhi Gao, Yihao Li, Rui Abreu, Franz Wotawa and Dongcheng Li Software fault localizationHandbook of Software Fault Localization1-117 Publikation in PURE anzeigen
Birgit Hofer, Franz Wotawa, Wolfgang Mayer and Markus Stumptner Model-based techniques for software fault localizationHandbook of Software Fault Localization393-424 Publikation in PURE anzeigen
Beitrag in Fachzeitschrift
Xinhai Zhang, Jianbo Tao, Kaige Tan, Martin Torngren, Jose Manuel Gaspar Sanchez, Muhammad Rusyadi Ramli, Xin Tao, Magnus Gyllenhammar, Franz Wotawa, Naveen Mohan, Mihai Nica and Hermann Felbinger Finding Critical Scenarios for Automated Driving Systems Publikation in PURE anzeigen
Adil Mukhtar, Birgit Hofer, Dietmar Jannach and Franz Wotawa Explaining software fault predictions to spreadsheet users Publikation in PURE anzeigen
Florian Klück, Yihao Li, Jianbo Tao and Franz Wotawa An empirical comparison of combinatorial testing and search-based testing in the context of automated and autonomous driving systems Publikation in PURE anzeigen
Seema Jehan and Franz Wotawa An Empirical Study of Greedy Test Suite Minimization Techniques Using Mutation Coverage Publikation in PURE anzeigen
Tagungsbeitrag
Ledio Jahaj, Stalin Munoz Gutierrez, Thomas Walter Rosmarin, Franz Wotawa and Gerald Steinbauer-Wagner A Model-based diagnosis integrated architecture for dependable autonomous robots 34th International Workshop on Principles of Diagnosis (DX’23) Publikation in PURE anzeigen
Selim Solmaz, Georg Stettinger and Franz Wotawa Residual Risk Management Strategies at System Level presented for ACC/LKA Behavioural Competencies IAVVC 2023 - IEEE International Automated Vehicle Validation Conference, Proceedings Publikation in PURE anzeigen
Alexander Perko, Haoran Zhao and Franz Wotawa Optimizing Named Entity Recognition for Improving Logical Formulae Abstraction from Technical Requirements Documents Proceedings - 2023 10th International Conference on Dependable Systems and Their Applications, DSA 2023 211-222 Publikation in PURE anzeigen
Thomas Hirsch and Franz Wotawa Analysing Residual Risks when Introducing Monitoring and Diagnosis into Systems Proceedings - 2023 10th International Conference on Dependable Systems and Their Applications, DSA 2023 698-709 Publikation in PURE anzeigen
Yavuz Koroglu and Franz Wotawa Continuous Domain Input Abstraction and Fault Detection Capability in Combinatorial Testing Proceedings - 2023 38th IEEE/ACM International Conference on Automated Software Engineering Workshops, ASEW 2023 167-170 Publikation in PURE anzeigen
Franz Wotawa, Ledio Jehaj and Nicole Brosch On the Evaluation of Photometric Stereo Applications Testing Using Image Modifications Testing Software and Systems - 35th IFIP WG 6.1 International Conference, ICTSS 2023, Proceedings 40-51 Publikation in PURE anzeigen
Georg Stettinger and Franz Wotawa Smart Monitoring for Safety-Assurance in Autonomous Driving Proceedings of the International Conference on Software Engineering and Knowledge Engineering, SEKE 542-547 Publikation in PURE anzeigen
Franz Wotawa Which Components to Blame? Integrating Diagnosis into Monitoring of Technical Systems Advances and Trends in Artificial Intelligence. Theory and Applications 33-44 Publikation in PURE anzeigen
Yavuz Koroglu and Franz Wotawa Towards a Review on Simulated ADAS/AD Testing Proceedings - 2023 IEEE/ACM International Conference on Automation of Software Test, AST 2023 112-122 Publikation in PURE anzeigen
Ludwig Kampel, Michael Wagner, Dimitris E. Simos, Mihai Nica, Dino Dodig, David Kaufmann and Franz Wotawa Applying CT-FLA for AEB Function Testing Proceedings - 2023 IEEE 16th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2023 237-245 Publikation in PURE anzeigen
Yavuz Koroglu and Franz Wotawa Bottleneck Analysis via Grammar-based Performance Fuzzing<sup>*</sup> Proceedings - 2023 IEEE 16th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2023 180-185 Publikation in PURE anzeigen
Nour Chetouane and Franz Wotawa Generating concrete test cases from vehicle data using models obtained from clustering Proceedings - 2023 IEEE 16th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2023 70-77 Publikation in PURE anzeigen
Nour Chetouane and Franz Wotawa Using Data Abstraction for Clustering in the Context of Test Case Generation Proceedings - 2023 IEEE 23rd International Conference on Software Quality, Reliability, and Security, QRS 2023 260-271 Publikation in PURE anzeigen
Axel Boström and Franz Wotawa Wireless Threats Against V2X Communication Proceedings - 2023 IEEE 23rd International Conference on Software Quality, Reliability, and Security, QRS 2023 529-540 Publikation in PURE anzeigen
Liliana Marie Prikler and Franz Wotawa A Systematic Mapping Study of Digital Twins for Diagnosis in Transportation Proceedings - 2023 10th International Conference on Dependable Systems and Their Applications, DSA 2023 431-442 Publikation in PURE anzeigen
Sonstiger Beitrag
Liliana Marie Prikler and Franz Wotawa A Systematic Mapping Study of DigitalTwins for Diagnosis in Transportation Publikation in PURE anzeigen
Franz Wotawa Surveying and Generalizing Methods for Combining Dynamic Slicing with Spectrum-based Fault Localization Publikation in PURE anzeigen
Michael Reisenbichler, Franz Wotawa, Keith O'Donovan, Carles Ribas Tugores and Franz Hengel LargeTESModelingToolkit: A Modelica Library for Large-scale Thermal Energy Storage Modeling and Simulation Publikation in PURE anzeigen
Lorenz Klampfl and Franz Wotawa Identifying Critical Scenarios in Autonomous Driving During Operation Publikation in PURE anzeigen
2022
Book
Ovidiu Vermesan, Franz Wotawa, Mario Diaz Nava and Björn Debaillie Industrial Artificial Intelligence Technologies and Applications9788770227919 Publikation in PURE anzeigen
Buchkapitel
Angelo Gargantini and Franz Wotawa General Message from the IWCT 2022 Workshop ChairsProceedings of the International Workshop on Combinatorial Testingxiv Publikation in PURE anzeigen
Franz Wotawa and Hong Zhu Message from the General Chairs AITest 2022Proceedings - 4th IEEE International Conference on Artificial Intelligence Testing, AITest 2022VII Publikation in PURE anzeigen
W. Eric Wong, Franz Wotawa, Liwei Zheng, Tugkan Tuglular and Hongji Yang Message from the Symposium ChairsProceedings - 2022 8th International Symposium on System Security, Safety, and Reliability, ISSSR 2022X-XI Publikation in PURE anzeigen
Miquel Sànchez-Marrè and Franz Wotawa Model-Driven Intelligent Decision Support SystemsIntelligent Decision Support Systems117-223 Publikation in PURE anzeigen
Miquel Sànchez-Marrè and Franz Wotawa The Use of Intelligent Models in Decision SupportIntelligent Decision Support Systems411-530 Publikation in PURE anzeigen
Beitrag in Fachzeitschrift
Adil Mukhtar, Birgit Hofer, Dietmar Jannach and Franz Wotawa Spreadsheet debugging Publikation in PURE anzeigen
Lorenz Klampfl, Florian Klück and Franz Wotawa Using genetic algorithms for automating automated lane‐keeping system testing Publikation in PURE anzeigen
Bernhard Peischl, Oliver A. Tazl and Franz Wotawa Testing anticipatory systems Publikation in PURE anzeigen
Franz Wotawa and David Kaufmann Model-based reasoning using answer set programming Publikation in PURE anzeigen
Nour Chetouane and Franz Wotawa On the application of clustering for extracting driving scenarios from vehicle data Publikation in PURE anzeigen
Tagungsbeitrag
Franz Wotawa and Horst Lewitschnig Monitoring Hierarchical Systems for Safety Assurance Intelligent Distributed Computing XIV 331-340 Publikation in PURE anzeigen
Herbert Mühlburger and Franz Wotawa A Passive Testing Approach using a Semi-Supervised Intrusion Detection Model for SCADA Network Traffic Proceedings - 4th IEEE International Conference on Artificial Intelligence Testing, AITest 2022 42-47 Publikation in PURE anzeigen
Liliana Marie Prikler and Franz Wotawa Challenges of testing self-adaptive systems 26th ACM International Systems and Software Product Line Conference, SPLC 2022 - Proceedings 224-228 Publikation in PURE anzeigen
Adil Mukhtar, Birgit Gertraud Hofer, Dietmar Jannach, Franz Wotawa and Konstantin Schekotihin Boosting Spectrum-Based Fault Localization for Spreadsheets with Product Metrics in a Learning Approach ASE '22: Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering Publikation in PURE anzeigen
Ledio Jahaj and Franz Wotawa Testing Photometric Stereo Applications Proceedings - 2022 9th International Conference on Dependable Systems and Their Applications, DSA 2022 163-171 Publikation in PURE anzeigen
Oliver A. Tazl, Christopher Tafeit, Franz Wotawa and Alexander Felfernig DDMin versus QuickXplain - An Experimental Comparison of two Algorithms for Minimizing Collections SEKE 2022 - Proceedings of the 34th International Conference on Software Engineering and Knowledge Engineering 481-486 Publikation in PURE anzeigen
P. A. Leitl, C. Feichtinger, I. Ortiz de Viñaspre, A. Flanschger, F. Wotawa, J. W. Naugthon and F. A. Mier Numerical and experimental study of riblet defects and their impact on performance AIAA SciTech Forum 2022 Publikation in PURE anzeigen
David Kaufmann and Franz Wotawa A Framework for Integrating Automated Diagnosis into Simulation Industrial Artificial Intelligence Technologies and Applications 113-127 Publikation in PURE anzeigen
Franz Wotawa and Oliver Tazl On the Verification of Diagnosis Models Industrial Artificial Intelligence Technologies and Applications 189-203 Publikation in PURE anzeigen
Franz Wotawa and Vlad Andrei Dumitru The Java2CSP Debugging Tool Utilizing Constraint Solving and Model-Based Diagnosis Principles Advances and Trends in Artificial Intelligence. Theory and Practices in Artificial Intelligence - 35th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2022, Proceedings 543-554 Publikation in PURE anzeigen
Nour Chetouane and Franz Wotawa Extracting Temporal Models from Data Episodes Proceedings - 2022 IEEE 22nd International Conference on Software Quality, Reliability and Security, QRS 2022 721-731 Publikation in PURE anzeigen
Michael Reisenbichler, Keith O'Donovan, Carles Ribas Tugores, Wim van Helden and Franz Wotawa Towards More Efficient Modeling and Simulation of Large-scale Thermal Energy Storages in Future Local and District Energy Systems BS 2021 - Proceedings of Building Simulation 2021 2155-2162 Publikation in PURE anzeigen
Sonstiger Beitrag
Roxane Koitz-Hristov, Lukas Stracke and Franz Wotawa Checked Coverage for Test Suite Reduction – Is It Worth the Effort? Publikation in PURE anzeigen
Lorenz Klampfl and Franz Wotawa On the Use of Qualitative Reasoning in Autonomous Driving Publikation in PURE anzeigen
Franz Wotawa Using ASP for Model-based Diagnosis Publikation in PURE anzeigen
2021
Buchkapitel
Nour Chetouane and Franz Wotawa On the Application of Machine Learning in Software TestingArtificial Intelligence Methods for Software Engineering243-268 Publikation in PURE anzeigen
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 Publikation in PURE anzeigen
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 Publikation in PURE anzeigen
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 Publikation in PURE anzeigen
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 Publikation in PURE anzeigen
Frédéric Loulergue and Franz Wotawa PrefaceTests and Proofsv-vi Publikation in PURE anzeigen
Konstantin Schekotihin, Birgit Gertraud Hofer, Franz Wotawa and Dietmar Jannach AI-based Spreadsheet DebuggingArtificial Intelligence Methods for Software Engineering371-399 Publikation in PURE anzeigen
Wolfgang Mayer and Franz Wotawa Artificial Intelligence Methods for Software DebuggingArtificial Intelligence Methods for Software Engineering401-435 Publikation in PURE anzeigen
W. Eric Wong, T. H. Tse, Franz Wotawa, Xianpeng Wang, Katerina Goseva-Popstojanova, Henrique Madeira and Zheng Zheng Message from the QRS 2021 Steering Committee Chairs, General Chairs, and Program Chairs2021 IEEE 21st International Conference on Software Quality, Reliability and Security (QRS)xviii-xx Publikation in PURE anzeigen
Franz Wotawa, Florian Klück, Martin Zimmermann, Mihai Nica, Hermann Felbinger, Jianbo Tao and Yihao Li Recent verification and validation methodologies for advanced driver-assistance systemsAutonomous Driving and Advanced Driver-Assistance Systems (ADAS)295-318 Publikation in PURE anzeigen
Beitrag in Fachzeitschrift
Hannes Hornischer, Joshua Cherian Varughese, Ronald Thenius, Franz Wotawa, Manfred Füllsack and Thomas Schmickl CIMAX Publikation in PURE anzeigen
Birgit Hofer, Dietmar Jannach, Patrick Koch, Konstantin Schekotihin and Franz Wotawa Product metrics for spreadsheets — a systematic review Publikation in PURE anzeigen
David Kaufmann, Iulia Nica and Franz Wotawa Intelligent Agents Diagnostics - Enhancing Cyber-Physical Systems with Self-Diagnostic Capabilities. Publikation in PURE anzeigen
Tagungsbeitrag
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 Publikation in PURE anzeigen
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 Publikation in PURE anzeigen
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 Publikation in PURE anzeigen
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 Publikation in PURE anzeigen
Oliver Tazl and Franz Wotawa Metamorphic Testing of Logic Theorem Prover Proceedings of the 33rd IFIP International Conference on Testing Software and Systems Publikation in PURE anzeigen
Franz Wotawa Integrating multiple observation sets into consistency-based diagnosis Proceedings of the 32nd International Workshop on Principle of Diagnosis Publikation in PURE anzeigen
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) Publikation in PURE anzeigen
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 Publikation in PURE anzeigen
Nour Chetouane, Lorenz Klampfl and Franz Wotawa Extracting information from driving data using k-means clustering Proceedings - SEKE 2021 610-615 Publikation in PURE anzeigen
Florian Klück, Lorenz Klampfl and Franz Wotawa GABezier at the SBST 2021 Tool Competition Proceedings - 2021 IEEE/ACM 14th International Workshop on Search-Based Software Testing, SBST 2021 38-39 Publikation in PURE anzeigen
Franz Wotawa, Lorenz Klampfl and Ledio Jahaj A framework for the automation of testing computer vision systems Proceedings - 2021 IEEE/ACM International Conference on Automation of Software Test, AST 2021 121-124 Publikation in PURE anzeigen
2020
Buchkapitel
Franz Wotawa Using model-based reasoning for self-adaptive control of smart battery systemsArtificial Intelligence Techniques for a Scalable Energy Transition279-310 Publikation in PURE anzeigen
Franz Wotawa Message from the General Chair2020 IEEE International Conference On Artificial Intelligence Testing (AITest)viii Publikation in PURE anzeigen
Beitrag in Fachzeitschrift
Roxane Koitz-Hristov and Franz Wotawa Faster horn diagnosis - a performance comparison of abductive reasoning algorithms Publikation in PURE anzeigen
Josip Bozic and Franz Wotawa Planning-based security testing of web applications with attack grammars Publikation in PURE anzeigen
Martin Zimmermann and Franz Wotawa An adaptive system for autonomous driving Publikation in PURE anzeigen
Joshua Cherian Varughese, Hannes Hornischer, Payam Zahadat, Ronald Thenius, Franz Wotawa and Thomas Schmickl A swarm design paradigm unifying swarm behaviors using minimalistic communication Publikation in PURE anzeigen
Yihao Li, Jianbo Tao and Franz Wotawa Ontology-based test generation for automated and autonomous driving functions Publikation in PURE anzeigen
Tagungsbeitrag
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 Publikation in PURE anzeigen
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 Publikation in PURE anzeigen
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 Publikation in PURE anzeigen
Franz Wotawa and Lorenz Klampfl Explaining Object Motion Using Answer Set Programming Foundations of Intelligent Systems 298-307 Publikation in PURE anzeigen
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 Publikation in PURE anzeigen
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 Publikation in PURE anzeigen
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 Publikation in PURE anzeigen
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 Publikation in PURE anzeigen
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 Publikation in PURE anzeigen
Josip Bozic and Franz Wotawa Interrogating Virtual Agents Testing Software and Systems - 32nd IFIP WG 6.1 International Conference, ICTSS 2020, Proceedings 20-34 Publikation in PURE anzeigen
Sonstiger Beitrag
Martin Jochen Zimmermann, Ingo Pill and Franz Wotawa Drawing on SFL for Making Intelligent Decisions in RBL Publikation in PURE anzeigen
2019
Buchkapitel
Franz Wotawa Reasoning from first principles for self-adaptive and autonomous systemsPredictive Maintenance in Dynamic Systems Publikation in PURE anzeigen
Joshua Cherian Varughese, Daniel Moser, Ronald Thenius, Franz Wotawa and Thomas Schmickl swarmFSTaxisUnderstanding Complex Systems213-222 Publikation in PURE anzeigen
Proceedings
Franz Wotawa, Gerhard Friedrich, Ingo Pill, Roxane Koitz-Hristov and Moonis Ali Advances in Artificial Intelligence. From Theory to Practice Publikation in PURE anzeigen
Beitrag in Fachzeitschrift
Patrick Koch, Konstantin Schekotihin, Dietmar Jannach, Birgit Gertraud Hofer and Franz Wotawa Metric-based Fault Prediction for Spreadsheets Publikation in PURE anzeigen
Yihao Li, Shou-Yu Lee, Franz Wotawa and W. Eric Wong Using Tri-Relation Networks for Effective Software Fault-Proneness Prediction Publikation in PURE anzeigen
Daniela Kengyel, Payam Zahadat, Franz Wotawa and Thomas Schmickl Towards swarm level optimisation: The role of different movement patterns in swarm systems Publikation in PURE anzeigen
Patrick Koch, Birgit Gertraud Hofer and Franz Wotawa On the Refinement of Spreadsheet Smells by means of Structure Information Publikation in PURE anzeigen
Franz Wotawa, Gerhard Friedrich, Ingo Pill, Roxane Koitz-Hristov and Moonis Ali Current approaches in applied artificial intelligence Publikation in PURE anzeigen
Tagungsbeitrag
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 Publikation in PURE anzeigen
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 Publikation in PURE anzeigen
Josip Bozic and Franz Wotawa Testing Chatbots Using Metamorphic Relations Testing Software and Systems 41-55 Publikation in PURE anzeigen
Josip Bozic and Franz Wotawa Software Testing: According to Plan! IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) 23-31 Publikation in PURE anzeigen
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) Publikation in PURE anzeigen
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 Publikation in PURE anzeigen
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 Publikation in PURE anzeigen
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 Publikation in PURE anzeigen
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 Publikation in PURE anzeigen
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 Publikation in PURE anzeigen
Florian Klück, Martin Zimmermann, Franz Wotawa and Mihai Nica Performance Comparison of Two Search-Based Testing Strategies for ADAS System Validation Testing Software and Systems - 31st IFIP WG 6.1 International Conference, ICTSS 2019, Proceedings 140-156 Publikation in PURE anzeigen
Florian Kluck, Martin Zimmermann, Franz Wotawa and Mihai Nica Genetic Algorithm-Based Test Parameter Optimization for ADAS System Testing Proceedings - 19th IEEE International Conference on Software Quality, Reliability and Security, QRS 2019 418-425 Publikation in PURE anzeigen
Jianbo Tao, Yihao Li, Franz Wotawa, Hermann Felbinger and Mihai Nica On the industrial application of combinatorial testing for autonomous driving functions Proceedings - 2019 IEEE 12th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2019 234-240 Publikation in PURE anzeigen
Christian Eitner and Franz Wotawa Crucial tool features for successful combinatorial input parameter testing in an industrial application Proceedings - 2019 IEEE 12th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2019 188-189 Publikation in PURE anzeigen
Sonstiger Beitrag
Ingo Pill and Franz Wotawa Exploiting Observations from Combinatorial Testing for Diagnostic Reasoning Publikation in PURE anzeigen
Alexander Feldman, Ingo Pill, Franz Wotawa, Ion Matei and Johan de Kleer Diagnosing Sequential Circuits as Boolean Satisfaction Publikation in PURE anzeigen
Franz Wotawa, Joshua Cherian Varughese, Hannes Hornischer and Ronald Thenius Collective Event Detection Using Bio-inspired Minimalistic Communication in a Swarm of Unterwater Robots Publikation in PURE anzeigen
2018
Buchkapitel
Franz Wotawa, Bernhard Peischl and Roxane Koitz Diagnosis as a serviceDigital Marketplaces Unleashed557-567 Publikation in PURE anzeigen
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 Publikation in PURE anzeigen
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 Publikation in PURE anzeigen
Beitrag in Fachzeitschrift
Roxane Koitz-Hristov and Franz Wotawa Applying algorithm selection to abductive diagnostic reasoning Publikation in PURE anzeigen
Florian Steffen Klück, Franz Wotawa, Bernhard Peischl and Mihai Nica Quality assurance methodologies for automated driving Publikation in PURE anzeigen
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 Publikation in PURE anzeigen
Franz Wotawa and Valentin Kassarnig Evolutionary Propositionalization of Multi- Relational Data Publikation in PURE anzeigen
Ingo Pill and Franz Wotawa Automated generation of (F)LTL oracles for testing and debugging Publikation in PURE anzeigen
Dietmar Jannach, Thomas Schmitz, Birgit Hofer, Konstantin Schekotihin, Patrick Koch and Franz Wotawa Fragment-based spreadsheet debugging Publikation in PURE anzeigen
Tagungsbeitrag
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 Publikation in PURE anzeigen
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 Publikation in PURE anzeigen
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 Publikation in PURE anzeigen
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 Publikation in PURE anzeigen
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 Publikation in PURE anzeigen
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 Publikation in PURE anzeigen
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 Publikation in PURE anzeigen
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 Publikation in PURE anzeigen
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 Publikation in PURE anzeigen
Sonstiger Beitrag
Franz Wotawa and Yihao Li From Ontologies to Input Models for Combinatorial Testing Publikation in PURE anzeigen
Franz Wotawa, Gerhard Friedrich and Artur Andrzejak Software configuration diagnosis? A Survey of existing methods and open challenges Publikation in PURE anzeigen
Franz Wotawa, Iulia-Dana Nica and Oliver Tazl Chatbot-based tourist recommendations using model-based reasoning Publikation in PURE anzeigen
Franz Wotawa and Valentin Kassarnig Evolutionary propositionalization of multi-relational data Publikation in PURE anzeigen
Ingo Pill and Franz Wotawa On Using an I/O Model for Creating an Abductive Diagnosis Model via Combinatorial Exploration, Fault Injection, and Simulation Publikation in PURE anzeigen
Franz Wotawa, Birgit Gertraud Hofer, Radu Mateescu and Wendelin Serwe Using LNT Formal Descriptions for Model-Based Diagnosis Publikation in PURE anzeigen
Franz Wotawa Combining Combinatorial Testing and Metamorphic Testing for Testing a Logicbased Non-Monotonic Reasoning System Publikation in PURE anzeigen
Franz Wotawa On the automation of testing a logic-based diagnosis system Publikation in PURE anzeigen
2017
Buchkapitel
Franz Wotawa Testing Autonomous and Highly Configurable Systems: Challenges and Feasible SolutionsAutomated Driving519-532 Publikation in PURE anzeigen
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 Publikation in PURE anzeigen
Beitrag in Fachzeitschrift
Birgit Hofer, Andrea Höfler and Franz Wotawa Combining Models for Improved Fault Localization in Spreadsheets Publikation in PURE anzeigen
Tagungsbeitrag
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 Publikation in PURE anzeigen
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 Publikation in PURE anzeigen
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 Publikation in PURE anzeigen
Birgit Hofer, Iulia Nica and Franz Wotawa AI for Localizing Faults in Spreadsheets 29th International Conference on Testing Software and Systems (ICTSS) 71-87 Publikation in PURE anzeigen
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 Publikation in PURE anzeigen
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 Publikation in PURE anzeigen
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) Publikation in PURE anzeigen
Josip Bozic and Franz Wotawa Planning the Attack! Or How to use AI in Security Testing? First International Workshop on AI in Security (IWAIse) Publikation in PURE anzeigen
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) Publikation in PURE anzeigen
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 Publikation in PURE anzeigen
Harald Altinger, Steffen Herbold, Friederike Schneemann, Jens Grabowski and Franz Wotawa Performance tuning for automotive Software Fault Prediction SANER 2017 - 24th IEEE International Conference on Software Analysis, Evolution, and Reengineering 526-530 Publikation in PURE anzeigen
2016
Buchkapitel
Franz Wotawa Message from the QRS 2016 General ChairProceedings of the IEEE International Conference on Quality, Reliability, and Securityxiii Publikation in PURE anzeigen
Gerhard Friedrich, Malte Helmert and Franz Wotawa PrefaceProceedings of the 28th International Conference on Testing Software and SystemsV-VI Publikation in PURE anzeigen
Beitrag in Fachzeitschrift
Ingo Hans Pill, Thomas Quaritsch and Franz Wotawa On the practical performance of minimal hitting set algorithms from a diagnostic perspective Publikation in PURE anzeigen
Tagungsbeitrag
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 Publikation in PURE anzeigen
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) Publikation in PURE anzeigen
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 Publikation in PURE anzeigen
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 Publikation in PURE anzeigen
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 Publikation in PURE anzeigen
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 Publikation in PURE anzeigen
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 Publikation in PURE anzeigen
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 Publikation in PURE anzeigen
Patrick W. Koch, Birgit Hofer and Franz Wotawa Static Spreadsheet Analysis 2016 IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops 167-174 Publikation in PURE anzeigen
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 Publikation in PURE anzeigen
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 Publikation in PURE anzeigen
Bernhard Josef Peischl, Ingo Pill Pill and Franz Wotawa Abductive Diagnosis based on Modelica Models 27th International Workshop on Principles of Diagnosis Publikation in PURE anzeigen
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 Publikation in PURE anzeigen
Joshua Cherian Varughese, Ronald Thenius, Franz Wotawa and Thomas Schmickl FSTaxis algorithm Proceedings of the Artificial Life Conference 2016, ALIFE 2016 330-337 Publikation in PURE anzeigen
Sonstiger Beitrag
Hermann Felbinger, Franz Wotawa and Mihai Nica Empirical Study of Correlation Between Mutation Score and Model Inference Based Test Suite Adequacy Assessment Publikation in PURE anzeigen
Iulia Nica, Franz Wotawa, Gerhard Jakob and Kathrin Juhart Testing computer vision applications an experience report on introducing code coverage analysis in the field Publikation in PURE anzeigen
Franz Wotawa On the use of qualitative deviation models for diagnosis Publikation in PURE anzeigen
Joshua Cherian Varughese, Ronald Thenius, Franz Wotawa and Thomas Schmickl FireSlime Algorithm: Bio-Inspired Emergent Gradient Taxis Publikation in PURE anzeigen
2015
Buchkapitel
Benedikt Eberhardinger, Wolfgang Reif and Franz Wotawa Quality assurance for self-adaptive, self-organising systems2015 IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshopsxiv Publikation in PURE anzeigen
Beitrag in Fachzeitschrift
Birgit Gertraud Hofer, Franz Wotawa, Rui Abreu and Alexandre Perez On the empirical evaluation of similarity coefficients for spreadsheets fault localization Publikation in PURE anzeigen
Birgit Gertraud Hofer, Franz Wotawa, Rui Abreu and Alexandre Perez Using constraints to diagnose faulty spreadsheets Publikation in PURE anzeigen
Roxane Koitz and Franz Wotawa On the computational feasibility of abductive diagnosis for practical applications Publikation in PURE anzeigen
Tagungsbeitrag
Seema Jehan, Ingo Hans Pill, Birgit Gertraud Hofer and Franz Wotawa Focussed Diagnosis for Failing Software Tests IEA/AIE 2015 712-721 Publikation in PURE anzeigen
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 Publikation in PURE anzeigen
Seema Jehan, Ingo Hans Pill and Franz Wotawa BPEL Integration Testing International Conference on Fundamental Approaches to Software Engineering Publikation in PURE anzeigen
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 Publikation in PURE anzeigen
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 Publikation in PURE anzeigen
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 Publikation in PURE anzeigen
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 Publikation in PURE anzeigen
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 Publikation in PURE anzeigen
Roxane Koitz and Franz Wotawa SAT-Based Abductive Diagnosis Proceedings of the 26th International Workshop on Principles of Diagnosis (DX) 167-175 Publikation in PURE anzeigen
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 Publikation in PURE anzeigen
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 Publikation in PURE anzeigen
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 Publikation in PURE anzeigen
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 Publikation in PURE anzeigen
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 Publikation in PURE anzeigen
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 Publikation in PURE anzeigen
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 Publikation in PURE anzeigen
Roxane Koitz and Franz Wotawa Diagnosis of Technical Systems Proceedings of the International Joint Conference on Artificial Intelligence 2015 4375-4376 Publikation in PURE anzeigen
Harald Altinger, Sebastian Siegl, Yanja Dajsuren and Franz Wotawa A novel industry grade dataset for fault prediction based on model-driven developed automotive embedded software Proceedings - 12th Working Conference on Mining Software Repositories, MSR 2015 494-497 Publikation in PURE anzeigen
Harald Altinger, Steffen Herbold, Jens Grabowski and Franz Wotawa Novel insights on cross project fault prediction applied to automotive software Testing Software and Systems - 27th IFIP WG 6.1 International Conference, ICTSS 2015, Proceedings 141-157 Publikation in PURE anzeigen
Daniela Kengyel, Heiko Hamann, Payam Zahadat, Gerald Radspieler, Franz Wotawa and Thomas Schmickl Potential of heterogeneity in collective behaviors PRIMA 2015 201-217 Publikation in PURE anzeigen
Sonstiger Beitrag
Hermann Felbinger, Joel Sherrill, Gedare Bloom and Franz Wotawa Test suite coverage measurement and reporting for testing an operating system without instrumentation Publikation in PURE anzeigen
2014
Beitrag in Fachzeitschrift
Dietmar Jannach, Thomas Schmitz, Birgit Gertraud Hofer and Franz Wotawa Avoiding, Finding and Fixing Spreadsheet Errors – A Survey of Automated Approaches for Spreadsheet QA Publikation in PURE anzeigen
Tagungsbeitrag
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 Publikation in PURE anzeigen
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 Publikation in PURE anzeigen
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 Publikation in PURE anzeigen
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 Publikation in PURE anzeigen
Josip Bozic, Dimitris Simos and Franz Wotawa Attack Pattern-Based Combinatorial Testing International Workshop on Automation of Software Test 1-7 Publikation in PURE anzeigen
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 Publikation in PURE anzeigen
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 Publikation in PURE anzeigen
Birgit Gertraud Hofer, Rui Abreu, Alexandre Perez and Franz Wotawa Generation of Relevant Spreadsheet Repair Candidates European Conference on Artificial Intelligence 1027-1028 Publikation in PURE anzeigen
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 Publikation in PURE anzeigen
Franz Wotawa and Ingo Hans Pill Testing Configuration Knowledge-Bases Proceedings of the 16th International Configuration Workshop 39-46 Publikation in PURE anzeigen
Franz Wotawa Failure Mode and Effect Analysis for Abductive Diagnosis International Workshop on Defeasible and Ampliative Reasoning 1-13 Publikation in PURE anzeigen
Birgit Gertraud Hofer and Franz Wotawa Comparing Models for Spreadsheet Fault Localization European Conference on Artificial Intelligence 1029-1030 Publikation in PURE anzeigen
Birgit Gertraud Hofer and Franz Wotawa Why does my spreadsheet compute wrong values? International Symposium on Software Reliability Engineering 112-121 Publikation in PURE anzeigen
Josip Bozic and Franz Wotawa Security Testing Based on Attack Patterns The 5th International Workshop on Security Testing (SECTEST) 1-8 Publikation in PURE anzeigen
Josip Bozic and Franz Wotawa Plan It! Automated Security Testing Based on Planning International Conference on Testing Software and Systems 48-62 Publikation in PURE anzeigen
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 Publikation in PURE anzeigen
Sonstiger Beitrag
Birgit Gertraud Hofer and Franz Wotawa Comparing Models for Spreadsheet Fault Localization Publikation in PURE anzeigen
Seema Jehan, Birgit Gertraud Hofer, Ingo Hans Pill and Franz Wotawa Functional Diagnosis of a SOA's BPEL Processes Publikation in PURE anzeigen
Birgit Gertraud Hofer, Franz Wotawa, Rui Abreu and Alexandre Perez Generation of Relevant Spreadsheet Repair Candidates Publikation in PURE anzeigen
2013
Buchkapitel
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 Publikation in PURE anzeigen
Gerald Steinbauer and Franz Wotawa Model-Based Reasoning for Self-Adaptive Systems – Theory and PracticeAssurances for Self-Adaptive Systems187-213 Publikation in PURE anzeigen
Beitrag in Fachzeitschrift
Alexander Felfernig and Franz Wotawa Intelligent Engineering Techniques for Knowledge Bases Publikation in PURE anzeigen
Franz Wotawa and Ingo Hans Pill On Classification and Modeling Issues in Distributed Model-based Diagnosis Publikation in PURE anzeigen
Mihai Nica, Simona Alina Nica and Franz Wotawa On the use of mutations and testing for debugging Publikation in PURE anzeigen
Tagungsbeitrag
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 Publikation in PURE anzeigen
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 Publikation in PURE anzeigen
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 Publikation in PURE anzeigen
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 Publikation in PURE anzeigen
Franz Wotawa "Trust, But Verify" Ausgewählte Beiträge zur Anwenderkonferenz für Softwarequalität Test und Innovation 38-47 Publikation in PURE anzeigen
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 Publikation in PURE anzeigen
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 Publikation in PURE anzeigen
Seema Jehan, Ingo Hans Pill and Franz Wotawa Functional SOA testing based on constraints International Workshop on Automation of Software Test 33-39 Publikation in PURE anzeigen
Josip Bozic and Franz Wotawa XSS Pattern for Attack Modeling in Testing International Workshop on Automation of Software Test 71-74 Publikation in PURE anzeigen
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 Publikation in PURE anzeigen
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 Publikation in PURE anzeigen
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 Publikation in PURE anzeigen
Birgit Gertraud Hofer and Franz Wotawa Mutation-based spreadsheet debugging Software Reliability Engineering Workshops (ISSREW), 2013 IEEE International Symposium on 132-137 Publikation in PURE anzeigen
Sonstiger Beitrag
Iulia-Dana Nica, Ingo Hans Pill, Thomas Quaritsch and Franz Wotawa The Route to Success - A Performance Comparison of Diagnosis Algorithms Publikation in PURE anzeigen
2012
Book
Birgit Gertraud Hofer and Franz Wotawa Spectrum Enhanced Dynamic Slicing for Fault Localization Publikation in PURE anzeigen
Buchkapitel
Franz Wotawa Adaptive Autonomous Systems – From the System’s Architecture to TestingLeveraging Applications of Formal Methods, Verification, and Validation76-90 Publikation in PURE anzeigen
Beitrag in Fachzeitschrift
Jörg Weber and Franz Wotawa Diagnosis and repair of dependent failures in the control system of a mobile autonomous robot Publikation in PURE anzeigen
Birgit Gertraud Hofer and Franz Wotawa Combining Slicing and Constraint Solving for Better Debugging: The CONBAS Approach Publikation in PURE anzeigen
Franz Wotawa, Mihai Nica and Iulia-Dana Nica Automated debugging based on a constraint model of the program and a test case Publikation in PURE anzeigen
Bernhard Peischl, Naveed Riaz and Franz Wotawa Automated Debugging of Verilog Designs Publikation in PURE anzeigen
Birgit Gertraud Hofer and Franz Wotawa Fallstudien zum Einsatz modellbasierter Testtechniken in der industriellen Praxis Publikation in PURE anzeigen
Tagungsbeitrag
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 Publikation in PURE anzeigen
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 Publikation in PURE anzeigen
Birgit Gertraud Hofer, Franz Wotawa and Rui Abreu AI for the win: improving spectrum-based fault localization ACM SIGSOFT Software Engineering Notes 1-8 Publikation in PURE anzeigen
Simona Alina Nica and Franz Wotawa Using Constraints for Equivalent Mutant Detection Workshop on Formal Methods in the Development of Software Publikation in PURE anzeigen
Valentin Constantin Chimisliu and Franz Wotawa Model Based Test Case Generation for Distributed Embedded Systems International Conference on Industrial Technology p-p Publikation in PURE anzeigen
Josip Bozic and Franz Wotawa Model-based Testing - From Safety to Security Workshop on System Testing and Validation 9-16 Publikation in PURE anzeigen
Rui Abreu, Andrè Riboira and Franz Wotawa Debugging of Spreadsheets: A CSPbased Approach Software Reliability Engineering Workshops (ISSREW) 159-164 Publikation in PURE anzeigen
Birgit Gertraud Hofer and Franz Wotawa Spectrum Enhanced Dynamic Slicing for better Fault Localization ECAI 2012 - 20th European Conference on Artificial Intelligence. 420-425 Publikation in PURE anzeigen
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 Publikation in PURE anzeigen
Rui Abreu, André Riboira and Franz Wotawa Constraint-based Debugging of Spreadsheets Proceedings of the 15th Ibero-American Conference on Software Engineering Publikation in PURE anzeigen
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 Publikation in PURE anzeigen
Siegfried Podesser, Gerald Steinbauer and Franz Wotawa Selective Belief Management for High-­‐Level Robot Programs International Workshop on Principles of Diagnosis Publikation in PURE anzeigen
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 Publikation in PURE anzeigen
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 Publikation in PURE anzeigen
Sonstiger Beitrag
Iulia-Dana Nica and Franz Wotawa ConDiag - Computing minimal diagnoses using a constraint solver Publikation in PURE anzeigen
2011
Beitrag in Fachzeitschrift
Bernhard Aichernig, Bernhard Peischl and Franz Wotawa Modellbasiertes Testen (MBT) in der Softwareentwicklung Publikation in PURE anzeigen
Franz Wotawa On the Use of Abduction as an Alternative to Decision Trees in Environmental Decision Support Systems Publikation in PURE anzeigen
Christian Schwarzl and Franz Wotawa Test case generation in practice for communicating embedded systems Publikation in PURE anzeigen
Tagungsbeitrag
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 Publikation in PURE anzeigen
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) Publikation in PURE anzeigen
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) Publikation in PURE anzeigen
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 Publikation in PURE anzeigen
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 Publikation in PURE anzeigen
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 Publikation in PURE anzeigen
Franz Wotawa On the use of constraints in dynamic slicing for program debugging Proceedings of the ICST Workshop on Testing and Debugging (TeBug) Publikation in PURE anzeigen
Iulia-Dana Nica and Franz Wotawa SiMoL– A Modeling Language for Simulation and (Re-)Configuration Workshop on Configuration 40-43 Publikation in PURE anzeigen
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 Publikation in PURE anzeigen
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 Publikation in PURE anzeigen
Christian Schwarzl, Bernhard Aichernig and Franz Wotawa Compositional Random Testing Using Extended Symbolic Transition Systems Testing Software and Systems 179-194 Publikation in PURE anzeigen
Franz Wotawa and Mihai Nica Program debugging using constraints – Is it feasible? Proceedings of the 11th International Conference on Quality Software (QSIC) 236-243 Publikation in PURE anzeigen
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 Publikation in PURE anzeigen
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 Publikation in PURE anzeigen
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 Publikation in PURE anzeigen
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) Publikation in PURE anzeigen
Sonstiger Beitrag
Iulia-Dana Nica and Franz Wotawa Diagnosis-based reconfiguration using the MINION constraint solver Publikation in PURE anzeigen
Ingo Hans Pill, Thomas Quaritsch and Franz Wotawa From Conflicts to Diagnoses: An Empirical Evaluation of Minimal Hitting Set Algorithms Publikation in PURE anzeigen
2010
Proceedings
Alexander Felfernig and Franz Wotawa Proceedings of the ECAI'2010 Workshop on Intelligent Engineering Techniques for Knowledge Bases Publikation in PURE anzeigen
Beitrag in Fachzeitschrift
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 Publikation in PURE anzeigen
Mihai Nica, Bernhard Peischl and Franz Wotawa Constraint-based configuration of embedded automotive software Publikation in PURE anzeigen
Franz Wotawa, Ignasi Rodriquez-Roda and Joaquim Comas Environmental decision support systems based on models and model-based reasoning Publikation in PURE anzeigen
Tagungsbeitrag
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 Publikation in PURE anzeigen
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 Publikation in PURE anzeigen
Franz Wotawa Fault Localization Based On Dynamic Slicing and Hitting-Set Computation Proceedings of the 10th International Conference on Quality Software Publikation in PURE anzeigen
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 Publikation in PURE anzeigen
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 Publikation in PURE anzeigen
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 Publikation in PURE anzeigen
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 Publikation in PURE anzeigen
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 Publikation in PURE anzeigen
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 Publikation in PURE anzeigen
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 Publikation in PURE anzeigen
Gerald Steinbauer and Franz Wotawa On the Way to Automated Belief Repair for Autonomous Robots International Workshop on Principles of Diagnosis Publikation in PURE anzeigen
Stephan Gspandl, Michael Reip, Gerald Steinbauer and Franz Wotawa From Sketch to Plan International Workshop on Qualitative Reasoning Publikation in PURE anzeigen
Mihai Nica, Simona Alina Nica and Franz Wotawa Does testing help to reduce the number of potentially faulty statement in debugging? TAIC PART 2010, Publikation in PURE anzeigen
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 Publikation in PURE anzeigen