Franz Wotawa, Ledio Jahaj and Nicole BroschEvaluating Testing and Use of Photometric Stereo Applications for Riblet InspectionPublikation in PURE anzeigen
Michael Reisenbichler-S., Ioannis Sifnaios and Franz WotawaValidation of a pit thermal energy storage modelPublikation in PURE anzeigen
Patrick Rodler, Birgit Hofer, Dietmar Jannach, Iulia Nica and Franz WotawaChoosing abstraction levels for model-based software debugging: A theoretical and empirical analysis for spreadsheet programsPublikation in PURE anzeigen
Tagungsbeitrag
Liliana Marie Prikler and Franz WotawaMutating Clingo's AST with clingabominoTesting Software and Systems. ICTSS 2024151–158Publikation in PURE anzeigen
Liliana Marie Prikler and Franz WotawaReevaluating the small-scope testing hypothesis of answer set programsTesting Software and Systems. ICTSS 202479–92Publikation in PURE anzeigen
Roxane Koitz-Hristov, Franz Mandl and Franz WotawaVisOpt - Visualization of Compiler Optimizations for Computer Science EducationProceedings of the 56th ACM Technical Symposium on Computer Science EducationPublikation in PURE anzeigen
Ángela González de Diego and Franz WotawaOn the Variations of ChatGPT’s Response Quality for Generating Source Code Across Programming LanguagesTesting Software and Systems - 36th IFIP WG 6.1 International Conference, ICTSS 2024, Proceedings63-78Publikation in PURE anzeigen
Franz WotawaUtilizing Ontologies for Combinatorial Testing2025 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW)244-247Publikation in PURE anzeigen
Peter Grubelnik and Franz WotawaAutomata Learning for React Web Applications2025 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW)59-66Publikation in PURE anzeigen
Yavuz Koroglu, Mutlu Beyazit, Onur Kilincceker, Serge Demeyer and Franz WotawaTowards Improving Automated Testing with GraphWalker2025 IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 202554-58Publikation in PURE anzeigen
Tobias Kulmburg and Franz WotawaOntology-based Testing RevisitedProceedings - 2025 IEEE International Conference on Artificial Intelligence Testing, AITest 2025134-141Publikation in PURE anzeigen
Tobias Kulmburg, Nayab Shahzad and Franz WotawaState-of-the-Art of Ontology-based TestingProceedings - 2025 IEEE International Conference on Artificial Intelligence Testing, AITest 2025Publikation in PURE anzeigen
2024
Beitrag in Fachzeitschrift
Roxane Koitz-Hristov, Thomas Sterner, Lukas Stracke and Franz WotawaOn the suitability of checked coverage and genetic parameter tuning in test suite reductionPublikation in PURE anzeigen
Lorenz Klampfl, Florian Klück, Mihai Nica, Jianbo Tao and Franz WotawaTesting ADAS/ADS – from critical scenarios to automated testing oraclesPublikation in PURE anzeigen
Wei Xiong, Xinying Wang, Franz Wotawa and Qiaozhi HuaOptimizing Resource Scheduling for Multi-Scenario Mixed Service Groups under Edge Cloud-Native Environments Using Simulation LearningPublikation in PURE anzeigen
Lorenz Klampfl, Florian Steffen Klück and Franz WotawaUsing genetic algorithms for automating automated lane-keeping system testingPublikation in PURE anzeigen
Carmen Baumann, Yavuz Koroglu and Franz WotawaOn the Impact of Input Models on the Fault Detection Capabilities of Combinatorial TestingPublikation in PURE anzeigen
Tagungsbeitrag
Nicole Brosch, Pablo Eugui, Laurin Ginner, Christoph Feichtinger, Peter A. Leitl, Andreas Flanschger and Franz WotawaAerodynamic Efficiency Inspection of Micro-Structured Functional SurfacesAIAA SciTech Forum and Exposition, 2024Publikation in PURE anzeigen
Liliana Marie Prikler and Franz Wotawa9 in 10 cameras agreeProceedings - 2024 IEEE/ACM International Conference on Automation of Software Test, AST 2024219-223Publikation in PURE anzeigen
Ledio Jahaj, Lorenz Klampfl and Franz WotawaKnowledge-Based Monitoring for Checking Law and Regulation ComplianceAdvances and Trends in Artificial Intelligence. Theory and Applications491-502Publikation in PURE anzeigen
Florian Kluck, Yihao Li, Jianbo Tao and Franz WotawaSummary 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 2024178-179Publikation in PURE anzeigen
Florian Kluck, Daniel Sumann and Franz WotawaUtilizing Genetic Algorithms for Generating Critical Scenarios for Testing Autonomous Driving FunctionsProceedings - 6th IEEE International Conference on Artificial Intelligence Testing, AITest 202473-80Publikation in PURE anzeigen
Herbert Muhlburger and Franz WotawaFaultLines - Evaluating the Efficacy of Open-Source Large Language Models for Fault Detection in Cyber-Physical SystemsProceedings - 6th IEEE International Conference on Artificial Intelligence Testing, AITest 202447-54Publikation in PURE anzeigen
Adil Mukhtar, Dietmar Jannach and Franz WotawaInvestigating Reproducibility in Deep Learning-Based Software Fault PredictionProceedings - 2024 IEEE 24th International Conference on Software Quality, Reliability and Security, QRS 2024306-317Publikation in PURE anzeigen
Alexander Perko and Franz WotawaEvaluating OpenAI Large Language Models for Generating Logical Abstractions of Technical Requirements DocumentsProceedings - 2024 IEEE 24th International Conference on Software Quality, Reliability and Security, QRS 2024238-249Publikation in PURE anzeigen
Lorenz Klampfl and Franz WotawaLeveraging Answer Set Programming for Continuous Monitoring, Fault Detection, and Explanation of Automated and Autonomous Driving Systems35th International Conference on Principles of Diagnosis and Resilient Systems, DX 2024Publikation in PURE anzeigen
Stan Muñoz Gutiérrez, Adil Mukhtar and Franz WotawaData-Driven Diagnosis of Electrified Vehicles: Results from a Structured Literature Review35th International Conference on Principles of Diagnosis and Resilient Systems (DX 2024) 20:1-20:14Publikation in PURE anzeigen
Louise Travé-Massuyès and Franz WotawaBridging Hardware and Software Diagnosis35th International Conference on Principles of Diagnosis and Resilient Systems, DX 2024Publikation in PURE anzeigen
Herbert Muehlburger and Franz WotawaFLEX35th International Conference on Principles of Diagnosis and Resilient Systems, DX 2024Publikation in PURE anzeigen
Birgit Hofer and Franz WotawaDetecting Soft Faults in Heat Pumps35th International Conference on Principles of Diagnosis and Resilient Systems, DX 2024Publikation in PURE anzeigen
David Kaufmann, Matus Kozovsky and Franz WotawaSimulation-Based Diagnosis for Cyber-Physical Systems - A General Approach and Case Study on a Dual Three-Phase E-Machine35th International Conference on Principles of Diagnosis and Resilient Systems, DX 2024Publikation in PURE anzeigen
Alexander Perko and Franz WotawaTesting ChatGPT’s Performance on Medical Diagnostic TasksProceedings of the 27th International Multiconference Information Society – IS 2024914-919Publikation in PURE anzeigen
Alexander Perko, Iulia-Dana Nica and Franz WotawaUsing Combinatorial Testing for Prompt Engineering of LLMs in MedicineProceedings of the 27th International Multiconference Information Society – IS 2024930-935Publikation in PURE anzeigen
Nayab Shahzad and Franz WotawaTesting Reinforcement Learning - A structured Literature Review24th IEEE International Conference on Software Quality, Reliability, and Security QRS - CompanionPublikation in PURE anzeigen
Stephan Josef Frühwirt, Roxane Koitz-Hristov and Franz WotawaMIN2SMT - A MINION to SMT-LIB2 Compiler23rd Workshop on Contraint Modeling and Reformulation (ModRef)Publikation in PURE anzeigen
Franz WotawaEuropean Research Contributions to Model-based Reasoning - A Personal ViewWorkshop on the History of AI in Europe (WHAI@EU)Publikation in PURE anzeigen
Franz Wotawa and Nayab ShahzadTesting and Reinforcement Learning – A Structured Literature ReviewProceedings - 2024 IEEE 24th International Conference on Software Quality, Reliability and Security Companion, QRS-C 2024326-335Publikation in PURE anzeigen
Sonstiger Beitrag
Stan Muñoz Gutiérrez, Adil Mukhtar and Franz WotawaTransformer-Based Signal Inference for Electrified Vehicle PowertrainsPublikation in PURE anzeigen
Birgit Hofer and Franz WotawaSoftware fault localization in spreadsheetsHandbook of Software Fault Localization425-450Publikation in PURE anzeigen
W. Eric Wong, Ruizhi Gao, Yihao Li, Rui Abreu, Franz Wotawa and Dongcheng LiSoftware fault localizationHandbook of Software Fault Localization1-117Publikation in PURE anzeigen
Birgit Hofer, Franz Wotawa, Wolfgang Mayer and Markus StumptnerModel-based techniques for software fault localizationHandbook of Software Fault Localization393-424Publikation 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 FelbingerFinding Critical Scenarios for Automated Driving SystemsPublikation in PURE anzeigen
Adil Mukhtar, Birgit Hofer, Dietmar Jannach and Franz WotawaExplaining software fault predictions to spreadsheet usersPublikation in PURE anzeigen
Florian Klück, Yihao Li, Jianbo Tao and Franz WotawaAn empirical comparison of combinatorial testing and search-based testing in the context of automated and autonomous driving systemsPublikation in PURE anzeigen
Seema Jehan and Franz WotawaAn Empirical Study of Greedy Test Suite Minimization Techniques Using Mutation CoveragePublikation in PURE anzeigen
Tagungsbeitrag
Ledio Jahaj, Stalin Munoz Gutierrez, Thomas Walter Rosmarin, Franz Wotawa and Gerald Steinbauer-WagnerA Model-based diagnosis integrated architecture for dependable autonomous robots34th International Workshop on Principles of Diagnosis (DX’23)Publikation in PURE anzeigen
Liliana Marie Prikler and Franz WotawaA Systematic Mapping Study of Digital Twins for Diagnosis in TransportationProceedings - 2023 10th International Conference on Dependable Systems and Their Applications, DSA 2023431-442Publikation in PURE anzeigen
Selim Solmaz, Georg Stettinger and Franz WotawaResidual Risk Management Strategies at System Level presented for ACC/LKA Behavioural CompetenciesIAVVC 2023 - IEEE International Automated Vehicle Validation Conference, ProceedingsPublikation in PURE anzeigen
Alexander Perko, Haoran Zhao and Franz WotawaOptimizing Named Entity Recognition for Improving Logical Formulae Abstraction from Technical Requirements DocumentsProceedings - 2023 10th International Conference on Dependable Systems and Their Applications, DSA 2023211-222Publikation in PURE anzeigen
Thomas Hirsch and Franz WotawaAnalysing Residual Risks when Introducing Monitoring and Diagnosis into SystemsProceedings - 2023 10th International Conference on Dependable Systems and Their Applications, DSA 2023698-709Publikation in PURE anzeigen
Yavuz Koroglu and Franz WotawaContinuous Domain Input Abstraction and Fault Detection Capability in Combinatorial TestingProceedings - 2023 38th IEEE/ACM International Conference on Automated Software Engineering Workshops, ASEW 2023167-170Publikation in PURE anzeigen
Franz Wotawa, Ledio Jehaj and Nicole BroschOn the Evaluation of Photometric Stereo Applications Testing Using Image ModificationsTesting Software and Systems - 35th IFIP WG 6.1 International Conference, ICTSS 2023, Proceedings40-51Publikation in PURE anzeigen
Georg Stettinger and Franz WotawaSmart Monitoring for Safety-Assurance in Autonomous DrivingProceedings of the International Conference on Software Engineering and Knowledge Engineering, SEKE542-547Publikation in PURE anzeigen
Franz WotawaWhich Components to Blame? Integrating Diagnosis into Monitoring of Technical SystemsAdvances and Trends in Artificial Intelligence. Theory and Applications33-44Publikation in PURE anzeigen
Yavuz Koroglu and Franz WotawaTowards a Review on Simulated ADAS/AD TestingProceedings - 2023 IEEE/ACM International Conference on Automation of Software Test, AST 2023112-122Publikation in PURE anzeigen
Ludwig Kampel, Michael Wagner, Dimitris E. Simos, Mihai Nica, Dino Dodig, David Kaufmann and Franz WotawaApplying CT-FLA for AEB Function TestingProceedings - 2023 IEEE 16th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2023237-245Publikation in PURE anzeigen
Yavuz Koroglu and Franz WotawaBottleneck Analysis via Grammar-based Performance Fuzzing<sup>*</sup>Proceedings - 2023 IEEE 16th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2023180-185Publikation in PURE anzeigen
Nour Chetouane and Franz WotawaGenerating concrete test cases from vehicle data using models obtained from clusteringProceedings - 2023 IEEE 16th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 202370-77Publikation in PURE anzeigen
Nour Chetouane and Franz WotawaUsing Data Abstraction for Clustering in the Context of Test Case GenerationProceedings - 2023 IEEE 23rd International Conference on Software Quality, Reliability, and Security, QRS 2023260-271Publikation in PURE anzeigen
Axel Boström and Franz WotawaWireless Threats Against V2X CommunicationProceedings - 2023 IEEE 23rd International Conference on Software Quality, Reliability, and Security, QRS 2023529-540Publikation in PURE anzeigen
Lorenz Klampfl and Franz WotawaIdentifying Critical Scenarios in Autonomous Driving During OperationArtificial Intelligence. ECAI 2023 International Workshops156-172Publikation in PURE anzeigen
Michael Reisenbichler, Franz Wotawa, Keith O'Donovan, Carles Ribas Tugores and Franz HengelLargeTESModelingToolkit: A Modelica Library for Large-scale Thermal Energy Storage Modeling and SimulationProceedings of the 15th International Modelica Conference337-346Publikation in PURE anzeigen
Sonstiger Beitrag
Franz WotawaSurveying and Generalizing Methods for Combining Dynamic Slicing with Spectrum-based Fault LocalizationPublikation in PURE anzeigen
2022
Book
Ovidiu Vermesan, Franz Wotawa, Mario Diaz Nava and Björn DebaillieIndustrial Artificial Intelligence Technologies and Applications9788770227919Publikation in PURE anzeigen
Buchkapitel
Franz Wotawa and Oliver TazlOn the Verification of Diagnosis ModelsIndustrial Artificial Intelligence Technologies and Applications189-203Publikation in PURE anzeigen
Angelo Gargantini and Franz WotawaGeneral Message from the IWCT 2022 Workshop ChairsProceedings of the International Workshop on Combinatorial TestingxivPublikation in PURE anzeigen
Miquel Sànchez-Marrè and Franz WotawaModel-Driven Intelligent Decision Support SystemsIntelligent Decision Support Systems117-223Publikation in PURE anzeigen
Miquel Sànchez-Marrè and Franz WotawaThe Use of Intelligent Models in Decision SupportIntelligent Decision Support Systems411-530Publikation in PURE anzeigen
Franz Wotawa and Hong ZhuMessage from the General Chairs AITest 2022Proceedings - 4th IEEE International Conference on Artificial Intelligence Testing, AITest 2022VIIPublikation in PURE anzeigen
W. Eric Wong, Franz Wotawa, Liwei Zheng, Tugkan Tuglular and Hongji YangMessage from the Symposium ChairsProceedings - 2022 8th International Symposium on System Security, Safety, and Reliability, ISSSR 2022X-XIPublikation in PURE anzeigen
Lorenz Klampfl, Florian Klück and Franz WotawaUsing genetic algorithms for automating automated lane‐keeping system testingPublikation in PURE anzeigen
Nour Chetouane and Franz WotawaOn the application of clustering for extracting driving scenarios from vehicle dataPublikation in PURE anzeigen
Tagungsbeitrag
Franz Wotawa and Horst LewitschnigMonitoring Hierarchical Systems for Safety AssuranceIntelligent Distributed Computing XIV331-340Publikation in PURE anzeigen
Herbert Mühlburger and Franz WotawaA Passive Testing Approach using a Semi-Supervised Intrusion Detection Model for SCADA Network TrafficProceedings - 4th IEEE International Conference on Artificial Intelligence Testing, AITest 202242-47Publikation in PURE anzeigen
Liliana Marie Prikler and Franz WotawaChallenges of testing self-adaptive systems26th ACM International Systems and Software Product Line Conference, SPLC 2022 - Proceedings224-228Publikation in PURE anzeigen
Adil Mukhtar, Birgit Gertraud Hofer, Dietmar Jannach, Franz Wotawa and Konstantin SchekotihinBoosting Spectrum-Based Fault Localization for Spreadsheets with Product Metrics in a Learning ApproachASE '22: Proceedings of the 37th IEEE/ACM International Conference on Automated Software EngineeringPublikation in PURE anzeigen
Ledio Jahaj and Franz WotawaTesting Photometric Stereo ApplicationsProceedings - 2022 9th International Conference on Dependable Systems and Their Applications, DSA 2022163-171Publikation in PURE anzeigen
P. A. Leitl, C. Feichtinger, I. Ortiz de Viñaspre, A. Flanschger, F. Wotawa, J. W. Naugthon and F. A. MierNumerical and experimental study of riblet defects and their impact on performanceAIAA SciTech Forum 2022Publikation in PURE anzeigen
Oliver A. Tazl, Christopher Tafeit, Franz Wotawa and Alexander FelfernigDDMin versus QuickXplain - An Experimental Comparison of two Algorithms for Minimizing CollectionsSEKE 2022 - Proceedings of the 34th International Conference on Software Engineering and Knowledge Engineering481-486Publikation in PURE anzeigen
David Kaufmann and Franz WotawaA Framework for Integrating Automated Diagnosis into SimulationIndustrial Artificial Intelligence Technologies and Applications113-127Publikation in PURE anzeigen
Franz Wotawa and Vlad Andrei DumitruThe Java2CSP Debugging Tool Utilizing Constraint Solving and Model-Based Diagnosis PrinciplesAdvances 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, Proceedings543-554Publikation in PURE anzeigen
Michael Reisenbichler, Keith O'Donovan, Carles Ribas Tugores, Wim van Helden and Franz WotawaTowards More Efficient Modeling and Simulation of Large-scale Thermal Energy Storages in Future Local and District Energy SystemsBS 2021 - Proceedings of Building Simulation 20212155-2162Publikation in PURE anzeigen
Nour Chetouane and Franz WotawaExtracting Temporal Models from Data EpisodesProceedings - 2022 IEEE 22nd International Conference on Software Quality, Reliability and Security, QRS 2022721-731Publikation in PURE anzeigen
Sonstiger Beitrag
Roxane Koitz-Hristov, Lukas Stracke and Franz WotawaChecked Coverage for Test Suite Reduction – Is It Worth the Effort?Publikation in PURE anzeigen
Lorenz Klampfl and Franz WotawaOn the Use of Qualitative Reasoning in Autonomous DrivingPublikation in PURE anzeigen
Nour Chetouane and Franz WotawaOn the Application of Machine Learning in Software TestingArtificial Intelligence Methods for Software Engineering243-268Publikation 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 SystemsPublikation 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 DosedelFoundations of Real Time Predictive Maintenance with Root Cause AnalysisArtificial Intelligence for Digitising Industry47-61Publikation 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 DosedelReal-Time Predictive Maintenance – Model-Based, Simulation-Based and Machine Learning Based DiagnosisArtificial Intelligence for Digitising Industry63-81Publikation 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 DosedelReal-Time Predictive Maintenance – Artificial Neural Network Based DiagnosisArtificial Intelligence for Digitising Industry83-101Publikation in PURE anzeigen
Konstantin Schekotihin, Birgit Gertraud Hofer, Franz Wotawa and Dietmar JannachAI-based Spreadsheet DebuggingArtificial Intelligence Methods for Software Engineering371-399Publikation in PURE anzeigen
Wolfgang Mayer and Franz WotawaArtificial Intelligence Methods for Software DebuggingArtificial Intelligence Methods for Software Engineering401-435Publikation in PURE anzeigen
Franz Wotawa, Florian Klück, Martin Zimmermann, Mihai Nica, Hermann Felbinger, Jianbo Tao and Yihao LiRecent verification and validation methodologies for advanced driver-assistance systemsAutonomous Driving and Advanced Driver-Assistance Systems (ADAS)295-318Publikation in PURE anzeigen
W. Eric Wong, T. H. Tse, Franz Wotawa, Xianpeng Wang, Katerina Goseva-Popstojanova, Henrique Madeira and Zheng ZhengMessage from the QRS 2021 Steering Committee Chairs, General Chairs, and Program Chairs2021 IEEE 21st International Conference on Software Quality, Reliability and Security (QRS)xviii-xxPublikation in PURE anzeigen
Beitrag in Fachzeitschrift
Hannes Hornischer, Joshua Cherian Varughese, Ronald Thenius, Franz Wotawa, Manfred Füllsack and Thomas SchmicklCIMAXPublikation in PURE anzeigen
Birgit Hofer, Dietmar Jannach, Patrick Koch, Konstantin Schekotihin and Franz WotawaProduct metrics for spreadsheets — a systematic reviewPublikation in PURE anzeigen
David Kaufmann, Iulia Nica and Franz WotawaIntelligent Agents Diagnostics - Enhancing Cyber-Physical Systems with Self-Diagnostic Capabilities.Publikation in PURE anzeigen
Tagungsbeitrag
Nour Chetouane, Lorenz Klampfl and Franz WotawaExtracting information from driving data using k-means clusteringProceedings - SEKE 2021610-615Publikation in PURE anzeigen
Franz Wotawa, Lorenz Klampfl and Ledio JahajA framework for the automation of testing computer vision systemsProceedings - 2021 IEEE/ACM International Conference on Automation of Software Test, AST 2021121-124Publikation in PURE anzeigen
Florian Klück, Lorenz Klampfl and Franz WotawaGABezier at the SBST 2021 Tool CompetitionProceedings - 2021 IEEE/ACM 14th International Workshop on Search-Based Software Testing, SBST 202138-39Publikation in PURE anzeigen
Franz Wotawa, Oliver Tazl and David KaufmannAutomated Diagnosis of Cyber-Physical SystemsAdvances 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, Proceedings441-452Publikation in PURE anzeigen
Franz Wotawa and Vlad Andrei DumitruJava2CSP—A Model-Based Diagnosis Tool Not Only for Software DebuggingIntelligent Decision Technologies - Proceedings of the 13th KES-IDT 2021 Conference519-529Publikation in PURE anzeigen
Franz Wotawa and Stephan ValentanOn the Automation of Audio Plugin TestingProceedings of the 21st IEEE International Conference on Software Quality, Reliability, and SecurityPublikation in PURE anzeigen
Herbert Mühlburger and Franz WotawaOn the Effects of Data Sampling for Deep Learning on Highly Imbalanced Data from SCADA Power Grid Substation Networks for Intrusion DetectionProceedings of the 21st IEEE International Conference on Software Quality, Reliability, and SecurityPublikation in PURE anzeigen
Oliver Tazl and Franz WotawaMetamorphic Testing of Logic Theorem ProverProceedings of the 33rd IFIP International Conference on Testing Software and SystemsPublikation in PURE anzeigen
Franz WotawaIntegrating multiple observation sets into consistency-based diagnosisProceedings of the 32nd International Workshop on Principle of DiagnosisPublikation in PURE anzeigen
Franz WotawaOn the Use of Available Testing Methods for Verification & Validation of AI-based Software and SystemsProceedings of the AAAI Workshop on Artificial Intelligence Safety (SafeAI 2021)Publikation in PURE anzeigen
Florian Kluck, Franz Wotawa, Gerhard Neubauer, Jianbo Tao and Mihai NicaAnalysing Experimental Results Obtained when Applying Search-based Testing to Verify Automated Driving FunctionsProceedings - 2021 8th International Conference on Dependable Systems and Their Applications, DSA 2021213-219Publikation in PURE anzeigen
2020
Buchkapitel
Franz WotawaUsing model-based reasoning for self-adaptive control of smart battery systemsArtificial Intelligence Techniques for a Scalable Energy Transition279-310Publikation in PURE anzeigen
Franz WotawaMessage from the General Chair2020 IEEE International Conference On Artificial Intelligence Testing (AITest)viiiPublikation in PURE anzeigen
Beitrag in Fachzeitschrift
Roxane Koitz-Hristov and Franz WotawaFaster horn diagnosis - a performance comparison of abductive reasoning algorithmsPublikation in PURE anzeigen
Josip Bozic and Franz WotawaPlanning-based security testing of web applications with attack grammarsPublikation in PURE anzeigen
Joshua Cherian Varughese, Hannes Hornischer, Payam Zahadat, Ronald Thenius, Franz Wotawa and Thomas SchmicklA swarm design paradigm unifying swarm behaviors using minimalistic communicationPublikation in PURE anzeigen
Yihao Li, Jianbo Tao and Franz WotawaOntology-based test generation for automated and autonomous driving functionsPublikation in PURE anzeigen
Tagungsbeitrag
Joshua Cherian Varughese, Hannes Hornischer, Ronald Thenius, Franz Wotawa and Thomas SchmicklCollective event detection using bio-inspired minimalistic communication in a swarm of underwater robotsALIFE 2019634-641Publikation in PURE anzeigen
Josip Bozic, Yihao Li and Franz WotawaOntology-driven Security Testing of Web ApplicationsProceedings - 2020 IEEE International Conference on Artificial Intelligence Testing, AITest 2020115-122Publikation in PURE anzeigen
Franz Wotawa, Josip Bozic and Yihao LiOntology-based Testing: An Emerging Paradigm for Modeling and Testing Systems and SoftwareProceedings - 2020 IEEE 13th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 202014-17Publikation in PURE anzeigen
Franz Wotawa and Lorenz KlampflExplaining Object Motion Using Answer Set ProgrammingFoundations of Intelligent Systems 298-307Publikation in PURE anzeigen
Nour Chetouane, Franz Wotawa, Hermann Felbinger and Mihai NicaOn Using k-means Clustering for Test Suite ReductionProceedings - 2020 IEEE 13th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2020380 - 385Publikation in PURE anzeigen
Lorenz Klampfl, Nour Chetouane and Franz WotawaMutation Testing for Artificial Neural Networks: An Empirical EvaluationProceedings - 2020 IEEE 20th International Conference on Software Quality, Reliability, and Security, QRS 2020356-365Publikation in PURE anzeigen
Josip Bozic and Franz WotawaInterrogating Virtual AgentsTesting Software and Systems - 32nd IFIP WG 6.1 International Conference, ICTSS 2020, Proceedings20-34Publikation in PURE anzeigen
Edi Muškardin, Ingo Pill and Franz WotawaCatIO - A Framework for Model-Based Diagnosis of Cyber-Physical SystemsFoundations of Intelligent Systems - 25th International Symposium, ISMIS 2020, Proceedings267-276Publikation in PURE anzeigen
Yihao Li and Franz WotawaOn Using Ontologies for Testing CompilersProceedings - 2020 IEEE 13th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2020181-184Publikation in PURE anzeigen
Franz WotawaOn the use of answer set programming for model-based diagnosisTrends 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, Proceedings518-529Publikation in PURE anzeigen
Sonstiger Beitrag
Martin Jochen Zimmermann, Ingo Pill and Franz WotawaDrawing on SFL for Making Intelligent Decisions in RBLPublikation in PURE anzeigen
2019
Buchkapitel
Franz WotawaReasoning 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 SchmicklswarmFSTaxisUnderstanding Complex Systems213-222Publikation in PURE anzeigen
Proceedings
Franz Wotawa, Gerhard Friedrich, Ingo Pill, Roxane Koitz-Hristov and Moonis AliAdvances in Artificial Intelligence. From Theory to PracticePublikation in PURE anzeigen
Beitrag in Fachzeitschrift
Patrick Koch, Konstantin Schekotihin, Dietmar Jannach, Birgit Gertraud Hofer and Franz WotawaMetric-based Fault Prediction for SpreadsheetsPublikation in PURE anzeigen
Yihao Li, Shou-Yu Lee, Franz Wotawa and W. Eric WongUsing Tri-Relation Networks for Effective Software Fault-Proneness PredictionPublikation in PURE anzeigen
Daniela Kengyel, Payam Zahadat, Franz Wotawa and Thomas SchmicklTowards swarm level optimisation: The role of different movement patterns in swarm systemsPublikation in PURE anzeigen
Patrick Koch, Birgit Gertraud Hofer and Franz WotawaOn the Refinement of Spreadsheet Smells by means of Structure InformationPublikation in PURE anzeigen
Franz Wotawa, Gerhard Friedrich, Ingo Pill, Roxane Koitz-Hristov and Moonis AliCurrent approaches in applied artificial intelligencePublikation in PURE anzeigen
Tagungsbeitrag
Josip Bozic, Oliver A. Tazl and Franz WotawaChatbot testing using AI planningProceedings - 2019 IEEE International Conference on Artificial Intelligence Testing, AITest 201937-44Publikation in PURE anzeigen
Oliver A. Tazl and Franz WotawaUsing model-based reasoning for enhanced chatbot communicationAdvances 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, Proceedings791-798Publikation in PURE anzeigen
Josip Bozic and Franz WotawaTesting Chatbots Using Metamorphic RelationsTesting Software and Systems 41-55Publikation in PURE anzeigen
Josip Bozic and Franz WotawaSoftware Testing: According to Plan!IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW)23-31Publikation in PURE anzeigen
Bernhard Garn, Dimitris E. Simos, Feng Duan, Yu Lei, Josip Bozic and Franz WotawaWeighted Combinatorial Sequence Testing for the TLS ProtocolIEEE International Conference on Software Testing Verification and Validation Workshop (ICSTW'19)Publikation in PURE anzeigen
Ingo Pill and Franz WotawaExtending Automated FLTL Test Oracles With Diagnostic SupportProceedings - 2019 IEEE 30th International Symposium on Software Reliability Engineering Workshops, ISSREW 2019354-361Publikation in PURE anzeigen
Florian Klück, Martin Zimmermann, Franz Wotawa and Mihai NicaPerformance Comparison of Two Search-Based Testing Strategies for ADAS System ValidationTesting Software and Systems - 31st IFIP WG 6.1 International Conference, ICTSS 2019, Proceedings140-156Publikation in PURE anzeigen
Florian Kluck, Martin Zimmermann, Franz Wotawa and Mihai NicaGenetic Algorithm-Based Test Parameter Optimization for ADAS System TestingProceedings - 19th IEEE International Conference on Software Quality, Reliability and Security, QRS 2019418-425Publikation in PURE anzeigen
Hermann Felbinger, Florian Steffen Klück, Yihao Li, Mihai Nica, Jianbo Tao, Franz Wotawa and Martin Jochen ZimmermannComparing two systematic approaches for testing automated driving functions2019 8th IEEE International Conference on Connected Vehicles and Expo, ICCVE 2019 - ProceedingsPublikation in PURE anzeigen
Yavuz Koroglu and Franz WotawaFully automated compiler testing of a reasoning engine via mutated grammar fuzzingProceedings - 2019 IEEE/ACM 14th International Workshop on Automation of Software Test, AST 201928-34Publikation in PURE anzeigen
Jianbo Tao, Yihao Li, Franz Wotawa, Hermann Felbinger and Mihai NicaOn the industrial application of combinatorial testing for autonomous driving functionsProceedings - 2019 IEEE 12th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2019234-240Publikation in PURE anzeigen
Valentin Kassarnig and Franz WotawaAn Approach to Automatically Extract Predictive Properties from Nominal Attributes in Relational DatabasesProceedings - 2018 IEEE International Conference on Big Data, Big Data 20184932-4939Publikation in PURE anzeigen
Nour Chetouane, Lorenz Klampfl and Franz WotawaInvestigating the Effectiveness of Mutation Testing Tools in the Context of Deep Neural NetworksAdvances in Computational Intelligence - 15th International Work-Conference on Artificial Neural Networks, IWANN 2019, Proceedings766-777Publikation in PURE anzeigen
Christian Eitner and Franz WotawaCrucial tool features for successful combinatorial input parameter testing in an industrial applicationProceedings - 2019 IEEE 12th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2019188-189Publikation in PURE anzeigen
Oliver A. Tazl, Alexander Perko and Franz WotawaConversational Recommendations Using Model-Based ReasoningProceedings of the 21th International Configuration Workshop13-19Publikation in PURE anzeigen
Sonstiger Beitrag
Ingo Pill and Franz WotawaExploiting Observations from Combinatorial Testing for Diagnostic ReasoningPublikation in PURE anzeigen
Alexander Feldman, Ingo Pill, Franz Wotawa, Ion Matei and Johan de KleerDiagnosing Sequential Circuits as Boolean SatisfactionPublikation in PURE anzeigen
Franz Wotawa, Joshua Cherian Varughese, Hannes Hornischer and Ronald TheniusCollective Event Detection Using Bio-inspired Minimalistic Communication in a Swarm of Unterwater RobotsPublikation in PURE anzeigen
2018
Buchkapitel
Franz Wotawa, Bernhard Peischl and Roxane KoitzDiagnosis as a serviceDigital Marketplaces Unleashed557-567Publikation in PURE anzeigen
Roxane Koitz, Franz Wotawa, Johannes Lüftenegger, Christopher S. Gray and Franz LangmayrWind Turbine Fault Localization: A Practical Application of Model-Based DiagnosisDiagnosability, Security and Safety of Hybrid Dynamic and Cyber-Physical Systems17-43Publikation in PURE anzeigen
Ingo Pill and Franz WotawaFault detection and localization using modelica and abductive reasoningDiagnosability, Security and Safety of Hybrid Dynamic and Cyber-Physical Systems45-72Publikation in PURE anzeigen
Beitrag in Fachzeitschrift
Roxane Koitz-Hristov and Franz WotawaApplying algorithm selection to abductive diagnostic reasoningPublikation in PURE anzeigen
Florian Steffen Klück, Franz Wotawa, Bernhard Peischl and Mihai NicaQuality assurance methodologies for automated drivingPublikation in PURE anzeigen
Dimitris E. Simos, Josip Bozic, Bernhard Garn, Manuel Leithner, Feng Duan, Kristoffer Kleine, Yu Lei and Franz WotawaTesting TLS using planning-based combinatorial methods and execution frameworkPublikation in PURE anzeigen
Franz Wotawa and Valentin KassarnigEvolutionary Propositionalization of Multi- Relational DataPublikation in PURE anzeigen
Ingo Pill and Franz WotawaAutomated generation of (F)LTL oracles for testing and debuggingPublikation in PURE anzeigen
Dietmar Jannach, Thomas Schmitz, Birgit Hofer, Konstantin Schekotihin, Patrick Koch and Franz WotawaFragment-based spreadsheet debuggingPublikation in PURE anzeigen
Tagungsbeitrag
Ingo Pill and Franz WotawaModel-Based Diagnosis Meets Combinatorial Testing For Generating an Abductive Diagnosis Model28th International Workshop on Principles of Diagnosis (DX'17)248-263Publikation in PURE anzeigen
Ingo Pill and Franz WotawaSpectrum-Based Fault Localization for Logic-Based ReasoningProceedings - 29th IEEE International Symposium on Software Reliability Engineering Workshops, ISSREW 2018192-199Publikation in PURE anzeigen
Josip Bozic and Franz WotawaPlanning-based security testing of web applicationsProceedings 2018 ACM/IEEE 13th International Workshop on Automation of Software Test, AST 201820-26Publikation in PURE anzeigen
Patrick Koch, Konstantin Schekotihin, Dietmar Jannach, Birgit Hofer, Franz Wotawa and Thomas SchmitzCombining spreadsheet smells for improved fault predictionProceedings 2018 ACM/IEEE 40th International Conference on Software Engineering25-28Publikation in PURE anzeigen
Josip Bozic and Franz WotawaSecurity testing for chatbotsTesting Software and Systems - 30th IFIP WG 6.1 International Conference, ICTSS 2018, Proceedings33-38Publikation in PURE anzeigen
Hermann Felbinger, Franz Wotawa and Mihai NicaAdapting unit tests by generating combinatorial test dataProceedings - 2018 IEEE 11th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2018352-355Publikation in PURE anzeigen
Franz Wotawa and Martin ZimmermannAdaptive System for Autonomous DrivingProceedings - 2018 IEEE 18th International Conference on Software Quality, Reliability, and Security Companion, QRS-C 2018519-525Publikation in PURE anzeigen
Josip Bozic, Lina Marsso, Radu Mateescu and Franz WotawaA formal TLS handshake model in LNTProceedings Third Workshop on Models for Formal Analysis of Real Systems and Sixth International Workshop on Verification and Program Transformation, MARS/VPT@ETAPS1-40Publikation in PURE anzeigen
J. Ch Varughese, R. Thenius, F. Wotawa and Th SchmicklFSTT algorithmNew Trends in Medical and Service Robots - Design, Analysis and Control319-330Publikation in PURE anzeigen
Franz Wotawa, Gerhard Friedrich and Artur AndrzejakSoftware configuration diagnosis? A Survey of existing methods and open challengesPublikation in PURE anzeigen
Franz Wotawa, Iulia-Dana Nica and Oliver TazlChatbot-based tourist recommendations using model-based reasoningPublikation in PURE anzeigen
Franz Wotawa and Valentin KassarnigEvolutionary propositionalization of multi-relational dataPublikation in PURE anzeigen
Ingo Pill and Franz WotawaOn Using an I/O Model for Creating an Abductive Diagnosis Model via Combinatorial Exploration, Fault Injection, and SimulationPublikation in PURE anzeigen
Franz Wotawa, Birgit Gertraud Hofer, Radu Mateescu and Wendelin SerweUsing LNT Formal Descriptions for Model-Based DiagnosisPublikation in PURE anzeigen
Franz WotawaCombining Combinatorial Testing and Metamorphic Testing for Testing a Logicbased Non-Monotonic Reasoning SystemPublikation in PURE anzeigen
Florian Steffen Klück, Yihao Li, Mihai Nica, Jianbo Tao and Franz WotawaUsing Ontologies for Test Suites Generation for Automated and Autonomous Driving FunctionsPublikation in PURE anzeigen
2017
Buchkapitel
Franz WotawaTesting Autonomous and Highly Configurable Systems: Challenges and Feasible SolutionsAutomated Driving519-532Publikation in PURE anzeigen
Roxane Koitz, Johannes Lüftenegger and Franz WotawaModel-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-445Publikation in PURE anzeigen
Beitrag in Fachzeitschrift
Birgit Hofer, Andrea Höfler and Franz WotawaCombining Models for Improved Fault Localization in SpreadsheetsPublikation in PURE anzeigen
Tagungsbeitrag
Hermann Felbinger, Franz Wotawa and Mihai NicaMutation Score, Coverage, Model InferenceProceedings - 10th IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2017171-180Publikation in PURE anzeigen
Hermann Felbinger, Ingo Pill and Franz WotawaA “strength of decision tree equivalence”-taxonomy and its impact on test suite reductionTesting Software and Systems - 29th IFIP WG 6.1 International Conference, ICTSS 2017, Proceedings197-212Publikation in PURE anzeigen
Birgit Hofer, Iulia Nica and Franz WotawaQualitative Deviation Models for Spreadsheet Debugging8th IEEE International Workshop on Program Debugging (IWPD) - ISSRE Workshops191-198Publikation in PURE anzeigen
Birgit Hofer, Iulia Nica and Franz WotawaAI for Localizing Faults in Spreadsheets29th International Conference on Testing Software and Systems (ICTSS)71-87Publikation in PURE anzeigen
Elisabeth Getzner, Birgit Hofer and Franz WotawaImproving Spectrum-Based Fault Localization for Spreadsheet DebuggingIEEE International Conference on Software Quality, Reliability and Security (QRS)102-113Publikation in PURE anzeigen
Thomas Schmitz, Dietmar Jannach, Birgit Hofer, Patrick W. Koch, Konstantin Schekotihin and Franz WotawaA decomposition-based approach to spreadsheet testing and debuggingIEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC)117-121Publikation in PURE anzeigen
Josip Bozic, Kristoffer Kleine, Dimitris E. Simos and Franz WotawaPlanning-Based Security Testing of the SSL/TLS ProtocolIEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW)Publikation in PURE anzeigen
Josip Bozic and Franz WotawaPlanning 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 WotawaTesting TLS Using Combinatorial Methods and Execution FrameworkIFIP International Conference on Testing Software and Systems (ICTSS'17)Publikation in PURE anzeigen
Franz WotawaThe future of automated debugging & focus on the niches firstProceedings - 2017 IEEE 28th International Symposium on Software Reliability Engineering Workshops, ISSREW 201792-93Publikation in PURE anzeigen
Harald Altinger, Steffen Herbold, Friederike Schneemann, Jens Grabowski and Franz WotawaPerformance tuning for automotive Software Fault PredictionSANER 2017 - 24th IEEE International Conference on Software Analysis, Evolution, and Reengineering526-530Publikation in PURE anzeigen
2016
Buchkapitel
Franz WotawaMessage from the QRS 2016 General ChairProceedings of the IEEE International Conference on Quality, Reliability, and SecurityxiiiPublikation in PURE anzeigen
Gerhard Friedrich, Malte Helmert and Franz WotawaPrefaceProceedings of the 28th International Conference on Testing Software and SystemsV-VIPublikation in PURE anzeigen
Beitrag in Fachzeitschrift
Ingo Hans Pill, Thomas Quaritsch and Franz WotawaOn the practical performance of minimal hitting set algorithms from a diagnostic perspectivePublikation in PURE anzeigen
Tagungsbeitrag
Roxane Koitz and Franz WotawaOn Structural Properties to Improve FMEA-Based Abductive DiagnosisProceedings of the Workshop on Knowledge-based Techniques for Problem Solving and ReasoningPublikation in PURE anzeigen
Roxane Koitz and Franz WotawaImproving Abductive Diagnosis Through Structural Features: A Meta-ApproachProceedings of the International Workshop on Defeasible and Ampliative Reasoning (DARe-16)Publikation in PURE anzeigen
Roxane Koitz and Franz WotawaExploiting Structural Metrics in FMEA-Based Abductive Diagnosis.Proceedings of the 27th International Workshop on Principles of Diagnosis (DX)1-7Publikation in PURE anzeigen
Roxane Koitz and Franz WotawaIntegration of Failure Assessments into the Diagnostic ProcessProceedings of the Annual Conference of the Prognostics and Health Management Society 2016124-135Publikation in PURE anzeigen
Bernhard Peischl, Ingo Pill and Franz WotawaUsing modelica programs for deriving propositional horn clause abduction problemsAdvances in Artificial Intelligence - 39th Annual German Conference on AI, KI 2016, Proceedings185-191Publikation in PURE anzeigen
Ingo Pill, Ivan Rubil, Franz Wotawa and Mihai NicaSIMULTATEProceedings - 2016 IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2016168-173Publikation in PURE anzeigen
Hermann Felbinger, Franz Wotawa and Mihai NicaTest-Suite Reduction Does Not Necessarily Require Executing the Program under TestProceedings - 2016 IEEE International Conference on Software Quality, Reliability and Security-Companion, QRS-C 201623-30Publikation in PURE anzeigen
Hermann Felbinger, Ingo Pill and Franz WotawaClassifying test suite effectiveness via model inference and ROBBDsTests and Proofs - 10th International Conference, TAP 2016 Held as Part of STAF 2016, Proceedings76-93Publikation in PURE anzeigen
Patrick W. Koch, Birgit Hofer and Franz WotawaStatic Spreadsheet Analysis2016 IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops167-174Publikation in PURE anzeigen
Thomas Schmitz, Birgit Hofer, Dietmar Jannach and Franz WotawaFragment-Based Diagnosis of SpreadsheetsSoftware Technologies: Applications and Foundations - STAF 2016 (Software Engineering Methods in Spreadsheets Workshop)372-387Publikation in PURE anzeigen
Ingo Pill and Franz WotawaAn Automated (F) LTL Test Oracle for Testing with Requirements2016 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW197-204Publikation in PURE anzeigen
Bernhard Josef Peischl, Ingo Pill Pill and Franz WotawaAbductive Diagnosis based on Modelica Models27th International Workshop on Principles of DiagnosisPublikation in PURE anzeigen
Franz WotawaTesting Self-Adaptive Systems Using Fault Injection and Combinatorial TestingProceedings - 2016 IEEE International Conference on Software Quality, Reliability and Security-Companion, QRS-C 2016305-310Publikation in PURE anzeigen
Joshua Cherian Varughese, Ronald Thenius, Franz Wotawa and Thomas SchmicklFSTaxis algorithmProceedings of the Artificial Life Conference 2016, ALIFE 2016330-337Publikation in PURE anzeigen
Joshua Cherian Varughese, Ronald Thenius, Franz Wotawa and Thomas SchmicklFireSlime Algorithm: Bio-Inspired Emergent Gradient TaxisArtificial Life Conference Proceeding330Publikation in PURE anzeigen
Sonstiger Beitrag
Hermann Felbinger, Franz Wotawa and Mihai NicaEmpirical Study of Correlation Between Mutation Score and Model Inference Based Test Suite Adequacy AssessmentPublikation in PURE anzeigen
Iulia Nica, Franz Wotawa, Gerhard Jakob and Kathrin JuhartTesting computer vision applications an experience report on introducing code coverage analysis in the fieldPublikation in PURE anzeigen
Benedikt Eberhardinger, Wolfgang Reif and Franz WotawaQuality assurance for self-adaptive, self-organising systems2015 IEEE International Conference on Self-Adaptive and Self-Organizing Systems WorkshopsxivPublikation in PURE anzeigen
Beitrag in Fachzeitschrift
Birgit Gertraud Hofer, Franz Wotawa, Rui Abreu and Alexandre PerezOn the empirical evaluation of similarity coefficients for spreadsheets fault localizationPublikation in PURE anzeigen
Birgit Gertraud Hofer, Franz Wotawa, Rui Abreu and Alexandre PerezUsing constraints to diagnose faulty spreadsheetsPublikation in PURE anzeigen
Roxane Koitz and Franz WotawaOn the computational feasibility of abductive diagnosis for practical applicationsPublikation in PURE anzeigen
Tagungsbeitrag
Seema Jehan, Ingo Hans Pill, Birgit Gertraud Hofer and Franz WotawaFocussed Diagnosis for Failing Software TestsIEA/AIE 2015712-721Publikation in PURE anzeigen
Roxane Koitz and Franz WotawaFrom Theory to Practice: Model-Based Diagnosis in Industrial ApplicationsProceedings of the Annual Conference of the PHM Society (PHM)197-205Publikation in PURE anzeigen
Seema Jehan, Ingo Hans Pill and Franz WotawaBPEL Integration TestingInternational Conference on Fundamental Approaches to Software EngineeringPublikation in PURE anzeigen
Mihai Nica, Ingo Hans Pill and Franz WotawaTesting Diagnostics Components Supervising Functional Safety RequirementsProceedings of the Annual Conference of the Prognostics and Health Management Society 2015150-157Publikation in PURE anzeigen
Ingo Hans Pill, Seema Jehan, Franz Wotawa and Mihai NicaAnalyzing the Reduction of Test Suite RedundancyThe 26th International Symposium on Software Reliability Engineering Workshops65-65Publikation in PURE anzeigen
Roxane Koitz and Franz WotawaOn the Feasibility of Abductive Diagnosis for Practical ApplicationProceedings of the 9th IFAC Symposium on Fault Detection, Supervision and Safety of Technical Processes410-415Publikation in PURE anzeigen
Christopher S. Gray, Roxane Koitz, Siegfried Psutka and Franz WotawaAn Abductive Diagnosis and Modeling Concept for Wind Power PlantsProceedings of the 9th IFAC Symposium on Fault Detection, Supervision and Safety of Technical Processes1-6Publikation in PURE anzeigen
Franz Wotawa, Florian-Christoph Reinfrank, Gerald Ninaus and Alexander FelfernigICONE: intelligent environment for the Development and Maintenance of Configuration Knowledge basesIJCAI 2015, Workshop on Intelligent Personalizationnx-nyPublikation in PURE anzeigen
Roxane Koitz and Franz WotawaSAT-Based Abductive DiagnosisProceedings of the 26th International Workshop on Principles of Diagnosis (DX)167-175Publikation in PURE anzeigen
Ingo Hans Pill, Thomas Quaritsch and Franz WotawaParse Tree Structure in LTL Requirements DiagnosisThe 26th International Symposium on Software Reliability Engineering Workshops100-107Publikation in PURE anzeigen
Roxane Koitz and Franz WotawaFinding Explanations: an Empirical Evaluation of Abductive Diagnosis AlgorithmsProceedings of the DARe-15 International Workshop on Defeasible and Ampliative Reasoning1-7Publikation in PURE anzeigen
Josip Bozic, Bernhard Garn, Dimitris E. Simos and Franz WotawaEvaluation of the IPO-Family Algorithms for Test Case Generation in Web Security Testing2015 IEEE Eighth International Conference on Software Testing, Verification and Validation Workshops (ICSTWPublikation in PURE anzeigen
Hermann Felbinger, Joel Sherrill, Gedare Bloom and Franz WotawaTest suite coverage measurement and reporting for testing an operating system without instrumentationProceedings of the 17th Real-Time Linux Workshop13-22Publikation in PURE anzeigen
Josip Bozic and Franz WotawaPURITY: a Planning-based secURITY testing tool 2015 IEEE International Conference on Software Quality, Reliability and Security - Companion Workshop on Trustworthy ComputingPublikation in PURE anzeigen
Birgit Gertraud Hofer, Franz Wotawa, Rui Abreu and Simon AußerlechnerTesting for Distinguishing Repair Candidates in Spreadsheets - the Mussco ApproachTesting Software and Systems - 27th International Conference, {ICTSS} 2015, Proceedings124-140Publikation in PURE anzeigen
Birgit Gertraud Hofer and Franz WotawaFault Localization in the Light of Faulty User InputProceedings of the IEEE International Conference on Software Quality, Reliability and Security (QRS'15)282-291Publikation in PURE anzeigen
Markus Ernst, Stefan Erlachner, Mario Hirz, Jürgen Fabian and Franz WotawaAnalysis Methods in the Development Process of Mechatronic Drivetrain Systems with Special Focus on Automotive SoftwareVolume II63-68Publikation in PURE anzeigen
Franz Wotawa, Martin Stettinger, Florian-Christoph Reinfrank, Gerald Ninaus and Alexander FelfernigConflict Management for Constraint-based RecommendationIJCAI 2015, Workshop on Intelligent Personalizationnx-nyPublikation in PURE anzeigen
Roxane Koitz and Franz WotawaDiagnosis of Technical SystemsProceedings of the International Joint Conference on Artificial Intelligence 20154375-4376Publikation in PURE anzeigen
Harald Altinger, Sebastian Siegl, Yanja Dajsuren and Franz WotawaA novel industry grade dataset for fault prediction based on model-driven developed automotive embedded softwareProceedings - 12th Working Conference on Mining Software Repositories, MSR 2015494-497Publikation in PURE anzeigen
Harald Altinger, Steffen Herbold, Jens Grabowski and Franz WotawaNovel insights on cross project fault prediction applied to automotive softwareTesting Software and Systems - 27th IFIP WG 6.1 International Conference, ICTSS 2015, Proceedings141-157Publikation in PURE anzeigen
Daniela Kengyel, Heiko Hamann, Payam Zahadat, Gerald Radspieler, Franz Wotawa and Thomas SchmicklPotential of heterogeneity in collective behaviorsPRIMA 2015201-217Publikation in PURE anzeigen
Sonstiger Beitrag
Hermann Felbinger, Joel Sherrill, Gedare Bloom and Franz WotawaTest suite coverage measurement and reporting for testing an operating system without instrumentationPublikation in PURE anzeigen
2014
Buchkapitel
Iulia Nica, Franz Wotawa, Roland Ochenbauer, Christian Schober, Harald Hofbauer and Sanja BoltekKapschKnowledge-Based Configuration229-240Publikation in PURE anzeigen
Beitrag in Fachzeitschrift
Dietmar Jannach, Thomas Schmitz, Birgit Gertraud Hofer and Franz WotawaAvoiding, Finding and Fixing Spreadsheet Errors – A Survey of Automated Approaches for Spreadsheet QAPublikation in PURE anzeigen
Tagungsbeitrag
Birgit Gertraud Hofer, Dietmar Jannach, Thomas Schmitz, Kostyantyn Shchekotykhin and Franz WotawaTool-supported fault localization in spreadsheets: Limitations of current research practiceInternational Workshop on Software Engineering Methods in Spreadsheets1-2Publikation in PURE anzeigen
Christopher S. Gray, Roxane Koitz, Siegfried Psutka and Franz WotawaAn Abductive Diagnosis and Modeling Concept for Wind Power PlantsInternational Workshop on Principles of Diagnosis404-409Publikation in PURE anzeigen
Seema Jehan, Ingo Hans Pill and Franz WotawaSOA Testing Via Random Paths in BPEL ModelsIEEE International Conference on Software Testing, Verification and Validation260-263Publikation in PURE anzeigen
Andreas Bernauer, Josip Bozic, Dimitris Simos, Severin Winkler and Franz WotawaRetaining Consistency for Knowledge-based Security TestingInternational Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems88-97Publikation in PURE anzeigen
Josip Bozic, Dimitris Simos and Franz WotawaAttack Pattern-Based Combinatorial TestingInternational Workshop on Automation of Software Test1-7Publikation in PURE anzeigen
Birgit Gertraud Hofer and Franz WotawaOn the Usage of Dependency-based Models for Spreadsheet DebuggingInternational Workshop on Software Engineering Methods in Spreadsheets1-4Publikation in PURE anzeigen
Harald Altinger, Franz Wotawa and Markus SchuriusTesting Methods Used in the Automotive Industry: Results from a SurveyThe second workshop on Joining AcadeMiA and Industry Contributions to Test Automation and Model-based Testing (JAMAICA 14)1-6Publikation in PURE anzeigen
Birgit Gertraud Hofer, Rui Abreu, Alexandre Perez and Franz WotawaGeneration of Relevant Spreadsheet Repair CandidatesEuropean Conference on Artificial Intelligence1027-1028Publikation in PURE anzeigen
Birgit Gertraud Hofer, Seema Jehan, Ingo Hans Pill and Franz WotawaFunctional Diagnosis of a SOA's BPEL ProcessesInternational Workshop on Principles of Diagnosis1-8Publikation in PURE anzeigen
Franz Wotawa and Ingo Hans PillTesting Configuration Knowledge-BasesProceedings of the 16th International Configuration Workshop39-46Publikation in PURE anzeigen
Franz WotawaFailure Mode and Effect Analysis for Abductive DiagnosisInternational Workshop on Defeasible and Ampliative Reasoning1-13Publikation in PURE anzeigen
Birgit Gertraud Hofer and Franz WotawaComparing Models for Spreadsheet Fault LocalizationEuropean Conference on Artificial Intelligence1029-1030Publikation in PURE anzeigen
Birgit Gertraud Hofer and Franz WotawaWhy does my spreadsheet compute wrong values?International Symposium on Software Reliability Engineering112-121Publikation in PURE anzeigen
Josip Bozic and Franz WotawaSecurity Testing Based on Attack PatternsThe 5th International Workshop on Security Testing (SECTEST)1-8Publikation in PURE anzeigen
Josip Bozic and Franz WotawaPlan It! Automated Security Testing Based on PlanningInternational Conference on Testing Software and Systems48-62Publikation in PURE anzeigen
Birgit Gertraud Hofer and Franz WotawaComparing and improving dependency-based models for fault localization in spreadsheetsInternational Workshop on Principles of Diagnosis1-7Publikation in PURE anzeigen
Sonstiger Beitrag
Birgit Gertraud Hofer and Franz WotawaComparing Models for Spreadsheet Fault LocalizationPublikation in PURE anzeigen
Seema Jehan, Birgit Gertraud Hofer, Ingo Hans Pill and Franz WotawaFunctional Diagnosis of a SOA's BPEL ProcessesPublikation in PURE anzeigen
Birgit Gertraud Hofer, Franz Wotawa, Rui Abreu and Alexandre PerezGeneration of Relevant Spreadsheet Repair CandidatesPublikation in PURE anzeigen
2013
Buchkapitel
Iulia-Dana Nica, Franz Wotawa, Roland Ochenbauer, Christian Schober, Harald Hofbauer and Sanja BoltekReconfiguration of Mobile Phone NetworksKnowledge-based Configuration - From Research to Business Cases19-1-19-11Publikation in PURE anzeigen
Gerald Steinbauer and Franz WotawaModel-Based Reasoning for Self-Adaptive Systems – Theory and PracticeAssurances for Self-Adaptive Systems187-213Publikation in PURE anzeigen
Beitrag in Fachzeitschrift
Alexander Felfernig and Franz WotawaIntelligent Engineering Techniques for Knowledge BasesPublikation in PURE anzeigen
Franz Wotawa and Ingo Hans PillOn Classification and Modeling Issues in Distributed Model-based DiagnosisPublikation in PURE anzeigen
Mihai Nica, Simona Alina Nica and Franz WotawaOn the use of mutations and testing for debuggingPublikation in PURE anzeigen
Tagungsbeitrag
Birgit Gertraud Hofer, Franz Wotawa, Elisabeth Getzner, André Riboira and Rui AbreuOn the Empirical Evaluation of Fault Localization Techniques for SpreadsheetsFundamental Approaches to Software Engineering - 16th International Conference, FASE 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 201368-82Publikation in PURE anzeigen
Seema Jehan, Ingo Hans Pill and Franz WotawaSOA Grey Box Testing - A Constraint-Based ApproachInternational Workshop on Constraints in Software Testing Verification and Analysis232-237Publikation 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 DustdarFifty Shades of Grey in SOA TestingWorkshop on Advances in Model Based Testing (A-MOST)154-157Publikation in PURE anzeigen
Philipp Leitner, Stefan Schulte, Schahram Dustdar, Ingo Hans Pill, Marco Schulz and Franz WotawaThe Dark Side of SOA Testing -- Towards Testing Contemporary SOAs Based on Criticality Metrics5th International Workshop on Principles of Engineering Service-Oriented Systems (PESOS)45-53Publikation in PURE anzeigen
Franz Wotawa"Trust, But Verify"Ausgewählte Beiträge zur Anwenderkonferenz für Softwarequalität Test und Innovation38-47Publikation in PURE anzeigen
Valentin Constantin Chimisliu and Franz WotawaImproving Test Case Generation from UML Statecharts by using Control, Data, and Communication DependencesInternational Conference on Quality Software125-134Publikation in PURE anzeigen
Valentin Constantin Chimisliu and Franz WotawaUsing Dependency Relations to Improve Test Case Generation from UML StatechartsProceedings of the Fifth IEEE International Workshop on Software Test Automation (STA)71-76Publikation in PURE anzeigen
Seema Jehan, Ingo Hans Pill and Franz WotawaFunctional SOA testing based on constraintsInternational Workshop on Automation of Software Test33-39Publikation in PURE anzeigen
Josip Bozic and Franz WotawaXSS Pattern for Attack Modeling in TestingInternational Workshop on Automation of Software Test71-74Publikation in PURE anzeigen
Iulia-Dana Nica, Ingo Hans Pill, Thomas Quaritsch and Franz WotawaThe Route to Success - A Performance Comparison of Diagnosis AlgorithmsInternational Joint Conference on Artificial Intelligence1039-1045Publikation in PURE anzeigen
Iulia-Dana Nica and Franz Wotawa(Re-)configuration of Communication Networks in the Context of M2M ApplicationsProceedings of the International Configuration Workshop101-108Publikation in PURE anzeigen
Birgit Gertraud Hofer, Franz Wotawa, Simon Außerlechner, Sandra Fruhmann, Wolfgang Wieser, Clemens Mühlbacher and Raphael SpörkThe Right Choice Matters! SMT Solving Substantially Improves Model-Based Debugging of Spreadsheets13th International Conference on Quality Software139-148Publikation in PURE anzeigen
Birgit Gertraud Hofer and Franz WotawaMutation-based spreadsheet debuggingSoftware Reliability Engineering Workshops (ISSREW), 2013 IEEE International Symposium on132-137Publikation in PURE anzeigen
Sonstiger Beitrag
Iulia-Dana Nica, Ingo Hans Pill, Thomas Quaritsch and Franz WotawaThe Route to Success - A Performance Comparison of Diagnosis AlgorithmsPublikation in PURE anzeigen
2012
Book
Birgit Gertraud Hofer and Franz WotawaSpectrum Enhanced Dynamic Slicing for Fault LocalizationPublikation in PURE anzeigen
Buchkapitel
Franz WotawaAdaptive Autonomous Systems – From the System’s Architecture to TestingLeveraging Applications of Formal Methods, Verification, and Validation76-90Publikation in PURE anzeigen
Beitrag in Fachzeitschrift
Bernhard Peischl, Naveed Riaz and Franz WotawaAutomated Debugging of Verilog DesignsPublikation in PURE anzeigen
Jörg Weber and Franz WotawaDiagnosis and repair of dependent failures in the control system of a mobile autonomous robotPublikation in PURE anzeigen
Birgit Gertraud Hofer and Franz WotawaCombining Slicing and Constraint Solving for Better Debugging: The CONBAS ApproachPublikation in PURE anzeigen
Franz Wotawa, Mihai Nica and Iulia MoraruAutomated debugging based on a constraint model of the program and a test casePublikation in PURE anzeigen
Birgit Gertraud Hofer and Franz WotawaFallstudien zum Einsatz modellbasierter Testtechniken in der industriellen PraxisPublikation in PURE anzeigen
Tagungsbeitrag
Iulia-Dana Nica, Franz Wotawa, Roland Ochenbauer, Christian Schober, Harald Hofbauer and Sanja BoltekModel-based simulation and configuration of mobile phone networks – The SIMOA ApproachProc. of the ECAI 2012 Workshop on Artificial Intelligence for Telecommunications & Sensor Networks12-17Publikation in PURE anzeigen
Iulia-Dana Nica and Franz WotawaThe SiMoL Modeling Language for Simulation and (Re-) ConfigurationSOFSEM - Conference on Current Trends in Theory and Practice of Informatics661-672Publikation in PURE anzeigen
Birgit Gertraud Hofer, Franz Wotawa and Rui AbreuAI for the win: improving spectrum-based fault localizationACM SIGSOFT Software Engineering Notes1-8Publikation in PURE anzeigen
Simona Alina Nica and Franz WotawaUsing Constraints for Equivalent Mutant DetectionWorkshop on Formal Methods in the Development of SoftwarePublikation in PURE anzeigen
Valentin Constantin Chimisliu and Franz WotawaModel Based Test Case Generation for Distributed Embedded SystemsInternational Conference on Industrial Technologyp-pPublikation in PURE anzeigen
Josip Bozic and Franz WotawaModel-based Testing - From Safety to SecurityWorkshop on System Testing and Validation9-16Publikation in PURE anzeigen
Rui Abreu, Andrè Riboira and Franz WotawaDebugging of Spreadsheets: A CSPbased ApproachSoftware Reliability Engineering Workshops (ISSREW)159-164Publikation in PURE anzeigen
Birgit Gertraud Hofer and Franz WotawaSpectrum Enhanced Dynamic Slicing for better Fault LocalizationECAI 2012 - 20th European Conference on Artificial Intelligence.420-425Publikation in PURE anzeigen
Franz WotawaOpen research challenges of localizing faults in programs using constraintsProceedings of the 4th Workshop on Constraints in Software Testing, Verification, and AnalysisPublikation in PURE anzeigen
Rui Abreu, André Riboira and Franz WotawaConstraint-based Debugging of SpreadsheetsProceedings of the 15th Ibero-American Conference on Software EngineeringPublikation in PURE anzeigen
Valentin Constantin Chimisliu and Franz WotawaCategory Partition Method and Satisfiability Modulo Theories for Test Case GenerationProc. of the International Workshop on Automation of Software TestPublikation in PURE anzeigen
Siegfried Podesser, Gerald Steinbauer and Franz WotawaSelective Belief Management for High-‐Level Robot ProgramsInternational Workshop on Principles of DiagnosisPublikation in PURE anzeigen
Birgit Gertraud Hofer and Franz WotawaReducing the size of dynamic slicing with constraint solving2012 12th International Conference on Quality Software, Xi'an, Shaanxi, China, August 27-29, 201241-48Publikation in PURE anzeigen
Simona Alina Nica and Franz WotawaEqMutDetect – A Tool for Equivalent Mutant Detection in Embedded SystemsWorkshop on Intelligent Solutions in Embedded Systems57-62Publikation in PURE anzeigen
Sonstiger Beitrag
Iulia-Dana Nica and Franz WotawaConDiag - Computing minimal diagnoses using a constraint solverPublikation in PURE anzeigen
2011
Beitrag in Fachzeitschrift
Bernhard Aichernig, Bernhard Peischl and Franz WotawaModellbasiertes Testen (MBT) in der SoftwareentwicklungPublikation in PURE anzeigen
Franz WotawaOn the Use of Abduction as an Alternative to Decision Trees in Environmental Decision Support SystemsPublikation in PURE anzeigen
Christian Schwarzl and Franz WotawaTest case generation in practice for communicating embedded systemsPublikation in PURE anzeigen
Tagungsbeitrag
Valentin Constantin Chimisliu and Franz WotawaAbstracting Timing Information in UML Statecharts via Temporal Ordering and LOTOSProc. of the 6th International Workshop on Automation of Software Test8-14Publikation in PURE anzeigen
Franz Wotawa, Simona Alina Nica and Mihai NicaConstraint-Based Debugging Combining Mutations and Distinguishing Test CasesProceedings of the Ninth Workshop on Intelligent Solutions in Embedded Systems (WISES 2011)Publikation in PURE anzeigen
Simona Alina Nica, Mihai Nica and Franz WotawaDetecting Equivalent Mutants by Means of Constraint SystemsThe Third International Conference on Advances in System Testing and Validation Lifecycle (VALID 2011)Publikation in PURE anzeigen
Birgit Gertraud Hofer and Franz WotawaHow to combine slicing-hitting-set-computation with spectrum-based fault localization22nd International Workshop on Principles of Diagnosis114-121Publikation in PURE anzeigen
Gerald Steinbauer and Franz WotawaOn the Evaluation and Certification of the Robustness of Autonomous Intelligent SystemsInternational Workshop on Principles of Diagnosis167-170Publikation in PURE anzeigen
Gerald Steinbauer and Franz WotawaEvaluating the Robustness of the Perception-Decision-Execution Cycle of Autonomous RobotsICAR Workshop on Performance Measures for Quantifying Safe and Reliable Operation of Professional Service Robots in Unstructured, Dynamic EnvironmentsPublikation in PURE anzeigen
Franz WotawaOn the use of constraints in dynamic slicing for program debuggingProceedings of the ICST Workshop on Testing and Debugging (TeBug)Publikation in PURE anzeigen
Iulia-Dana Nica and Franz WotawaSiMoL– A Modeling Language for Simulation and (Re-)ConfigurationWorkshop on Configuration40-43Publikation in PURE anzeigen
Franz WotawaAdaptive autonomous systems - From the system's architecture to testingProceedings of the 1st International ISOLA Workshop on Software Aspects of Robotics SystemsPublikation in PURE anzeigen
Simona Alina Nica, Rudolf Ramler and Franz WotawaIs Mutation Testing Scalable for Real-World Software Projects?The Third International Conference on Advances in System Testing and Validation LifecyclePublikation in PURE anzeigen
Christian Schwarzl, Bernhard Aichernig and Franz WotawaCompositional Random Testing Using Extended Symbolic Transition SystemsTesting Software and Systems179-194Publikation in PURE anzeigen
Franz Wotawa and Mihai NicaProgram debugging using constraints – Is it feasible?Proceedings of the 11th International Conference on Quality Software (QSIC)236-243Publikation in PURE anzeigen
Ingo Hans Pill, Thomas Quaritsch and Franz WotawaFrom Conflicts to Diagnoses: An Empirical Evaluation of Minimal Hitting Set Algorithms22nd International Workshop on Principles of Diagnosis203-210Publikation in PURE anzeigen
Stefan Galler, Thomas Quaritsch, Martin Weiglhofer and Franz WotawaThe IntiSa approach: Test Input Data Generation for Non-Primitive Data Types by means of SMT solver based Bounded Model Checking11th International Conference On Quality Software121-130Publikation in PURE anzeigen
Franz Wotawa(Still) open research questions to be solved in the context of smart autonomous systems – Extended abstractProceedings of the Austrian Robotics Workshop9-11Publikation in PURE anzeigen
Bernhard Peischl and Franz WotawaAn Abstract Operational Framework for Dependence Models in Software DebuggingProceedings of the ICST Workshop on Testing and Debugging (TeBug)Publikation in PURE anzeigen
Sonstiger Beitrag
Iulia-Dana Nica and Franz WotawaDiagnosis-based reconfiguration using the MINION constraint solverPublikation in PURE anzeigen
Ingo Hans Pill, Thomas Quaritsch and Franz WotawaFrom Conflicts to Diagnoses: An Empirical Evaluation of Minimal Hitting Set AlgorithmsPublikation in PURE anzeigen
2010
Proceedings
Alexander Felfernig and Franz WotawaProceedings of the ECAI'2010 Workshop on Intelligent Engineering Techniques for Knowledge BasesPublikation in PURE anzeigen
Beitrag in Fachzeitschrift
Syed Nadeem Ahsan, Muhammad Tanvir Afzal, Safdar Zaman, Christian Gütl and Franz WotawaMining Effort Data from the OSS Repository of Developer's Bug Fix ActivityPublikation in PURE anzeigen
Mihai Nica, Bernhard Peischl and Franz WotawaConstraint-based configuration of embedded automotive softwarePublikation in PURE anzeigen
Franz Wotawa, Ignasi Rodriquez-Roda and Joaquim ComasEnvironmental decision support systems based on models and model-based reasoningPublikation in PURE anzeigen
Tagungsbeitrag
Jörg Weber and Franz WotawaCombining Runtime Diagnosis and AI-Planning in a Mobile Autonomous Robot to Achieve a Graceful Degradation after Software FailuresInternational Conference on Agents and Artificial IntelligencePublikation in PURE anzeigen
Franz Wotawa and Ingo Hans PillOn Classification and Modeling Issues in Distributed Model‐based DiagnosisProceedings of the ECAI 2010 Workshop on Intelligent Engineering Techniques for Knowledge Bases (IKBET)27-32Publikation in PURE anzeigen
Franz WotawaFault Localization Based On Dynamic Slicing and Hitting-Set ComputationProceedings of the 10th International Conference on Quality SoftwarePublikation in PURE anzeigen
Elisabeth Jöbstl, Martin Weiglhofer, Bernhard Aichernig and Franz WotawaWhen BDDs Fail: Conformance Testing with Symbolic Execution and SMT Solving2010 Third International Conference on Software Testing, Verification and Validation (ICST 2010)479-488Publikation in PURE anzeigen
Franz Wotawa, Mihai Nica and Bernhard AichernigGenerating Distinguishing Tests using the MINION Constraint SolverProc. of the 2nd Workshop on Constraints in Software Testing, Verification and Analysis (CSTVA'10)1-6Publikation in PURE anzeigen
Syed Nadeem Ahsan and Franz WotawaImpact Analysis of SCRs Using Single and Multi-Label Machine Learning ClassificationInternational Symposium on Empirical Software Engineering and MeasurementPublikation in PURE anzeigen
Stefan Galler, Martin Weiglhofer and Franz WotawaSynthesize it: from Design by Contract™to Meaningful Test Input DataSoftware Engineering and Formal Methods 20101-10Publikation in PURE anzeigen
Stefan Galler, Christoph Zehentner and Franz WotawaAIana: An AI Planning System for Test Data Generation1st ECOOP Workshop on Testing Object-Oriented Systems1-8Publikation in PURE anzeigen
Simona Alina Nica, Mihai Nica and Franz WotawaImproving the Mutation Score by Means of Distinguishing Test CasesProceedings of the 22nd Nordic Workshop on Programming Theory - NWPT '10Publikation in PURE anzeigen
Stefan Galler, Andreas Maller and Franz WotawaAutomatically Extracting Mock Object Behavior from Design by Contract Specification for Test Data GenerationInternational Workshop on Automation of Software Test1-8Publikation in PURE anzeigen
Gerald Steinbauer and Franz WotawaOn the Way to Automated Belief Repair for Autonomous RobotsInternational Workshop on Principles of DiagnosisPublikation in PURE anzeigen
Stephan Gspandl, Michael Reip, Gerald Steinbauer and Franz WotawaFrom Sketch to PlanInternational Workshop on Qualitative ReasoningPublikation in PURE anzeigen
Mihai Nica, Simona Alina Nica and Franz WotawaDoes 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 WotawaUsing Distinguishing Tests to Reduce the Number of Fault CandidatesProceedings of the 21st International Workshop on the Principles of DiagnosisPublikation in PURE anzeigen
We use cookies in order to be able to provide you with the best possible service in the future. In the privacy policy you will find further information as well as the possibility of withdrawal.