Franz Wotawa - RankMe

425 papers A* 10A 20B 12C 100Misc 7Journal 92Unranked 177

Year	Rank	Type	Title / Venue / Authors
2026	A*	`conf`	Choosing Abstraction Levels for Model-Based Software Debugging: A Theoretical and Empirical Analysis for Spreadsheet Programs (Abstract Reprint). AAAI Patrick Rodler, Birgit Hofer, Dietmar Jannach, Iulia Nica, Franz Wotawa
2025	—	`conf`	Automata Learning for React Web Applications. ICSTW Peter Grubelnik, Franz Wotawa
2025	C	`conf`	Beyond Static Diagnosis: A Temporal ASP Framework for HVAC Fault Detection. DX Roxane Koitz-Hristov, Liliana Marie Prikler, Franz Wotawa
2025	J	`jnl`	Choosing abstraction levels for model-based software debugging: A theoretical and empirical analysis for spreadsheet programs. Artif. Intell. Patrick Rodler, Birgit Hofer, Dietmar Jannach, Iulia Nica, Franz Wotawa
2025	C	`conf`	Combining Dynamic Slicing and Spectrum-Based Fault Localization - A First Experimental Evaluation. DX Jonas Schleich, Franz Wotawa
2025	J	`jnl`	Evaluating Testing and Use of Photometric Stereo Applications for Riblet Inspection. SN Comput. Sci. Franz Wotawa, Ledio Jahaj, Nicole Brosch
2025	—	`conf`	Evaluating the Robustness of Object Detectors Via Delta Debugging, Quickxplain, and A Combinatorial Hybrid. DSA Ledio Jahaj, Franz Wotawa
2025	—	`conf`	Evaluation of Efficient AI for the Edge: Insights from Deep Neural Networks Model Compression Techniques Applied to Occupancy Detection. IEA/AIE (1) Mina Basirat, Franz Wotawa
2025	C	`conf`	Formal Methods for Residual Risk Reduction in Cyber-Physical Systems. QRS David Kaufmann, Radu Mateescu, Lucie Muller, Wendelin Serwe, Franz Wotawa
2025	C	`conf`	GEMMA-FD: Zero-Shot Fault Detection in Heat Pumps Using Multimodal Language Models. DX Herbert Mühlburger, Franz Wotawa
2025	—	`conf`	Model-Based Diagnosis for Building Systems - Results of an Initial Feasibility Study. IEA/AIE (2) Franz Wotawa
2025	—	`conf`	On the Challenges of Monitoring Robust Systems. DSA Lorenz Klampfl, Alexander Perko, Franz Wotawa
2025	C	`conf`	On the Evaluation of Test Suites Generated by Large Language Models. ICTSS Matej Cuze, Franz Wotawa
2025	—	`conf`	On the Quest for Criticality Searching for Interactions that Matter When Hunting for Bugs. Go Where the Bugs Are Franz Wotawa
2025	A	`conf`	On the Use of Artificial Intelligence for Autonomous Driving and Its Verification. ECAI Franz Wotawa
2025	J	`jnl`	Ontology-based Testing - A Survey on Research Contributions. J. Vis. Lang. Comput. Shahzad Nayab, Franz Wotawa
2025	—	`conf`	Ontology-based Testing for Quality Assurance of Robotics Applications. QRS Companion Shahzad Nayab, Franz Wotawa
2025	C	`conf`	Optimized Spectral Fault Receptive Fields for Diagnosis-Informed Prognosis. DX Stan Muñoz Gutiérrez, Franz Wotawa
2025	J	`jnl`	Optimized Spectral Fault Receptive Fields for Diagnosis-Informed Prognosis. CoRR Stan Muñoz Gutiérrez, Franz Wotawa
2025	J	`jnl`	Reproducibility of Machine Learning-Based Fault Detection and Diagnosis for HVAC Systems in Buildings: An Empirical Study. CoRR Adil Mukhtar, Michael Hadwiger, Franz Wotawa, Gerald Schweiger
2025	—	`conf`	Surveying the Use of Ontologies for Testing - From Past to Current Research (S). DMSVIVA Shahzad Nayab, Franz Wotawa
2025	—	`conf`	The Task Assignment Problem for Safety-Critical Networks Considering Communication and Criticality. ConfWS@ECAI Franz Wotawa, Julián Proenza, Manuel Barranco, Alberto Ballesteros
2025	—	`conf`	Towards Improving Automated Testing with GraphWalker. ICSTW Yavuz Köroglu, Mutlu Beyazit, Onur Kilinççeker, Serge Demeyer, Franz Wotawa
2025	C	`conf`	Using Qualitative Simulation Models for Monitoring and Diagnosis. DX Ankita Das, Roxane Koitz-Hristov, Franz Wotawa
2025	—	`conf`	Utilizing Ontologies for Combinatorial Testing. ICSTW Franz Wotawa
2025	—	`conf`	VisOpt - Visualization of Compiler Optimizations for Computer Science Education. SIGCSE (1) Roxane Koitz-Hristov, Franz Mandl, Franz Wotawa
2024	C	`conf`	21st Workshop on Automotive Software Engineering (ASE'24). Software Engineering Stefan Kugele, Franz Wotawa
2024	C	`ed.`	35th International Conference on Principles of Diagnosis and Resilient Systems, DX 2024, Vienna, Austria, November 4-7, 2024 DX Ingo Pill, Avraham Natan, Franz Wotawa
2024	C	`conf`	9 in 10 cameras agree: Pedestrians in front possibly endangered. AST Liliana Marie Prikler, Franz Wotawa
2024	J	`jnl`	A Systematic Mapping Study of Digital Twins for Diagnosis in Transportation. CoRR Liliana Marie Prikler, Franz Wotawa
2024	C	`conf`	Bridging Hardware and Software Diagnosis: Leveraging Fault Signature Matrix and Spectrum-Based Fault Localization Similarities. DX Louise Travé-Massuyès, Franz Wotawa
2024	C	`conf`	Data-Driven Diagnosis of Electrified Vehicles: Results from a Structured Literature Review (Short Paper). DX Stan Muñoz Gutiérrez, Adil Mukhtar, Franz Wotawa
2024	C	`conf`	Detecting Soft Faults in Heat Pumps (Short Paper). DX Birgit Hofer, Franz Wotawa
2024	C	`conf`	Evaluating OpenAI Large Language Models for Generating Logical Abstractions of Technical Requirements Documents. QRS Alexander Perko, Franz Wotawa
2024	C	`conf`	FLEX: Fault Localization and Explanation Using Open-Source Large Language Models in Powertrain Systems (Short Paper). DX Herbert Mühlburger, Franz Wotawa
2024	C	`conf`	Faster Diagnosis with Answer Set Programming (Short Paper). DX Liliana Marie Prikler, Franz Wotawa
2024	—	`conf`	FaultLines - Evaluating the Efficacy of Open-Source Large Language Models for Fault Detection in Cyber-Physical Systems. AITest Herbert Mühlburger, Franz Wotawa
2024	J	`jnl`	Generalizable Temperature Nowcasting with Physics-Constrained RNNs for Predictive Maintenance of Wind Turbine Components. CoRR Johannes Exenberger, Matteo Di Salvo, Thomas Hirsch, Franz Wotawa, Gerald Schweiger
2024	C	`conf`	Investigating Reproducibility in Deep Learning-Based Software Fault Prediction. QRS Adil Mukhtar, Dietmar Jannach, Franz Wotawa
2024	J	`jnl`	Investigating Reproducibility in Deep Learning-Based Software Fault Prediction. CoRR Adil Mukhtar, Dietmar Jannach, Franz Wotawa
2024	C	`conf`	Knowledge-Based Monitoring for Checking Law and Regulation Compliance. IEA/AIE Ledio Jahaj, Lorenz Klampfl, Franz Wotawa
2024	C	`conf`	Leveraging Answer Set Programming for Continuous Monitoring, Fault Detection, and Explanation of Automated and Autonomous Driving Systems. DX Lorenz Klampfl, Franz Wotawa
2024	C	`conf`	Mutating Clingo's AST with clingabomino. ICTSS Liliana Marie Prikler, Franz Wotawa
2024	J	`jnl`	On the Impact of Input Models on the Fault Detection Capabilities of Combinatorial Testing. SN Comput. Sci. Carmen Baumann, Yavuz Köroglu, Franz Wotawa
2024	C	`conf`	On the Variations of ChatGPT's Response Quality for Generating Source Code Across Programming Languages. ICTSS Ángela González de Diego, Franz Wotawa
2024	J	`jnl`	On the suitability of checked coverage and genetic parameter tuning in test suite reduction. J. Softw. Evol. Process. Roxane Koitz-Hristov, Thomas Sterner, Lukas Stracke, Franz Wotawa
2024	C	`conf`	Reevaluating the Small-Scope Testing Hypothesis of Answer Set Programs. ICTSS Liliana Marie Prikler, Franz Wotawa
2024	C	`conf`	Simulation-Based Diagnosis for Cyber-Physical Systems - A General Approach and Case Study on a Dual Three-Phase E-Machine. DX David Kaufmann, Matus Kozovsky, Franz Wotawa
2024	—	`conf`	Summary of "An empirical comparison of combinatorial testing and search-based testing in the context of automated and autonomous driving systems". ICSTW Florian Klück, Yihao Li, Jianbo Tao, Franz Wotawa
2024	J	`jnl`	Testing ADAS/ADS - from critical scenarios to automated testing oracles. Elektrotech. Informationstechnik Lorenz Klampfl, Florian Klück, Mihai Nica, Jianbo Tao, Franz Wotawa
2024	—	`conf`	Testing and Reinforcement Learning - A Structured Literature Review. QRS Companion Shahzad Nayab, Franz Wotawa
2024	C	`conf`	Transformer-Based Signal Inference for Electrified Vehicle Powertrains (Short Paper). DX Stan Muñoz Gutiérrez, Adil Mukhtar, Franz Wotawa
2024	—	`conf`	Using Answer Set Programming for Assigning Tasks to Computing Nodes. ConfWS Franz Wotawa
2024	J	`jnl`	Using genetic algorithms for automating automated lane-keeping system testing. J. Softw. Evol. Process. Lorenz Klampfl, Florian Klück, Franz Wotawa
2024	—	`conf`	Utilizing Genetic Algorithms for Generating Critical Scenarios for Testing Autonomous Driving Functions. AITest Florian Klück, Daniel Sumann, Franz Wotawa
2023	—	`conf`	A Systematic Mapping Study of Digital Twins for Diagnosis in Transportation. DSA Liliana Marie Prikler, Franz Wotawa
2023	J	`jnl`	An Empirical Study of Greedy Test Suite Minimization Techniques Using Mutation Coverage. IEEE Access Seema Jehan, Franz Wotawa
2023	J	`jnl`	An empirical comparison of combinatorial testing and search-based testing in the context of automated and autonomous driving systems. Inf. Softw. Technol. Florian Klück, Yihao Li, Jianbo Tao, Franz Wotawa
2023	—	`conf`	Analysing Residual Risks when Introducing Monitoring and Diagnosis into Systems. DSA Thomas Hirsch, Franz Wotawa
2023	—	`conf`	Applying CT-FLA for AEB Function Testing: A Virtual Driving Case Study. ICSTW Ludwig Kampel, Michael Wagner, Dimitris E. Simos, Mihai Nica, Dino Dodig, David Kaufmann, Franz Wotawa
2023	—	`conf`	Bottleneck Analysis via Grammar-based Performance Fuzzing ICSTW Yavuz Köroglu, Franz Wotawa
2023	—	`conf`	Continuous Domain Input Abstraction and Fault Detection Capability in Combinatorial Testing. ASEW Yavuz Köroglu, Franz Wotawa
2023	J	`jnl`	Explaining software fault predictions to spreadsheet users. J. Syst. Softw. Adil Mukhtar, Birgit Hofer, Dietmar Jannach, Franz Wotawa
2023	J	`jnl`	Finding Critical Scenarios for Automated Driving Systems: A Systematic Mapping Study. IEEE Trans. Software Eng. Xinhai Zhang, Jianbo Tao, Kaige Tan, Martin Törngren, José Manuel Gaspar Sánchez, Muhammad Rusyadi Ramli, Xin Tao, Magnus Gyllenhammar, Franz Wotawa, Naveen Mohan, Mihai Nica, Hermann Felbinger
2023	—	`conf`	Generating concrete test cases from vehicle data using models obtained from clustering. ICSTW Nour Chetouane, Franz Wotawa
2023	—	`conf`	Identifying Critical Scenarios in Autonomous Driving During Operation. ECAI Workshops (1) Lorenz Klampfl, Franz Wotawa
2023	C	`conf`	On the Evaluation of Photometric Stereo Applications Testing Using Image Modifications. ICTSS Franz Wotawa, Ledio Jahaj, Nicole Brosch
2023	—	`conf`	Optimizing Named Entity Recognition for Improving Logical Formulae Abstraction from Technical Requirements Documents. DSA Alexander Perko, Haoran Zhao, Franz Wotawa
2023	C	`conf`	Smart Monitoring for Safety-Assurance in Autonomous Driving (S). SEKE Georg Stettinger, Franz Wotawa
2023	C	`conf`	Towards a Review on Simulated ADAS/AD Testing. AST Yavuz Köroglu, Franz Wotawa
2023	C	`conf`	Using Data Abstraction for Clustering in the Context of Test Case Generation. QRS Nour Chetouane, Franz Wotawa
2023	—	`conf`	Which Components to Blame? Integrating Diagnosis into Monitoring of Technical Systems. IEA/AIE (2) Franz Wotawa
2023	C	`conf`	Wireless Threats Against V2X Communication. QRS Axel Boström, Franz Wotawa
2022	—	`conf`	A Passive Testing Approach using a Semi-Supervised Intrusion Detection Model for SCADA Network Traffic. AITest Herbert Mühlburger, Franz Wotawa
2022	A*	`conf`	Boosting Spectrum-Based Fault Localization for Spreadsheets with Product Metrics in a Learning Approach. ASE Adil Mukhtar, Birgit Hofer, Dietmar Jannach, Franz Wotawa, Konstantin Schekotihin
2022	—	`conf`	Challenges of testing self-adaptive systems. SPLC (B) Liliana Marie Prikler, Franz Wotawa
2022	C	`conf`	Checked Coverage for Test Suite Reduction - Is It Worth the Effort? AST Roxane Koitz-Hristov, Lukas Stracke, Franz Wotawa
2022	C	`conf`	DDMin versus QuickXplain - An Experimental Comparison of two Algorithms for Minimizing Collections. SEKE Oliver A. Tazl, Christopher Tafeit, Franz Wotawa, Alexander Felfernig
2022	J	`jnl`	Editorial "special issue on artificial intelligence in practice - from theory to application". Appl. Intell. Moonis Ali, Gerhard Friedrich, Ingo Pill, Franz Wotawa
2022	C	`conf`	Extracting Temporal Models from Data Episodes. QRS Nour Chetouane, Franz Wotawa
2022	J	`jnl`	Model-based reasoning using answer set programming. Appl. Intell. Franz Wotawa, David Kaufmann
2022	J	`jnl`	Pursuing Intelligent Behavior in Cyber-Physical Systems by Lightweight Diagnosis. Adv. Intell. Syst. Martin Zimmermann, Franz Wotawa, Ingo Pill
2022	J	`jnl`	Spreadsheet debugging: The perils of tool over-reliance. J. Syst. Softw. Adil Mukhtar, Birgit Hofer, Dietmar Jannach, Franz Wotawa
2022	—	`conf`	Testing Photometric Stereo Applications. DSA Ledio Jahaj, Franz Wotawa
2022	J	`jnl`	Testing anticipatory systems: A systematic mapping study on the state of the art. J. Syst. Softw. Bernhard Peischl, Oliver A. Tazl, Franz Wotawa
2022	C	`conf`	The Java2CSP Debugging Tool Utilizing Constraint Solving and Model-Based Diagnosis Principles. IEA/AIE Franz Wotawa, Vlad Andrei Dumitru
2021	C	`conf`	A framework for the automation of testing computer vision systems. AST Franz Wotawa, Lorenz Klampfl, Ledio Jahaj
2021	J	`jnl`	A framework for the automation of testing computer vision systems. CoRR Franz Wotawa, Lorenz Klampfl, Ledio Jahaj
2021	—	`conf`	Analysing Experimental Results Obtained when Applying Search-based Testing to Verify Automated Driving Functions. DSA Florian Klück, Franz Wotawa, Gerhard Neubauer, Jianbo Tao, Mihai Nica
2021	—	`conf`	Automated Diagnosis of Cyber-Physical Systems. IEA/AIE (2) Franz Wotawa, Oliver A. Tazl, David Kaufmann
2021	J	`jnl`	Automatic Generation of Challenging Road Networks for ALKS Testing based on Bezier Curves and Search. CoRR Florian Klück, Lorenz Klampfl, Franz Wotawa
2021	J	`jnl`	CIMAX: collective information maximization in robotic swarms using local communication. Adapt. Behav. Hannes Hornischer, Joshua Cherian Varughese, Ronald Thenius, Franz Wotawa, Manfred Füllsack, Thomas Schmickl
2021	C	`conf`	Extracting information from driving data using k-means clustering (S). SEKE Nour Chetouane, Lorenz Klampfl, Franz Wotawa
2021	J	`jnl`	Finding Critical Scenarios for Automated Driving Systems: A Systematic Literature Review. CoRR Xinhai Zhang, Jianbo Tao, Kaige Tan, Martin Törngren, José Manuel Gaspar Sánchez, Muhammad Rusyadi Ramli, Xin Tao, Magnus Gyllenhammar, Franz Wotawa, Naveen Mohan, Mihai Nica, Hermann Felbinger
2021	—	`conf`	GABezier at the SBST 2021 Tool Competition. SBST@ICSE Florian Klück, Lorenz Klampfl, Franz Wotawa
2021	J	`jnl`	Intelligent Agents Diagnostics - Enhancing Cyber-Physical Systems with Self-Diagnostic Capabilities. Adv. Intell. Syst. David Kaufmann, Iulia Nica, Franz Wotawa
2021	—	`conf`	Java2CSP - A Model-Based Diagnosis Tool Not Only for Software Debugging. KES-IDT Franz Wotawa, Vlad Andrei Dumitru
2021	C	`conf`	Metamorphic Testing of Logic Theorem Prover. ICTSS Oliver A. Tazl, Franz Wotawa
2021	J	`jnl`	Metric-Based Fault Prediction for Spreadsheets. IEEE Trans. Software Eng. Patrick W. Koch, Konstantin Schekotihin, Dietmar Jannach, Birgit Hofer, Franz Wotawa
2021	Misc	`conf`	Monitoring Hierarchical Systems for Safety Assurance. IDC Franz Wotawa, Horst Lewitschnig
2021	C	`conf`	On the Automation of Audio Plugin Testing QRS Stephan Valentan, Franz Wotawa
2021	C	`conf`	On the Effects of Data Sampling for Deep Learning on Highly Imbalanced Data from SCADA Power Grid Substation Networks for Intrusion Detection. QRS Franz Wotawa, Herbert Mühlburger
2021	—	`conf`	On the Use of Available Testing Methods for Verification & Validation of AI-based Software and Systems. SafeAI@AAAI Franz Wotawa
2021	J	`jnl`	Product metrics for spreadsheets - A systematic review. J. Syst. Softw. Birgit Hofer, Dietmar Jannach, Patrick W. Koch, Konstantin Schekotihin, Franz Wotawa
2021	—	`ed.`	Tests and Proofs - 15th International Conference, TAP 2021, Held as Part of STAF 2021, Virtual Event, June 21-22, 2021, Proceedings TAP@STAF Frédéric Loulergue, Franz Wotawa
2020	J	`jnl`	An adaptive system for autonomous driving. Softw. Qual. J. Martin Zimmermann, Franz Wotawa
2020	C	`conf`	CatIO - A Framework for Model-Based Diagnosis of Cyber-Physical Systems. ISMIS Edi Muskardin, Ingo Pill, Franz Wotawa
2020	A*	`conf`	Efficient Model-Based Diagnosis of Sequential Circuits. AAAI Alexander Feldman, Ingo Pill, Franz Wotawa, Ion Matei, Johan de Kleer
2020	C	`conf`	Explaining Object Motion Using Answer Set Programming. ISMIS Franz Wotawa, Lorenz Klampfl
2020	J	`jnl`	Faster horn diagnosis - a performance comparison of abductive reasoning algorithms. Appl. Intell. Roxane Koitz-Hristov, Franz Wotawa
2020	C	`conf`	Interrogating Virtual Agents: In Quest of Security Vulnerabilities. ICTSS Josip Bozic, Franz Wotawa
2020	C	`conf`	Machine Learning for Water Supply Supervision. IEA/AIE Thomas Schranz, Gerald Schweiger, Siegfried Pabst, Franz Wotawa
2020	C	`conf`	Mutation Testing for Artificial Neural Networks: An Empirical Evaluation. QRS Lorenz Klampfl, Nour Chetouane, Franz Wotawa
2020	—	`conf`	On Using Ontologies for Testing Compilers. ICST Workshops Yihao Li, Franz Wotawa
2020	—	`conf`	On Using k-means Clustering for Test Suite Reduction. ICST Workshops Nour Chetouane, Franz Wotawa, Hermann Felbinger, Mihai Nica
2020	C	`conf`	On the Use of Answer Set Programming for Model-Based Diagnosis. IEA/AIE Franz Wotawa
2020	—	`conf`	Ontology-based Testing: An Emerging Paradigm for Modeling and Testing Systems and Software. ICST Workshops Franz Wotawa, Josip Bozic, Yihao Li
2020	J	`jnl`	Ontology-based test generation for automated and autonomous driving functions. Inf. Softw. Technol. Yihao Li, Jianbo Tao, Franz Wotawa
2020	—	`conf`	Ontology-driven Security Testing of Web Applications. AITest Josip Bozic, Yihao Li, Franz Wotawa
2020	J	`jnl`	Planning-based security testing of web applications with attack grammars. Softw. Qual. J. Josip Bozic, Franz Wotawa
2019	C	`conf`	A Rule-Based Smart Control for Fail-Operational Systems. IEA/AIE Georg P. Engel, Gerald Schweiger, Franz Wotawa, Martin Zimmermann
2019	C	`ed.`	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, Graz, Austria, July 9-11, 2019, Proceedings IEA/AIE Franz Wotawa, Gerhard Friedrich, Ingo Pill, Roxane Koitz-Hristov, Moonis Ali
2019	J	`jnl`	CIMAX: Collective Information Maximization in Robotic Swarms Using Local Communication. CoRR Hannes Hornischer, Joshua Cherian Varughese, Ronald Thenius, Franz Wotawa, Manfred Füllsack, Thomas Schmickl
2019	—	`conf`	Chatbot Testing Using AI Planning. AITest Josip Bozic, Oliver A. Tazl, Franz Wotawa
2019	C	`conf`	Collective Event Detection Using Bio-inspired Minimalistic Communication in a Swarm of Underwater Robots. ALIFE Joshua Cherian Varughese, Hannes Hornischer, Ronald Thenius, Franz Wotawa, Thomas Schmickl
2019	—	`conf`	Comparing two systematic approaches for testing automated driving functions. ICCVE Hermann Felbinger, Florian Klück, Yihao Li, Mihai Nica, Jianbo Tao, Franz Wotawa, Martin Zimmermann
2019	—	`conf`	Conversational Recommendations Utilizing Model-based Reasoning. ConfWS Oliver A. Tazl, Alexander Perko, Franz Wotawa
2019	—	`conf`	Crucial Tool Features for Successful Combinatorial Input Parameter Testing in an Industrial Application. ICST Workshops Christian Eitner, Franz Wotawa
2019	J	`jnl`	Current Approaches in Applied Artificial Intelligence: The 2019 IEA/AIE Conference The IEA/AIE 2019 Conference. AI Mag. Franz Wotawa, Gerhard Friedrich, Ingo Pill, Roxane Koitz-Hristov, Moonis Ali
2019	—	`conf`	Extending Automated FLTL Test Oracles with Diagnostic Support. ISSRE Workshops Ingo Pill, Franz Wotawa
2019	J	`jnl`	Fragment-based spreadsheet debugging. Autom. Softw. Eng. Dietmar Jannach, Thomas Schmitz, Birgit Hofer, Konstantin Schekotihin, Patrick W. Koch, Franz Wotawa
2019	—	`conf`	Fully automated compiler testing of a reasoning engine via mutated grammar fuzzing. AST@ICSE Yavuz Köroglu, Franz Wotawa
2019	C	`conf`	Genetic Algorithm-Based Test Parameter Optimization for ADAS System Testing. QRS Florian Klück, Martin Zimmermann, Franz Wotawa, Mihai Nica
2019	—	`conf`	Investigating the Effectiveness of Mutation Testing Tools in the Context of Deep Neural Networks. IWANN (1) Nour Chetouane, Lorenz Klampfl, Franz Wotawa
2019	—	`conf`	On the Importance of System Testing for Assuring Safety of AI Systems. AISafety@IJCAI Franz Wotawa
2019	—	`conf`	On the Industrial Application of Combinatorial Testing for Autonomous Driving Functions. ICST Workshops Jianbo Tao, Yihao Li, Franz Wotawa, Hermann Felbinger, Mihai Nica
2019	J	`jnl`	On the refinement of spreadsheet smells by means of structure information. J. Syst. Softw. Patrick W. Koch, Birgit Hofer, Franz Wotawa
2019	C	`conf`	Performance Comparison of Two Search-Based Testing Strategies for ADAS System Validation. ICTSS Florian Klück, Martin Zimmermann, Franz Wotawa, Mihai Nica
2019	—	`conf`	Software Testing: According to Plan! ICST Workshops Josip Bozic, Franz Wotawa
2019	C	`conf`	Testing Chatbots Using Metamorphic Relations. ICTSS Josip Bozic, Franz Wotawa
2019	J	`jnl`	Testing TLS using planning-based combinatorial methods and execution framework. Softw. Qual. J. Dimitris E. Simos, Josip Bozic, Bernhard Garn, Manuel Leithner, Feng Duan, Kristoffer Kleine, Yu Lei, Franz Wotawa
2019	J	`jnl`	Towards swarm level optimisation: the role of different movement patterns in swarm systems. Int. J. Parallel Emergent Distributed Syst. Daniela Kengyel, Payam Zahadat, Franz Wotawa, Thomas Schmickl
2019	C	`conf`	Using Model-Based Reasoning for Enhanced Chatbot Communication. IEA/AIE Oliver A. Tazl, Franz Wotawa
2019	J	`jnl`	Using Tri-Relation Networks for Effective Software Fault-Proneness Prediction. IEEE Access Yihao Li, W. Eric Wong, Shou-Yu Lee, Franz Wotawa
2019	—	`conf`	Weighted Combinatorial Sequence Testing for the TLS Protocol. ICST Workshops Bernhard Garn, Dimitris E. Simos, Feng Duan, Yu Lei, Josip Bozic, Franz Wotawa
2018	—	`conf`	A Formal TLS Handshake Model in LNT. MARS/VPT Josip Bozic, Lina Marsso, Radu Mateescu, Franz Wotawa
2018	—	`conf`	Adapting Unit Tests by Generating Combinatorial Test Data. ICST Workshops Hermann Felbinger, Franz Wotawa, Mihai Nica
2018	—	`conf`	Adaptive System for Autonomous Driving. QRS Companion Franz Wotawa, Martin Zimmermann
2018	—	`conf`	An Approach to Automatically Extract Predictive Properties from Nominal Attributes in Relational Databases. IEEE BigData Valentin Kassarnig, Franz Wotawa
2018	J	`jnl`	Applying algorithm selection to abductive diagnostic reasoning. Appl. Intell. Roxane Koitz, Franz Wotawa
2018	J	`jnl`	Automated generation of (F)LTL oracles for testing and debugging. J. Syst. Softw. Ingo Pill, Franz Wotawa
2018	—	`conf`	Chatbot-based Tourist Recommendations Using Model-based Reasoning. ConfWS Iulia Nica, Oliver A. Tazl, Franz Wotawa
2018	—	`conf`	Combining Combinatorial Testing and Metamorphic Testing for Testing a Logic-Based Non-monotonic Reasoning System. ICST Workshops Franz Wotawa
2018	J	`jnl`	Combining Spreadsheet Smells for Improved Fault Prediction. CoRR Patrick W. Koch, Konstantin Schekotihin, Dietmar Jannach, Birgit Hofer, Franz Wotawa
2018	—	`conf`	Combining spreadsheet smells for improved fault prediction. ICSE (NIER) Patrick W. Koch, Konstantin Schekotihin, Dietmar Jannach, Birgit Hofer, Franz Wotawa, Thomas Schmitz
2018	J	`jnl`	Evolutionary Propositionalization of Multi-Relational Data - Research Notes. Int. J. Softw. Eng. Knowl. Eng. Valentin Kassarnig, Franz Wotawa
2018	C	`conf`	Evolutionary propositionalization of multi-relational data. SEKE Valentin Kassarnig, Franz Wotawa
2018	C	`conf`	From Ontologies to Input Models for Combinatorial Testing. ICTSS Franz Wotawa, Yihao Li
2018	J	`jnl`	Introduction to WOSPP: Wave Oriented Swarm Programming Paradigm. CoRR Joshua Cherian Varughese, Hannes Hornischer, Ronald Thenius, Payam Zahadat, Franz Wotawa, Thomas Schmickl
2018	—	`conf`	On Using an I/O Model for Creating an Abductive Diagnosis Model via Combinatorial Exploration, Fault Injection, and Simulation. DX Ingo Pill, Franz Wotawa
2018	—	`conf`	On the Automation of Testing a Logic-Based Diagnosis System. ICST Workshops Franz Wotawa
2018	J	`jnl`	On the Refinement of Spreadsheet Smells by means of Structure Information. CoRR Patrick W. Koch, Birgit Hofer, Franz Wotawa
2018	—	`conf`	On the Superiority of Conflict-Driven Search in MUS Enumeration. DX Roxane Koitz-Hristov, Franz Wotawa
2018	—	`conf`	Planning-based security testing of web applications. AST@ICSE Josip Bozic, Franz Wotawa
2018	J	`jnl`	Quality assurance methodologies for automated driving. Elektrotech. Informationstechnik Franz Wotawa, Bernhard Peischl, Florian Klück, Mihai Nica
2018	C	`conf`	Security Testing for Chatbots. ICTSS Josip Bozic, Franz Wotawa
2018	—	`conf`	Software Configuration Diagnosis - A Survey of Existing Methods and Open Challenges. ConfWS Artur Andrzejak, Gerhard Friedrich, Franz Wotawa
2018	—	`conf`	Spectrum-Based Fault Localization for Logic-Based Reasoning. ISSRE Workshops Ingo Pill, Franz Wotawa
2018	—	`conf`	Using LNT Formal Descriptions for Model-Based Diagnosis. DX Birgit Hofer, Radu Mateescu, Wendelin Serwe, Franz Wotawa
2018	—	`conf`	Using Ontologies for Test Suites Generation for Automated and Autonomous Driving Functions. ISSRE Workshops Florian Klück, Yihao Li, Mihai Nica, Jianbo Tao, Franz Wotawa
2017	C	`conf`	A "Strength of Decision Tree Equivalence"-Taxonomy and Its Impact on Test Suite Reduction. ICTSS Hermann Felbinger, Ingo Pill, Franz Wotawa
2017	B	`conf`	A decomposition-based approach to spreadsheet testing and debugging. VL/HCC Thomas Schmitz, Dietmar Jannach, Birgit Hofer, Patrick W. Koch, Konstantin Schekotihin, Franz Wotawa
2017	C	`conf`	AI for Localizing Faults in Spreadsheets. ICTSS Birgit Hofer, Iulia Nica, Franz Wotawa
2017	J	`jnl`	Combining Models for Improved Fault Localization in Spreadsheets. IEEE Trans. Reliab. Birgit Hofer, Andrea Hofler, Franz Wotawa
2017	C	`conf`	Improving Spectrum-Based Fault Localization for Spreadsheet Debugging. QRS Elisabeth Getzner, Birgit Hofer, Franz Wotawa
2017	C	`conf`	Model-Based Diagnosis Meets Combinatorial Testing For Generating an Abductive Diagnosis Model. DX Ingo Pill, Franz Wotawa
2017	—	`conf`	Model-Based Diagnosis in Practice: Interaction Design of an Integrated Diagnosis Application for Industrial Wind Turbines. IEA/AIE (1) Roxane Koitz, Johannes Lüftenegger, Franz Wotawa
2017	—	`conf`	Mutation Score, Coverage, Model Inference: Quality Assessment for T-Way Combinatorial Test-Suites. ICST Workshops Hermann Felbinger, Franz Wotawa, Mihai Nica
2017	A	`conf`	Performance tuning for automotive Software Fault Prediction. SANER Harald Altinger, Steffen Herbold, Friederike Schneemann, Jens Grabowski, Franz Wotawa
2017	—	`conf`	Planning-Based Security Testing of the SSL/TLS Protocol. ICST Workshops Josip Bozic, Kristoffer Kleine, Dimitris E. Simos, Franz Wotawa
2017	—	`conf`	Qualitative Deviation Models for Spreadsheet Debugging. ISSRE Workshops Birgit Hofer, Iulia Nica, Franz Wotawa
2017	—	`conf`	Quantification and Analysis of the Resilience of Two Swarm Intelligent Algorithms. GCAI Joshua Cherian Varughese, Ronald Thenius, Thomas Schmickl, Franz Wotawa
2017	—	`conf`	Results of a Comparative Study of Code Coverage Tools in Computer Vision. ICST Workshops Iulia Nica, Gerhard Jakob, Kathrin Juhart, Franz Wotawa
2017	C	`conf`	Testing TLS Using Combinatorial Methods and Execution Framework. ICTSS Dimitris E. Simos, Josip Bozic, Feng Duan, Bernhard Garn, Kristoffer Kleine, Yu Lei, Franz Wotawa
2017	—	`conf`	The Future of Automated Debugging - Focus on the Niches First. ISSRE Workshops Franz Wotawa
2016	J	`jnl`	A Survey on Software Fault Localization. IEEE Trans. Software Eng. W. Eric Wong, Ruizhi Gao, Yihao Li, Rui Abreu, Franz Wotawa
2016	—	`conf`	An Automated (F) LTL Test Oracle for Testing with Requirements. ISSRE Workshops Ingo Pill, Franz Wotawa
2016	—	`conf`	Classifying Test Suite Effectiveness via Model Inference and ROBBDs. TAP@STAF Hermann Felbinger, Ingo Pill, Franz Wotawa
2016	—	`conf`	Empirical study of correlation between mutation score and model inference based test suite adequacy assessment. AST@ICSE Hermann Felbinger, Franz Wotawa, Mihai Nica
2016	C	`conf`	FSTaxis Algorithm: Bio-Inspired Emergent Gradient Taxis. ALIFE Thomas Schmickl, Franz Wotawa, Ronald Thenius, Joshua Cherian Varughese
2016	—	`conf`	Fragment-Based Diagnosis of Spreadsheets. STAF Workshops Thomas Schmitz, Birgit Hofer, Dietmar Jannach, Franz Wotawa
2016	—	`conf`	Improving Abductive Diagnosis Through Structural Features: A Meta-Approach. DARe@ECAI Roxane Koitz, Franz Wotawa
2016	Misc	`ed.`	KI 2016: Advances in Artificial Intelligence - 39th Annual German Conference on AI, Klagenfurt, Austria, September 26-30, 2016, Proceedings KI Gerhard Friedrich, Malte Helmert, Franz Wotawa
2016	A	`conf`	On Error-Class Distribution in Automotive Model-Based Software. SANER Harald Altinger, Yanja Dajsuren, Sebastian Siegl, Jurgen J. Vinju, Franz Wotawa
2016	—	`conf`	On Structural Properties to Improve FMEA-Based Abductive Diagnosis. KnowProS@IJCAI Roxane Koitz, Franz Wotawa
2016	—	`conf`	On the Automation of Security Testing. ICSSA Franz Wotawa
2016	—	`conf`	SIMULTATE: A Toolset for Fault Injection and Mutation Testing of Simulink Models. ICST Workshops Ingo Pill, Ivan Rubil, Franz Wotawa, Mihai Nica
2016	—	`conf`	Static Spreadsheet Analysis. ISSRE Workshops Patrick W. Koch, Birgit Hofer, Franz Wotawa
2016	—	`conf`	Test-Suite Reduction Does Not Necessarily Require Executing the Program under Test. QRS Companion Hermann Felbinger, Franz Wotawa, Mihai Nica
2016	—	`conf`	Testing Self-Adaptive Systems Using Fault Injection and Combinatorial Testing. QRS Companion Franz Wotawa
2016	C	`ed.`	Testing Software and Systems - 28th IFIP WG 6.1 International Conference, ICTSS 2016, Graz, Austria, October 17-19, 2016, Proceedings ICTSS Franz Wotawa, Mihai Nica, Natalia Kushik
2016	Misc	`conf`	Using Modelica Programs for Deriving Propositional Horn Clause Abduction Problems. KI Bernhard Peischl, Ingo Pill, Franz Wotawa
2015	A	`conf`	A Novel Industry Grade Dataset for Fault Prediction Based on Model-Driven Developed Automotive Embedded Software. MSR Harald Altinger, Sebastian Siegl, Yanja Dajsuren, Franz Wotawa
2015	—	`conf`	A goal-question-metrics model for configuration knowledge bases. Configuration Workshop Florian Reinfrank, Gerald Ninaus, Bernhard Peischl, Franz Wotawa
2015	—	`conf`	Analyzing the reduction of test suite redundancy. ISSRE Workshops Ingo Pill, Seema Jehan, Franz Wotawa, Mihai Nica
2015	C	`conf`	Attack Pattern-Based Combinatorial Testing with Constraints for Web Security Testing. QRS Josip Bozic, Bernhard Garn, Ioannis Kapsalis, Dimitris E. Simos, Severin Winkler, Franz Wotawa
2015	B	`conf`	BPEL Integration Testing. FASE Seema Jehan, Ingo Pill, Franz Wotawa
2015	—	`conf`	Conditional slicing: Reducing dynamic slices. ISSRE Workshops Birgit Hofer, Georg Hinteregger, Franz Wotawa
2015	—	`conf`	Conflict Management for Constraint-based Recommendation. CPCR+ITWP@IJCAI Franz Wotawa, Martin Stettinger, Florian Reinfrank, Gerald Ninaus, Alexander Felfernig
2015	A*	`conf`	Diagnosis of Technical Systems. IJCAI Roxane Koitz, Franz Wotawa
2015	—	`conf`	Evaluation of the IPO-Family algorithms for test case generation in web security testing. ICST Workshops Josip Bozic, Bernhard Garn, Dimitris E. Simos, Franz Wotawa
2015	C	`conf`	Fault Localization in the Light of Faulty User Input. QRS Birgit Hofer, Franz Wotawa
2015	—	`conf`	Finding Explanations: an Empirical Evaluation of Abductive Diagnosis Algorithms. DARe@IJCAI Roxane Koitz, Franz Wotawa
2015	C	`conf`	Focused Diagnosis for Failing Software Tests. IEA/AIE Birgit Hofer, Seema Jehan, Ingo Pill, Franz Wotawa
2015	—	`conf`	Intelligent supporting techniques for the maintenance of constraint-based configuration systems. Configuration Workshop Florian Reinfrank, Gerald Ninaus, Franz Wotawa, Alexander Felfernig
2015	—	`conf`	Maintaining constraint-based systems: challenges ahead. Configuration Workshop Florian Reinfrank, Gerald Ninaus, Franz Wotawa, Alexander Felfernig
2015	C	`conf`	Novel Insights on Cross Project Fault Prediction Applied to Automotive Software. ICTSS Harald Altinger, Steffen Herbold, Jens Grabowski, Franz Wotawa
2015	J	`jnl`	On the empirical evaluation of similarity coefficients for spreadsheets fault localization. Autom. Softw. Eng. Birgit Hofer, Alexandre Perez, Rui Abreu, Franz Wotawa
2015	—	`conf`	PURITY: A Planning-based secURITY Testing Tool. QRS Companion Josip Bozic, Franz Wotawa
2015	—	`conf`	Parse tree structure in LTL requirements diagnosis. ISSRE Workshops Ingo Pill, Thomas Quaritsch, Franz Wotawa
2015	B	`conf`	Potential of Heterogeneity in Collective Behaviors: A Case Study on Heterogeneous Swarms. PRIMA Daniela Kengyel, Heiko Hamann, Payam Zahadat, Gerald Radspieler, Franz Wotawa, Thomas Schmickl
2015	C	`conf`	SAT-Based Abductive Diagnosis. DX Roxane Koitz, Franz Wotawa
2015	C	`conf`	Testing for Distinguishing Repair Candidates in Spreadsheets - the Mussco Approach. ICTSS Rui Abreu, Simon Außerlechner, Birgit Hofer, Franz Wotawa
2015	J	`jnl`	Using constraints to diagnose faulty spreadsheets. Softw. Qual. J. Rui Abreu, Birgit Hofer, Alexandre Perez, Franz Wotawa
2015	—	`conf`	iCone: Intelligent Environment for the Development and Maintenance of Configuration Knowledge Bases. CPCR+ITWP@IJCAI Franz Wotawa, Florian Reinfrank, Gerald Ninaus, Alexander Felfernig
2014	—	`conf`	Attack pattern-based combinatorial testing. AST@ICSE Josip Bozic, Dimitris E. Simos, Franz Wotawa
2014	J	`jnl`	Avoiding, finding and fixing spreadsheet errors - A survey of automated approaches for spreadsheet QA. J. Syst. Softw. Dietmar Jannach, Thomas Schmitz, Birgit Hofer, Franz Wotawa
2014	A	`conf`	Comparing Models for Spreadsheet Fault Localization. ECAI Birgit Hofer, Franz Wotawa
2014	—	`conf`	Failure Mode and Effect Analysis for Abductive Diagnosis. DARe@ECAI Franz Wotawa
2014	A	`conf`	Generation of Relevant Spreadsheet Repair Candidates. ECAI Birgit Hofer, Rui Abreu, Alexandre Perez, Franz Wotawa
2014	C	`conf`	Plan It! Automated Security Testing Based on Planning. ICTSS Franz Wotawa, Josip Bozic
2014	—	`conf`	Quality Assurance for Self-Adaptive, Self-Organising Systems (Message from the Workshop Organisers). SASO Workshops Benedikt Eberhardinger, Wolfgang Reif, Franz Wotawa, Tom Holvoet
2014	—	`conf`	Retaining Consistency for Knowledge-Based Security Testing. IEA/AIE (2) Andreas Bernauer, Josip Bozic, Dimitris E. Simos, Severin Winkler, Franz Wotawa
2014	—	`conf`	SOA Testing via Random Paths in BPEL Models. ICST Workshops Seema Jehan, Ingo Pill, Franz Wotawa
2014	—	`conf`	Security Testing Based on Attack Patterns. ICST Workshops Josip Bozic, Franz Wotawa
2014	—	`conf`	Testing Configuration Knowledge-Bases. Configuration Workshop Franz Wotawa, Ingo Pill
2014	—	`conf`	Testing methods used in the automotive industry: results from a survey. JAMAICA@ISSTA Harald Altinger, Franz Wotawa, Markus Schurius
2014	A	`conf`	Why Does my Spreadsheet Compute Wrong Values? ISSRE Birgit Hofer, Franz Wotawa
2013	—	`conf`	(Re-)configuration of Communication Networks in the Context of M2M. Configuration Workshop Iulia Nica, Franz Wotawa
2013	—	`conf`	Fifty Shades of Grey in SOA Testing. ICST Workshops Franz Wotawa, Marco Schulz, Ingo Pill, Seema Jehan, Philipp Leitner, Waldemar Hummer, Stefan Schulte, Philipp Hoenisch, Schahram Dustdar
2013	—	`conf`	Functional SOA testing based on constraints. AST@ICSE Seema Jehan, Ingo Pill, Franz Wotawa
2013	—	`conf`	Improving Test Case Generation from UML Statecharts by Using Control, Data and Communication Dependencies. QSIC Valentin Chimisliu, Franz Wotawa
2013	J	`jnl`	Intelligent engineering techniques for knowledge bases. AI Commun. Alexander Felfernig, Franz Wotawa
2013	—	`ch.`	Model-Based Reasoning for Self-Adaptive Systems - Theory and Practice. Assurances for Self-Adaptive Systems Gerald Steinbauer, Franz Wotawa
2013	—	`conf`	Mutation-based spreadsheet debugging. ISSRE (Supplemental Proceedings) Birgit Hofer, Franz Wotawa
2013	J	`jnl`	On classification and modeling issues in distributed model-based diagnosis. AI Commun. Franz Wotawa, Ingo Pill
2013	B	`conf`	On the Empirical Evaluation of Fault Localization Techniques for Spreadsheets. FASE Birgit Hofer, André Riboira, Franz Wotawa, Rui Abreu, Elisabeth Getzner
2013	J	`jnl`	On the use of mutations and testing for debugging. Softw. Pract. Exp. Mihai Nica, Simona Nica, Franz Wotawa
2013	—	`conf`	SOA Grey Box Testing - A Constraint-Based Approach. ICST Workshops Seema Jehan, Ingo Pill, Franz Wotawa
2013	—	`conf`	The Right Choice Matters! SMT Solving Substantially Improves Model-Based Debugging of Spreadsheets. QSIC Simon Ausserlechner, Sandra Fruhmann, Wolfgang Wieser, Birgit Hofer, Raphael Spork, Clemens Mühlbacher, Franz Wotawa
2013	A*	`conf`	The Route to Success - A Performance Comparison of Diagnosis Algorithms. IJCAI Iulia Nica, Ingo Pill, Thomas Quaritsch, Franz Wotawa
2013	—	`conf`	The dark side of SOA testing: Towards testing contemporary SOAs based on criticality metrics. PESOS@ICSE Philipp Leitner, Stefan Schulte, Schahram Dustdar, Ingo Pill, Marco Schulz, Franz Wotawa
2013	—	`conf`	Using Dependency Relations to Improve Test Case Generation from UML Statecharts. COMPSAC Workshops Valentin Chimisliu, Franz Wotawa
2013	—	`conf`	XSS pattern for attack modeling in testing. AST@ICSE Josip Bozic, Franz Wotawa
2012	J	`jnl`	AI for the win: improving spectrum-based fault localization. ACM SIGSOFT Softw. Eng. Notes Birgit Hofer, Franz Wotawa, Rui Abreu
2012	J	`jnl`	Automated Debugging of Verilog Designs. Int. J. Softw. Eng. Knowl. Eng. Bernhard Peischl, Naveed Riaz, Franz Wotawa
2012	J	`jnl`	Automated debugging based on a constraint model of the program and a test case. J. Log. Algebraic Methods Program. Franz Wotawa, Mihai Nica, Iulia Moraru
2012	—	`conf`	Category Partition Method and Satisfiability Modulo Theories for test case generation. AST@ICSE Valentin Chimisliu, Franz Wotawa
2012	J	`jnl`	Combining Slicing and Constraint Solving for Better Debugging: The CONBAS Approach. Adv. Softw. Eng. Birgit Hofer, Franz Wotawa
2012	—	`conf`	Constraint-based Debugging of Spreadsheets. CIbSE Rui Abreu, André Riboira, Franz Wotawa
2012	—	`conf`	Debugging Spreadsheets: A CSP-based Approach. ISSRE Workshops Rui Abreu, André Riboira, Franz Wotawa
2012	J	`jnl`	Diagnosis and repair of dependent failures in the control system of a mobile autonomous robot. Appl. Intell. Jörg Weber, Franz Wotawa
2012	—	`conf`	EqMutDetect - A tool for equivalent mutant detection in embedded systems. WISES Simona Nica, Franz Wotawa
2012	J	`jnl`	Guest Editorial for the Special Issue on Model-Based Testing. Softw. Test. Verification Reliab. Paul Ammann, Gordon Fraser, Franz Wotawa
2012	A	`conf`	Open Research Challenges of Localizing Faults in Programs Using Constraints. ICST Franz Wotawa
2012	—	`conf`	Reducing the Size of Dynamic Slicing with Constraint Solving. QSIC Birgit Hofer, Franz Wotawa
2012	A	`conf`	Spectrum Enhanced Dynamic Slicing for better Fault Localization. ECAI Birgit Hofer, Franz Wotawa
2012	B	`conf`	The SiMoL Modeling Language for Simulation and (Re-)Configuration. SOFSEM Iulia Nica, Franz Wotawa
2012	—	`conf`	Using Constraints for Equivalent Mutant Detection WS-FMDS Simona Nica, Franz Wotawa
2011	—	`conf`	Abstracting timing information in UML state charts via temporal ordering and LOTOS. AST@ICSE Valentin Chimisliu, Franz Wotawa
2011	—	`conf`	Adaptive Autonomous Systems - From the System's Architecture to Testing. ISoLA Workshops Franz Wotawa
2011	—	`conf`	An Abstract Operational Framework for Dependence Models in Software Debugging. ICST Workshops Bernhard Peischl, Franz Wotawa
2011	C	`conf`	Compositional Random Testing Using Extended Symbolic Transition Systems. ICTSS Christian Schwarzl, Bernhard K. Aichernig, Franz Wotawa
2011	—	`conf`	Debugging and test case generation using constraints and mutations. WISES Franz Wotawa, Simona Nica, Mihai Nica
2011	—	`conf`	Fault Prediction Capability of Program File's Logical-Coupling Metrics. IWSM/Mensura Syed Nadeem Ahsan, Franz Wotawa
2011	J	`jnl`	On the Use of Abduction as an Alternative to Decision Trees in Environmental Decision Support Systems. Int. J. Agric. Environ. Inf. Syst. Franz Wotawa
2011	—	`conf`	On the Use of Constraints in Dynamic Slicing for Program Debugging. ICST Workshops Franz Wotawa
2011	—	`conf`	Program Debugging Using Constraints - Is it Feasible? QSIC Franz Wotawa, Mihai Nica
2011	—	`conf`	SiMoL - A Modeling Language for Simulation and (Re-)Configuration. Configuration Workshop Iulia Nica, Franz Wotawa
2011	J	`jnl`	Test case generation in practice for communicating embedded systems. Elektrotech. Informationstechnik Christian Schwarzl, Franz Wotawa
2011	—	`conf`	The IntiSa Approach: Test Input Data Generation for Non-primitive Data Types by Means of SMT Solver Based Bounded Model Checking. QSIC Stefan J. Galler, Thomas Quaritsch, Martin Weiglhofer, Franz Wotawa
2010	—	`conf`	Automatically extracting mock object behavior from Design by Contract™ specification for test data generation. AST@ICSE Stefan J. Galler, Andreas Maller, Franz Wotawa
2010	—	`conf`	Challenges of Distributed Model-Based Diagnosis. IEA/AIE (1) Franz Wotawa, Jörg Weber
2010	—	`conf`	Combining Runtime Diagnosis and AI-planning in a Mobile Autonomous Robot to Achieve a Graceful Degradation after Software Failures. ICAART (1) Jörg Weber, Franz Wotawa
2010	—	`conf`	Does Testing Help to Reduce the Number of Potentially Faulty Statements in Debugging? TAIC PART Mihai Nica, Simona Nica, Franz Wotawa
2010	—	`conf`	Fault Localization Based on Dynamic Slicing and Hitting-Set Computation. QSIC Franz Wotawa
2010	—	`conf`	Generating Distinguishing Tests Using the Minion Constraint Solver. ICST Workshops Franz Wotawa, Mihai Nica, Bernhard K. Aichernig
2010	A	`conf`	Impact analysis of SCRs using single and multi-label machine learning classification. ESEM Syed Nadeem Ahsan, Franz Wotawa
2010	B	`conf`	Synthesize It: From Design by Contract to Meaningful Test Input Data. SEFM Stefan J. Galler, Martin Weiglhofer, Franz Wotawa
2010	A	`conf`	When BDDs Fail: Conformance Testing with Symbolic Execution and SMT Solving. ICST Elisabeth Jöbstl, Martin Weiglhofer, Bernhard K. Aichernig, Franz Wotawa
2009	—	`conf`	Abductive Reasoning in Environmental Decision Support Systems. AIAI (Workshops) Franz Wotawa, Ignasi Rodríguez-Roda, Joaquim Comas
2009	C	`conf`	Are There Language Specific Bug Patterns? Results Obtained from a Case Study Using Mozilla. ICSEA Syed Nadeem Ahsan, Javed Ferzund, Franz Wotawa
2009	—	`conf`	Asynchronous Input-Output Conformance Testing. COMPSAC (1) Martin Weiglhofer, Franz Wotawa
2009	C	`conf`	Automatic Classification of Software Change Request Using Multi-label Machine Learning Methods. SEW Syed Nadeem Ahsan, Javed Ferzund, Franz Wotawa
2009	C	`conf`	Automatic Software Bug Triage System (BTS) Based on Latent Semantic Indexing and Support Vector Machine. ICSEA Syed Nadeem Ahsan, Javed Ferzund, Franz Wotawa
2009	—	`conf`	Bug-Inducing Language Constructs. WCRE Javed Ferzund, Syed Nadeem Ahsan, Franz Wotawa
2009	—	`ch.`	Comining Quantitative and Qualitative Models with Active Observtions to Improve Diagnosis of Complex Systems. Intelligent Technical Systems Gerald Steinbauer, Franz Wotawa
2009	—	`conf`	Complementary Criteria for Testing Temporal Logic Properties. TAP@TOOLS Gordon Fraser, Franz Wotawa
2009	C	`conf`	Concept Evaluation of a Reflex Inspired Ball Handling Device for Autonomous Soccer Robots. RoboCup Harald Altinger, Stefan J. Galler, Stephan Mühlbacher-Karrer, Gerald Steinbauer, Franz Wotawa, Hubert Zangl
2009	—	`conf`	Conformance Testing of Hybrid Systems with Qualitative Reasoning Models. MBT@ETAPS Bernhard K. Aichernig, Harald Brandl, Franz Wotawa
2009	C	`conf`	Detect and Localize Faults in Alias-Free Programs Using Specification Knowledge. IEA/AIE Safeeullah Soomro, Franz Wotawa
2009	—	`conf`	Empirical Evaluation of Hunk Metrics as Bug Predictors. IWSM/Mensura Javed Ferzund, Syed Nadeem Ahsan, Franz Wotawa
2009	—	`conf`	Employing Test Suites for Verilog Fault Localization. CAEPIA Bernhard Peischl, Naveed Riaz, Franz Wotawa
2009	J	`jnl`	Fault-Based Conformance Testing in Practice. Int. J. Softw. Informatics Martin Weiglhofer, Bernhard K. Aichernig, Franz Wotawa
2009	—	`conf`	GUI Savvy End-to-End Testing with Smart Monkeys. AST@ICSE Birgit Hofer, Bernhard Peischl, Franz Wotawa
2009	—	`conf`	Improving Coverage Based Test Purposes. QSIC Martin Weiglhofer, Franz Wotawa
2009	—	`conf`	Increasing Diversity in Coverage Test Suites Using Model Checking. QSIC Gordon Fraser, Franz Wotawa
2009	—	`ch.`	Intelligent, Fault Adaptive Control of Autonomous Systems. Intelligent Technical Systems Willibald Krenn, Franz Wotawa
2009	J	`jnl`	Issues in using model checkers for test case generation. J. Syst. Softw. Gordon Fraser, Franz Wotawa, Paul Ammann
2009	—	`conf`	Java's alternatives and the limitations of Java when writing cross-platform applications for mobile devices in the medical domain. ITI Marcus D. Bloice, Franz Wotawa, Andreas Holzinger
2009	—	`conf`	On the Complexity of Program Debugging Using Constraints for Modeling the Program's Syntax and Semantics. CAEPIA Franz Wotawa, Jörg Weber, Mihai Nica, Rafael Ceballos
2009	Misc	`conf`	On the Use of Abduction as an Alternative to Decision Trees in Environmental Decision Support Systems. CISIS Franz Wotawa
2009	J	`jnl`	On the order of test goals in specification-based testing. J. Log. Algebraic Methods Program. Gordon Fraser, Angelo Gargantini, Franz Wotawa
2009	C	`conf`	Program File Bug Fix Effort Estimation Using Machine Learning Methods for OSS. SEKE Syed Nadeem Ahsan, Javed Ferzund, Franz Wotawa
2009	J	`jnl`	Robust Plan Execution Using Model-Based Reasoning. Adv. Robotics Gerald Steinbauer, Franz Wotawa
2009	—	`ch.`	Rule-Set Extraction from C-Code. Intelligent Technical Systems Franz Wotawa, Willibald Krenn
2009	—	`conf`	Software change classification using hunk metrics. ICSM Javed Ferzund, Syed Nadeem Ahsan, Franz Wotawa
2009	J	`jnl`	Testing with model checkers: a survey. Softw. Test. Verification Reliab. Gordon Fraser, Franz Wotawa, Paul Ammann
2009	A*	`conf`	Using Spectrum-Based Fault Localization for Test Case Grouping. ASE Martin Weiglhofer, Gordon Fraser, Franz Wotawa
2009	J	`jnl`	Using coverage to automate and improve test purpose based testing. Inf. Softw. Technol. Martin Weiglhofer, Gordon Fraser, Franz Wotawa
2008	C	`conf`	A Constraint Model for Automated Deployment of Automotive Control Software. SEKE Mihai Nica, Bernhard Peischl, Franz Wotawa
2008	—	`conf`	A Database for the Analysis of Program Change Patterns. NCM (2) Syed Nadeem Ahsan, Javed Ferzund, Franz Wotawa
2008	C	`conf`	A Teleo-Reactive Architecture for Fast, Reactive and Robust Control of Mobile Robots. IEA/AIE Gerhard Gubisch, Gerald Steinbauer, Martin Weiglhofer, Franz Wotawa
2008	—	`ch.`	Advances in Automated Source-Level Debugging of Verilog Designs. New Challenges in Applied Intelligence Technologies Bernhard Peischl, Naveed Riaz, Franz Wotawa
2008	—	`conf`	Analysing Bug Prediction Capabilities of Static Code Metrics in Open Source Software. IWSM/Metrikon/Mensura Javed Ferzund, Syed Nadeem Ahsan, Franz Wotawa
2008	C	`conf`	Bridging the Gap Between Slicing and Model-based Diagnosis. SEKE Franz Wotawa
2008	—	`conf`	Coverage Based Testing with Test Purposes. QSIC Gordon Fraser, Martin Weiglhofer, Franz Wotawa
2008	C	`conf`	Coverage-based Testing Using Qualitative Reasoning Models. SEKE Harald Brandl, Gordon Fraser, Franz Wotawa
2008	A	`conf`	Dependent Failures in Consistency-based Diagnosis. ECAI Jörg Weber, Franz Wotawa
2008	—	`conf`	Enhancing Plan Execution in Dynamic Domains Using Model-Based Reasoning. ICIRA (1) Gerald Steinbauer, Franz Wotawa
2008	A	`conf`	From constraint representations of sequential code and program annotations to their use in debugging. ECAI Mihai Nica, Franz Wotawa
2008	—	`conf`	Improving Fault-based Conformance Testing. MBT@ETAPS Bernhard K. Aichernig, Martin Weiglhofer, Franz Wotawa
2008	—	`conf`	Localizing Bugs in Programs - Or How to Use a Program's Constraint Representation for Software Debugging? ICSOFT (SE/MUSE/GSDCA) Franz Wotawa
2008	J	`jnl`	On the Compilation of Programs into their Equivalent Constraint Representation. Informatica (Slovenia) Franz Wotawa, Mihai Nica
2008	—	`conf`	Ordering Coverage Goals in Model Checker Based Testing. ICST Workshops Gordon Fraser, Franz Wotawa
2008	—	`conf`	QR-Model Based Testing. AST@ICSE Harald Brandl, Gordon Fraser, Franz Wotawa
2008	B	`conf`	Random Vs. Scenario-based Vs. Fault-based Testing - An Industrial Evaluation of Formal Black-Box Testing Methods. ENASE Martin Weiglhofer, Franz Wotawa
2008	C	`conf`	Test Case Generation from QR Models. IEA/AIE Harald Brandl, Franz Wotawa
2008	—	`conf`	Towards Automated Online Diagnosis of Robot Navigation Software. SIMPAR Alexander Kleiner, Gerald Steinbauer, Franz Wotawa
2008	C	`conf`	Using Observer Automata to Select Test Cases for Test Purposes. SEKE Gordon Fraser, Martin Weiglhofer, Franz Wotawa
2008	J	`jnl`	Using model-checkers to generate and analyze property relevant test-cases. Softw. Qual. J. Gordon Fraser, Franz Wotawa
2007	J	`jnl`	An introduction to model-based systems. AI Commun. Claudia Picardi, Paulo Salles, Franz Wotawa
2007	Misc	`conf`	Collaboration of Intelligent, Autonomous Systems: Situation Aware Behavior Change. IDC Willibald Krenn, Franz Wotawa
2007	—	`conf`	Combining Quantitative and Qualitative Models with Active Observations for better Diagnoses of Autonomous Mobile Robots. WISES Gerald Steinbauer, Franz Wotawa
2007	Misc	`conf`	Converting Programs into Constraint Satisfaction Problems. IDC Franz Wotawa, Mihai Nica
2007	—	`conf`	Creating Test-Cases Incrementally with Model-Checkers. GI Jahrestagung (2) Gordon Fraser, Franz Wotawa
2007	C	`conf`	Diagnosing Dependent Failures in the Hardware and Software of Mobile Autonomous Robots. IEA/AIE Jörg Weber, Franz Wotawa
2007	—	`conf`	Executing Abstract Test Cases. GI Jahrestagung (2) Bernhard Peischl, Martin Weiglhofer, Franz Wotawa
2007	B	`conf`	Fault detection in multi-threaded c++ server applications. PPoPP Arndt Mühlenfeld, Franz Wotawa
2007	—	`conf`	Handling Model Changes: Regression Testing and Test-Suite Update with Model-Checkers. MBT Gordon Fraser, Bernhard K. Aichernig, Franz Wotawa
2007	—	`conf`	Improving Model-Checkers for Software Testing. QSIC Gordon Fraser, Franz Wotawa
2007	J	`jnl`	Improving Robustness of Mobile Robots Using Model-based Reasoning. J. Intell. Robotic Syst. Michael W. Hofbaur, Johannes Köb, Gerald Steinbauer, Franz Wotawa
2007	—	`conf`	Intelligent, Fault Tolerant Control for Autonomous Systems. WISES Willibald Krenn, Franz Wotawa
2007	—	`conf`	Knowledge Extraction from C-Code. WISES Franz Wotawa, Willibald Krenn
2007	—	`ch.`	Model-Based Reasoning for Self-Repair of Autonomous Mobile Robots. Model-Based Reasoning in Science, Technology, and Medicine Michael W. Hofbaur, Johannes Köb, Gerald Steinbauer, Franz Wotawa
2007	A	`conf`	Model-based fault diagnosis and reconfiguration of robot drives. IROS Mathias Brandstötter, Michael W. Hofbaur, Gerald Steinbauer, Franz Wotawa
2007	—	`conf`	Nondeterministic Testing with Linear Model-Checker Counterexamples. QSIC Gordon Fraser, Franz Wotawa
2007	B	`conf`	Protocol Conformance Testing a SIP Registrar: an Industrial Application of Formal Methods. SEFM Bernhard K. Aichernig, Bernhard Peischl, Martin Weiglhofer, Franz Wotawa
2007	B	`conf`	Redundancy Based Test-Suite Reduction. FASE Gordon Fraser, Franz Wotawa
2007	—	`conf`	Test purpose generation in an industrial application. A-MOST Bernhard K. Aichernig, Martin Weiglhofer, Bernhard Peischl, Franz Wotawa
2007	C	`conf`	Test-Case Generation and Coverage Analysis for Nondeterministic Systems Using Model-Checkers. ICSEA Gordon Fraser, Franz Wotawa
2007	—	`conf`	Using LTL rewriting to improve the performance of model-checker based test-case generation. A-MOST Gordon Fraser, Franz Wotawa
2007	J	`jnl`	Using formal methods for ensuring quality requirements of systems. Elektrotech. Informationstechnik Gordon Fraser, Franz Wotawa
2006	A*	`conf`	A Causal Analysis Method for Concurrent Hybrid Automata. AAAI Michael W. Hofbaur, Franz Wotawa
2006	J	`jnl`	Automated Source-Level Error Localization in Hardware Designs. IEEE Des. Test Comput. Bernhard Peischl, Franz Wotawa
2006	C	`conf`	Diagnosing Program Errors with Light-Weighted Specifications. IEA/AIE Rong Chen, Franz Wotawa
2006	—	`conf`	Fault Detection in Multi-Threaded C++ Server Applications. TV@FLoC Arndt Mühlenfeld, Franz Wotawa
2006	B	`conf`	Fundamentals of Debugging Using a Resolution Calculus. FASE Daniel Köb, Franz Wotawa
2006	J	`jnl`	Property relevant software testing with model-checkers. ACM SIGSOFT Softw. Eng. Notes Gordon Fraser, Franz Wotawa
2006	C	`conf`	Retaining Consistency in Temporal Knowledge Bases. IEA/AIE Franz Wotawa, Bibiane Angerer
2006	C	`conf`	Towards Lightweight Fault Localization in Procedural Programs. IEA/AIE Bernhard Peischl, Safeeullah Soomro, Franz Wotawa
2006	—	`conf`	Using AI Techniques for Fault Localization in Component-Oriented Software Systems. MICAI Jörg Weber, Franz Wotawa
2006	C	`conf`	Using Model-Checkers for Mutation-Based Test-Case Generation, Coverage Analysis and Specification Analysis. ICSEA Gordon Fraser, Franz Wotawa
2005	—	`conf`	An Object Store Model for Diagnosing Java Programs. Australian Conference on Artificial Intelligence Rong Chen, Franz Wotawa
2005	J	`jnl`	Binding Environmental Sciences and Artificial Intelligence. AI Commun. Mihaela Oprea, Miquel Sànchez-Marrè, Franz Wotawa
2005	A*	`conf`	Detecting and locating faults in the control software of autonomous mobile robots. IJCAI Gerald Steinbauer, Franz Wotawa
2005	—	`conf`	Error traces in model-based debugging of hardware description languages. AADEBUG Bernhard Peischl, Franz Wotawa
2005	C	`conf`	Fault Localization Based on Abstract Dependencies. IEA/AIE Franz Wotawa, Safeeullah Soomro
2005	C	`conf`	Formal Verification of Control Software: A Case Study. IEA/AIE Andreas Griesmayer, Roderick Bloem, Martin Hautzendorfer, Franz Wotawa
2005	C	`conf`	Plan Execution in Dynamic Environments. IEA/AIE Gordon Fraser, Gerald Steinbauer, Franz Wotawa
2005	C	`conf`	Real-Time Diagnosis and Repair of Faults of Robot Control Software. RoboCup Gerald Steinbauer, Martin Mörth, Franz Wotawa
2005	—	`conf`	Understanding and Isolating Data Structure Errors of Java Programs. Artificial Intelligence and Applications Rong Chen, Franz Wotawa
2004	C	`conf`	A Modular Architecture for a Multi-purpose Mobile Robot. IEA/AIE Gerald Steinbauer, Gordon Fraser, Arndt Mühlenfeld, Franz Wotawa
2004	—	`conf`	Are Error Traces Enough for Automated Fault Localization in VHDL Designs? WISES Bernhard Peischl, Franz Wotawa
2004	C	`conf`	Cooperative Planning and Plan Execution in Partially Observable Dynamic Domains. RoboCup Gordon Fraser, Franz Wotawa
2004	J	`jnl`	Debugging VHDL Designs: Introducing Multiple Models and First Empirical Results. Appl. Intell. Franz Wotawa
2004	—	`conf`	Diagnosing Java Programs with Static Abstractions of Data Structures. IIP Rong Chen, Daniel Köb, Franz Wotawa
2004	Misc	`conf`	Improving Fault Localization of Programs by Using Labeled Dependencies. KI Rong Chen, Daniel Köb, Franz Wotawa
2004	A	`conf`	Introducing Alias Information into Model-Based Debugging. ECAI Daniel Köb, Franz Wotawa
2004	J	`jnl`	Using model-based reasoning for generating explanations from environmental databases. Res. Comput. Sci. Franz Wotawa
2003	A*	`conf`	Coupling CSP Decomposition Methods and Diagnosis Algorithms for Tree-Structured Systems. IJCAI Markus Stumptner, Franz Wotawa
2003	C	`conf`	Debugging VHDL Designs Using Temporal Process Instances. IEA/AIE Daniel Köb, Bernhard Peischl, Franz Wotawa
2003	J	`jnl`	Guest editorial: Binding Environmental Sciences and Artificial Intelligence. AI Commun. Ulises Cortés, Miquel Sànchez-Marrè, Franz Wotawa
2003	J	`jnl`	Model-Based Diagnosis or Reasoning from First Principles. IEEE Intell. Syst. Bernhard Peischl, Franz Wotawa
2003	—	`conf`	Modeling State in Software Debugging of VHDL-RTL Designs - A Model-Based Diagnosis Approach AADEBUG Bernhard Peischl, Franz Wotawa
2002	A	`conf`	Can AI help to improve debugging substantially? Debugging Experiences with Value-Based Models. ECAI Wolfgang Mayer, Markus Stumptner, Dominik Wieland, Franz Wotawa
2002	A	`conf`	Combining hypertree, bicomp, and hinge decomposition. ECAI Georg Gottlob, Martin Hutle, Franz Wotawa
2002	J	`jnl`	Debugging Hardware Designs Using a Value-Based Model. Appl. Intell. Franz Wotawa
2002	J	`jnl`	DiKe - a model-based diagnosis kernel and its application. AI Commun. Gerhard Fleischanderl, Thomas Havelka, Herwig Schreiner, Markus Stumptner, Franz Wotawa
2002	C	`conf`	Model-Based Debugging or How to Diagnose Programs Automatically. IEA/AIE Franz Wotawa, Markus Stumptner, Wolfgang Mayer
2002	J	`jnl`	On the relationship between model-based debugging and program slicing. Artif. Intell. Franz Wotawa
2002	A	`conf`	Towards an Integrated Debugging Environment. ECAI Wolfgang Mayer, Markus Stumptner, Dominik Wieland, Franz Wotawa
2001	J	`jnl`	A variant of Reiter's hitting-set algorithm. Inf. Process. Lett. Franz Wotawa
2001	—	`conf`	Comparing Two Models for Software Debugging. KI/ÖGAI Markus Stumptner, Dominik Wieland, Franz Wotawa
2001	J	`jnl`	Deriving qualitative rules from neural networks - a case study for ozone forecasting. AI Commun. Franz Wotawa, Gerhard Wotawa
2001	—	`conf`	DiKe - A Model-Based Diagnosis Kernel and Its Application. KI/ÖGAI Gerhard Fleischanderl, Thomas Havelka, Herwig Schreiner, Markus Stumptner, Franz Wotawa
2001	J	`jnl`	Diagnosing tree-structured systems. Artif. Intell. Markus Stumptner, Franz Wotawa
2001	C	`conf`	Using Multiple Models for Debugging VHDL Designs. IEA/AIE Franz Wotawa
2000	J	`jnl`	Debugging VHDL designs using model-based reasoning. Artif. Intell. Eng. Franz Wotawa
2000	J	`jnl`	Industrial Applications of Model-based Reasoning - Guest Editorial. AI Commun. Markus Stumptner, Franz Wotawa
2000	B	`conf`	JADE - AI Support for Debugging Java Programs. ICTAI Cristinel Mateis, Markus Stumptner, Dominik Wieland, Franz Wotawa
2000	C	`conf`	Locating Bugs in Java Programs - First Results of the Java Diagnosis Experiment Project. IEA/AIE Cristinel Mateis, Markus Stumptner, Franz Wotawa
2000	—	`conf`	Model-Based Debugging of Java Programs. AADEBUG Cristinel Mateis, Markus Stumptner, Dominik Wieland, Franz Wotawa
2000	A	`conf`	Modeling Java Programs for Diagnosis. ECAI Cristinel Mateis, Markus Stumptner, Franz Wotawa
2000	J	`jnl`	Using Model-Based Reasoning for Locating Faults in VHDL Designs. Künstliche Intell. Markus Stumptner, Franz Wotawa
1999	C	`conf`	A Communication Language and the Design of a Diagnosis Agent - Towards a Framework for Mobile Diagnosis Agents. IEA/AIE Christian Piccardi, Franz Wotawa
1999	A*	`conf`	Debugging Functional Programs. IJCAI Markus Stumptner, Franz Wotawa
1999	J	`jnl`	Model-Based Diagnosis of Hardware Designs. Artif. Intell. Gerhard Friedrich, Markus Stumptner, Franz Wotawa
1999	J	`jnl`	Model-Based Reasoning (Guest Editor's Introduction). AI Commun. Franz Wotawa
1999	C	`conf`	New Directions in Debugging Hardware Designs. IEA/AIE Franz Wotawa
1998	J	`jnl`	A Survey of Intelligent Debugging. AI Commun. Markus Stumptner, Franz Wotawa
1998	—	`conf`	Model-Based Reconfiguration. AID Markus Stumptner, Franz Wotawa
1997	—	`conf`	Diagnosing Tree Structured Systems. IJCAI (1) Markus Stumptner, Franz Wotawa
1996	A	`conf`	Model-Based Diagnosis of Hardware Designs. ECAI Gerhard Friedrich, Markus Stumptner, Franz Wotawa
1996	C	`conf`	Model-Based Program Debugging and Repair. IEA/AIE Markus Stumptner, Franz Wotawa