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
Nicole Brosch, Pablo Eugui, Laurin Ginner, Christoph Feichtinger, Peter A. Leitl, Andreas Flanschger and Franz Wotawa Aerodynamic Efficiency Inspection of Micro-Structured Functional Surfaces
AIAA SciTech Forum and Exposition, 2024
Publikation in PURE anzeigen
Liliana Marie Prikler and Franz Wotawa 9 in 10 cameras agree
Proceedings - 2024 IEEE/ACM International Conference on Automation of Software Test, AST 2024
219-223
Publikation in PURE anzeigen
Ledio Jahaj, Lorenz Klampfl and Franz Wotawa Knowledge-Based Monitoring for Checking Law and Regulation Compliance
Advances and Trends in Artificial Intelligence. Theory and Applications
491-502
Publikation in PURE anzeigen
Florian Kluck, Daniel Sumann and Franz Wotawa Utilizing Genetic Algorithms for Generating Critical Scenarios for Testing Autonomous Driving Functions
Proceedings - 6th IEEE International Conference on Artificial Intelligence Testing, AITest 2024
73-80
Publikation in PURE anzeigen
Florian Kluck, Yihao Li, Jianbo Tao and Franz Wotawa Summary of 'An empirical comparison of combinatorial testing and search-based testing in the context of automated and autonomous driving systems'
Proceedings - 2024 IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2024
178-179
Publikation in PURE anzeigen
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
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
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
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
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
Franz Wotawa Surveying and Generalizing Methods for Combining Dynamic Slicing with Spectrum-based Fault Localization
Publikation in PURE anzeigen
Lorenz Klampfl and Franz Wotawa Identifying Critical Scenarios in Autonomous Driving During Operation
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
Ovidiu Vermesan, Franz Wotawa, Mario Diaz Nava and Björn Debaillie Industrial Artificial Intelligence Technologies and Applications9788770227919
Publikation in PURE anzeigen
Angelo Gargantini and Franz Wotawa General Message from the IWCT 2022 Workshop ChairsProceedings of the International Workshop on Combinatorial Testingxiv
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
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
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
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
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
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
Franz Wotawa and Oliver Tazl On the Verification of Diagnosis Models
Industrial Artificial Intelligence Technologies and Applications
189-203
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
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
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
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
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
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
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
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, 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
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
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
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
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
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
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
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
Franz Wotawa, Gerhard Friedrich, Ingo Pill, Roxane Koitz-Hristov and Moonis Ali Advances in Artificial Intelligence. From Theory to Practice
Publikation in PURE anzeigen
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
Josip Bozic, Bernhard Garn, Dimitris E. Simos and Franz Wotawa Evaluation of the IPO-Family Algorithms for Test Case Generation in Web Security Testing
2015 IEEE Eighth International Conference on Software Testing, Verification and Validation Workshops (ICSTW
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
Josip Bozic and Franz Wotawa PURITY: a Planning-based secURITY testing tool
2015 IEEE International Conference on Software Quality, Reliability and Security - Companion Workshop on Trustworthy Computing
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
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
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
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
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
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
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
Franz Wotawa Adaptive Autonomous Systems – From the System’s Architecture to TestingLeveraging Applications of Formal Methods, Verification, and Validation76-90
Publikation in PURE anzeigen
Bernhard Peischl, Naveed Riaz and Franz Wotawa Automated Debugging of Verilog Designs
Publikation in PURE anzeigen
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 Moraru Automated debugging based on a constraint model of the program and a test case
Publikation in PURE anzeigen
Birgit Gertraud Hofer and Franz Wotawa Fallstudien zum Einsatz modellbasierter Testtechniken in der industriellen Praxis
Publikation in PURE anzeigen
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
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
121-130
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
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
Alexander Felfernig and Franz Wotawa Proceedings of the ECAI'2010 Workshop on Intelligent Engineering Techniques for Knowledge Bases
Publikation in PURE anzeigen
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
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