default search action
Franz Wotawa
Person information
- affiliation: Graz University of Technology, Austria
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j76]Lorenz Klampfl, Florian Klück, Mihai Nica, Jianbo Tao, Franz Wotawa:
Testing ADAS/ADS - from critical scenarios to automated testing oracles. Elektrotech. Informationstechnik 141(6): 392-399 (2024) - [j75]Lorenz Klampfl, Florian Klück, Franz Wotawa:
Using genetic algorithms for automating automated lane-keeping system testing. J. Softw. Evol. Process. 36(3) (2024) - [j74]Roxane Koitz-Hristov, Thomas Sterner, Lukas Stracke, Franz Wotawa:
On the suitability of checked coverage and genetic parameter tuning in test suite reduction. J. Softw. Evol. Process. 36(8) (2024) - [j73]Carmen Baumann, Yavuz Köroglu, Franz Wotawa:
On the Impact of Input Models on the Fault Detection Capabilities of Combinatorial Testing. SN Comput. Sci. 5(7): 821 (2024) - [c297]Herbert Mühlburger, Franz Wotawa:
FaultLines - Evaluating the Efficacy of Open-Source Large Language Models for Fault Detection in Cyber-Physical Systems. AITest 2024: 47-54 - [c296]Florian Klück, Daniel Sumann, Franz Wotawa:
Utilizing Genetic Algorithms for Generating Critical Scenarios for Testing Autonomous Driving Functions. AITest 2024: 73-80 - [c295]Liliana Marie Prikler, Franz Wotawa:
9 in 10 cameras agree: Pedestrians in front possibly endangered. AST@ICSE 2024: 219-223 - [c294]Franz Wotawa:
Using Answer Set Programming for Assigning Tasks to Computing Nodes. ConfWS 2024: 64-67 - [c293]Louise Travé-Massuyès, Franz Wotawa:
Bridging Hardware and Software Diagnosis: Leveraging Fault Signature Matrix and Spectrum-Based Fault Localization Similarities. DX 2024: 5:1-5:15 - [c292]Lorenz Klampfl, Franz Wotawa:
Leveraging Answer Set Programming for Continuous Monitoring, Fault Detection, and Explanation of Automated and Autonomous Driving Systems. DX 2024: 10:1-10:20 - [c291]David Kaufmann, Matus Kozovsky, Franz Wotawa:
Simulation-Based Diagnosis for Cyber-Physical Systems - A General Approach and Case Study on a Dual Three-Phase E-Machine. DX 2024: 18:1-18:21 - [c290]Stan Muñoz Gutiérrez, Adil Mukhtar, Franz Wotawa:
Data-Driven Diagnosis of Electrified Vehicles: Results from a Structured Literature Review (Short Paper). DX 2024: 20:1-20:14 - [c289]Birgit Hofer, Franz Wotawa:
Detecting Soft Faults in Heat Pumps (Short Paper). DX 2024: 22:1-22:10 - [c288]Liliana Marie Prikler, Franz Wotawa:
Faster Diagnosis with Answer Set Programming (Short Paper). DX 2024: 24:1-24:13 - [c287]Herbert Mühlburger, Franz Wotawa:
FLEX: Fault Localization and Explanation Using Open-Source Large Language Models in Powertrain Systems (Short Paper). DX 2024: 25:1-25:14 - [c286]Stan Muñoz Gutiérrez, Adil Mukhtar, Franz Wotawa:
Transformer-Based Signal Inference for Electrified Vehicle Powertrains (Short Paper). DX 2024: 29:1-29:14 - [c285]Florian Klück, Yihao Li, Jianbo Tao, Franz Wotawa:
Summary of "An empirical comparison of combinatorial testing and search-based testing in the context of automated and autonomous driving systems". ICSTW 2024: 178-179 - [c284]Ledio Jahaj, Lorenz Klampfl, Franz Wotawa:
Knowledge-Based Monitoring for Checking Law and Regulation Compliance. IEA/AIE 2024: 491-502 - [c283]Alexander Perko, Franz Wotawa:
Evaluating OpenAI Large Language Models for Generating Logical Abstractions of Technical Requirements Documents. QRS 2024: 238-249 - [c282]Adil Mukhtar, Dietmar Jannach, Franz Wotawa:
Investigating Reproducibility in Deep Learning-Based Software Fault Prediction. QRS 2024: 306-317 - [c281]Shahzad Nayab, Franz Wotawa:
Testing and Reinforcement Learning - A Structured Literature Review. QRS Companion 2024: 326-335 - [c280]Stefan Kugele, Franz Wotawa:
21st Workshop on Automotive Software Engineering (ASE'24). Software Engineering 2024: 165-166 - [e5]Ingo Pill, Avraham Natan, Franz Wotawa:
35th International Conference on Principles of Diagnosis and Resilient Systems, DX 2024, November 4-7, 2024, Vienna, Austria. OASIcs 125, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2024, ISBN 978-3-95977-356-0 [contents] - [d4]Adil Mukhtar, Dietmar Jannach, Franz Wotawa:
Investigating Reproducibility in Deep Learning-Based Software Fault Prediction. Version 1. Zenodo, 2024 [all versions] - [d3]Adil Mukhtar, Dietmar Jannach, Franz Wotawa:
Investigating Reproducibility in Deep Learning-Based Software Fault Prediction. Version 2. Zenodo, 2024 [all versions] - [d2]Alexander Perko, Franz Wotawa:
Replication package for: Evaluating OpenAI Large Language Models for Generating Logical Abstractions of Technical Requirements Documents. Zenodo, 2024 - [i11]Liliana Marie Prikler, Franz Wotawa:
A Systematic Mapping Study of Digital Twins for Diagnosis in Transportation. CoRR abs/2402.01686 (2024) - [i10]Adil Mukhtar, Dietmar Jannach, Franz Wotawa:
Investigating Reproducibility in Deep Learning-Based Software Fault Prediction. CoRR abs/2402.05645 (2024) - [i9]Johannes Exenberger, Matteo Di Salvo, Thomas Hirsch, Franz Wotawa, Gerald Schweiger:
Generalizable Temperature Nowcasting with Physics-Constrained RNNs for Predictive Maintenance of Wind Turbine Components. CoRR abs/2404.04126 (2024) - 2023
- [j72]Seema Jehan, Franz Wotawa:
An Empirical Study of Greedy Test Suite Minimization Techniques Using Mutation Coverage. IEEE Access 11: 65427-65442 (2023) - [j71]Florian Klück, Yihao Li, Jianbo Tao, Franz Wotawa:
An empirical comparison of combinatorial testing and search-based testing in the context of automated and autonomous driving systems. Inf. Softw. Technol. 160: 107225 (2023) - [j70]Adil Mukhtar, Birgit Hofer, Dietmar Jannach, Franz Wotawa:
Explaining software fault predictions to spreadsheet users. J. Syst. Softw. 201: 111676 (2023) - [j69]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:
Finding Critical Scenarios for Automated Driving Systems: A Systematic Mapping Study. IEEE Trans. Software Eng. 49(3): 991-1026 (2023) - [c279]Yavuz Köroglu, Franz Wotawa:
Towards a Review on Simulated ADAS/AD Testing. AST 2023: 112-122 - [c278]Alexander Perko, Haoran Zhao, Franz Wotawa:
Optimizing Named Entity Recognition for Improving Logical Formulae Abstraction from Technical Requirements Documents. DSA 2023: 211-222 - [c277]Liliana Marie Prikler, Franz Wotawa:
A Systematic Mapping Study of Digital Twins for Diagnosis in Transportation. DSA 2023: 431-442 - [c276]Thomas Hirsch, Franz Wotawa:
Analysing Residual Risks when Introducing Monitoring and Diagnosis into Systems. DSA 2023: 698-709 - [c275]Lorenz Klampfl, Franz Wotawa:
Identifying Critical Scenarios in Autonomous Driving During Operation. ECAI Workshops (1) 2023: 156-172 - [c274]Nour Chetouane, Franz Wotawa:
Generating concrete test cases from vehicle data using models obtained from clustering. ICSTW 2023: 70-77 - [c273]Yavuz Köroglu, Franz Wotawa:
Bottleneck Analysis via Grammar-based Performance Fuzzing*. ICSTW 2023: 180-185 - [c272]Ludwig Kampel, Michael Wagner, Dimitris E. Simos, Mihai Nica, Dino Dodig, David Kaufmann, Franz Wotawa:
Applying CT-FLA for AEB Function Testing: A Virtual Driving Case Study. ICSTW 2023: 237-245 - [c271]Franz Wotawa:
Which Components to Blame? Integrating Diagnosis into Monitoring of Technical Systems. IEA/AIE (2) 2023: 33-44 - [c270]Yavuz Köroglu, Franz Wotawa:
Continuous Domain Input Abstraction and Fault Detection Capability in Combinatorial Testing. ASEW 2023: 167-170 - [c269]Franz Wotawa, Ledio Jahaj, Nicole Brosch:
On the Evaluation of Photometric Stereo Applications Testing Using Image Modifications. ICTSS 2023: 40-51 - [c268]Nour Chetouane, Franz Wotawa:
Using Data Abstraction for Clustering in the Context of Test Case Generation. QRS 2023: 260-271 - [c267]Axel Boström, Franz Wotawa:
Wireless Threats Against V2X Communication. QRS 2023: 529-540 - [c266]Georg Stettinger, Franz Wotawa:
Smart Monitoring for Safety-Assurance in Autonomous Driving (S). SEKE 2023: 542-547 - [d1]Alexander Perko, Haoran Zhao, Franz Wotawa:
RailwayReq Corpus. Zenodo, 2023 - 2022
- [j68]Martin Zimmermann, Franz Wotawa, Ingo Pill:
Pursuing Intelligent Behavior in Cyber-Physical Systems by Lightweight Diagnosis. Adv. Intell. Syst. 4(4) (2022) - [j67]Moonis Ali, Gerhard Friedrich, Ingo Pill, Franz Wotawa:
Editorial "special issue on artificial intelligence in practice - from theory to application". Appl. Intell. 52(6): 6915-6916 (2022) - [j66]Franz Wotawa, David Kaufmann:
Model-based reasoning using answer set programming. Appl. Intell. 52(15): 16993-17011 (2022) - [j65]Adil Mukhtar, Birgit Hofer, Dietmar Jannach, Franz Wotawa:
Spreadsheet debugging: The perils of tool over-reliance. J. Syst. Softw. 184: 111119 (2022) - [j64]Bernhard Peischl, Oliver A. Tazl, Franz Wotawa:
Testing anticipatory systems: A systematic mapping study on the state of the art. J. Syst. Softw. 192: 111387 (2022) - [c265]Herbert Mühlburger, Franz Wotawa:
A Passive Testing Approach using a Semi-Supervised Intrusion Detection Model for SCADA Network Traffic. AITest 2022: 42-47 - [c264]Roxane Koitz-Hristov, Lukas Stracke, Franz Wotawa:
Checked Coverage for Test Suite Reduction - Is It Worth the Effort? AST@ICSE 2022: 6-16 - [c263]Ledio Jahaj, Franz Wotawa:
Testing Photometric Stereo Applications. DSA 2022: 163-171 - [c262]Franz Wotawa, Vlad Andrei Dumitru:
The Java2CSP Debugging Tool Utilizing Constraint Solving and Model-Based Diagnosis Principles. IEA/AIE 2022: 543-554 - [c261]Adil Mukhtar, Birgit Hofer, Dietmar Jannach, Franz Wotawa, Konstantin Schekotihin:
Boosting Spectrum-Based Fault Localization for Spreadsheets with Product Metrics in a Learning Approach. ASE 2022: 175:1-175:5 - [c260]Nour Chetouane, Franz Wotawa:
Extracting Temporal Models from Data Episodes. QRS 2022: 721-731 - [c259]Oliver A. Tazl, Christopher Tafeit, Franz Wotawa, Alexander Felfernig:
DDMin versus QuickXplain - An Experimental Comparison of two Algorithms for Minimizing Collections. SEKE 2022: 481-486 - [c258]Liliana Marie Prikler, Franz Wotawa:
Challenges of testing self-adaptive systems. SPLC (B) 2022: 224-228 - 2021
- [j63]Hannes Hornischer, Joshua Cherian Varughese, Ronald Thenius, Franz Wotawa, Manfred Füllsack, Thomas Schmickl:
CIMAX: collective information maximization in robotic swarms using local communication. Adapt. Behav. 29(3) (2021) - [j62]David Kaufmann, Iulia Nica, Franz Wotawa:
Intelligent Agents Diagnostics - Enhancing Cyber-Physical Systems with Self-Diagnostic Capabilities. Adv. Intell. Syst. 3(5): 2000218 (2021) - [j61]Birgit Hofer, Dietmar Jannach, Patrick W. Koch, Konstantin Schekotihin, Franz Wotawa:
Product metrics for spreadsheets - A systematic review. J. Syst. Softw. 175: 110910 (2021) - [j60]Patrick W. Koch, Konstantin Schekotihin, Dietmar Jannach, Birgit Hofer, Franz Wotawa:
Metric-Based Fault Prediction for Spreadsheets. IEEE Trans. Software Eng. 47(10): 2195-2207 (2021) - [c257]Franz Wotawa:
On the Use of Available Testing Methods for Verification & Validation of AI-based Software and Systems. SafeAI@AAAI 2021 - [c256]Franz Wotawa, Lorenz Klampfl, Ledio Jahaj:
A framework for the automation of testing computer vision systems. AST@ICSE 2021: 121-124 - [c255]Florian Klück, Franz Wotawa, Gerhard Neubauer, Jianbo Tao, Mihai Nica:
Analysing Experimental Results Obtained when Applying Search-based Testing to Verify Automated Driving Functions. DSA 2021: 213-219 - [c254]Franz Wotawa, Horst Lewitschnig:
Monitoring Hierarchical Systems for Safety Assurance. IDC 2021: 331-340 - [c253]Franz Wotawa, Oliver A. Tazl, David Kaufmann:
Automated Diagnosis of Cyber-Physical Systems. IEA/AIE (2) 2021: 441-452 - [c252]Franz Wotawa, Vlad Andrei Dumitru:
Java2CSP - A Model-Based Diagnosis Tool Not Only for Software Debugging. KES-IDT 2021: 519-529 - [c251]Oliver A. Tazl, Franz Wotawa:
Metamorphic Testing of Logic Theorem Prover. ICTSS 2021: 131-137 - [c250]Stephan Valentan, Franz Wotawa:
On the Automation of Audio Plugin Testing*. QRS 2021: 270-278 - [c249]Franz Wotawa, Herbert Mühlburger:
On the Effects of Data Sampling for Deep Learning on Highly Imbalanced Data from SCADA Power Grid Substation Networks for Intrusion Detection. QRS 2021: 864-872 - [c248]Florian Klück, Lorenz Klampfl, Franz Wotawa:
GABezier at the SBST 2021 Tool Competition. SBST@ICSE 2021: 38-39 - [c247]Nour Chetouane, Lorenz Klampfl, Franz Wotawa:
Extracting information from driving data using k-means clustering (S). SEKE 2021: 610-615 - [e4]Frédéric Loulergue, Franz Wotawa:
Tests and Proofs - 15th International Conference, TAP 2021, Held as Part of STAF 2021, Virtual Event, June 21-22, 2021, Proceedings. Lecture Notes in Computer Science 12740, Springer 2021, ISBN 978-3-030-79378-4 [contents] - [i8]Florian Klück, Lorenz Klampfl, Franz Wotawa:
Automatic Generation of Challenging Road Networks for ALKS Testing based on Bezier Curves and Search. CoRR abs/2103.01288 (2021) - [i7]Franz Wotawa, Lorenz Klampfl, Ledio Jahaj:
A framework for the automation of testing computer vision systems. CoRR abs/2105.04383 (2021) - [i6]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:
Finding Critical Scenarios for Automated Driving Systems: A Systematic Literature Review. CoRR abs/2110.08664 (2021) - 2020
- [j59]Roxane Koitz-Hristov, Franz Wotawa:
Faster horn diagnosis - a performance comparison of abductive reasoning algorithms. Appl. Intell. 50(5): 1558-1572 (2020) - [j58]Yihao Li, Jianbo Tao, Franz Wotawa:
Ontology-based test generation for automated and autonomous driving functions. Inf. Softw. Technol. 117 (2020) - [j57]Josip Bozic, Franz Wotawa:
Planning-based security testing of web applications with attack grammars. Softw. Qual. J. 28(1): 307-334 (2020) - [j56]Martin Zimmermann, Franz Wotawa:
An adaptive system for autonomous driving. Softw. Qual. J. 28(3): 1189-1212 (2020) - [c246]Alexander Feldman, Ingo Pill, Franz Wotawa, Ion Matei, Johan de Kleer:
Efficient Model-Based Diagnosis of Sequential Circuits. AAAI 2020: 2814-2821 - [c245]Josip Bozic, Yihao Li, Franz Wotawa:
Ontology-driven Security Testing of Web Applications. AITest 2020: 115-122 - [c244]Franz Wotawa, Josip Bozic, Yihao Li:
Ontology-based Testing: An Emerging Paradigm for Modeling and Testing Systems and Software. ICST Workshops 2020: 14-17 - [c243]Yihao Li, Franz Wotawa:
On Using Ontologies for Testing Compilers. ICST Workshops 2020: 181-184 - [c242]Nour Chetouane, Franz Wotawa, Hermann Felbinger, Mihai Nica:
On Using k-means Clustering for Test Suite Reduction. ICST Workshops 2020: 380-385 - [c241]Thomas Schranz, Gerald Schweiger, Siegfried Pabst, Franz Wotawa:
Machine Learning for Water Supply Supervision. IEA/AIE 2020: 238-249 - [c240]Franz Wotawa:
On the Use of Answer Set Programming for Model-Based Diagnosis. IEA/AIE 2020: 518-529 - [c239]Edi Muskardin, Ingo Pill, Franz Wotawa:
CatIO - A Framework for Model-Based Diagnosis of Cyber-Physical Systems. ISMIS 2020: 267-276 - [c238]Franz Wotawa, Lorenz Klampfl:
Explaining Object Motion Using Answer Set Programming. ISMIS 2020: 298-307 - [c237]Josip Bozic, Franz Wotawa:
Interrogating Virtual Agents: In Quest of Security Vulnerabilities. ICTSS 2020: 20-34 - [c236]Lorenz Klampfl, Nour Chetouane, Franz Wotawa:
Mutation Testing for Artificial Neural Networks: An Empirical Evaluation. QRS 2020: 356-365
2010 – 2019
- 2019
- [j55]Yihao Li, W. Eric Wong, Shou-Yu Lee, Franz Wotawa:
Using Tri-Relation Networks for Effective Software Fault-Proneness Prediction. IEEE Access 7: 63066-63080 (2019) - [j54]Franz Wotawa, Gerhard Friedrich, Ingo Pill, Roxane Koitz-Hristov, Moonis Ali:
Current Approaches in Applied Artificial Intelligence: The 2019 IEA/AIE Conference The IEA/AIE 2019 Conference. AI Mag. 40(4): 85-87 (2019) - [j53]Dietmar Jannach, Thomas Schmitz, Birgit Hofer, Konstantin Schekotihin, Patrick W. Koch, Franz Wotawa:
Fragment-based spreadsheet debugging. Autom. Softw. Eng. 26(1): 203-239 (2019) - [j52]Patrick W. Koch, Birgit Hofer, Franz Wotawa:
On the refinement of spreadsheet smells by means of structure information. J. Syst. Softw. 147: 64-85 (2019) - [j51]Daniela Kengyel, Payam Zahadat, Franz Wotawa, Thomas Schmickl:
Towards swarm level optimisation: the role of different movement patterns in swarm systems. Int. J. Parallel Emergent Distributed Syst. 34(3): 241-259 (2019) - [j50]Dimitris E. Simos, Josip Bozic, Bernhard Garn, Manuel Leithner, Feng Duan, Kristoffer Kleine, Yu Lei, Franz Wotawa:
Testing TLS using planning-based combinatorial methods and execution framework. Softw. Qual. J. 27(2): 703-729 (2019) - [c235]Josip Bozic, Oliver A. Tazl, Franz Wotawa:
Chatbot Testing Using AI Planning. AITest 2019: 37-44 - [c234]Oliver A. Tazl, Alexander Perko, Franz Wotawa:
Conversational Recommendations Utilizing Model-based Reasoning. ConfWS 2019: 13-19 - [c233]Hermann Felbinger, Florian Klück, Yihao Li, Mihai Nica, Jianbo Tao, Franz Wotawa, Martin Zimmermann:
Comparing two systematic approaches for testing automated driving functions. ICCVE 2019: 1-6 - [c232]Yavuz Köroglu, Franz Wotawa:
Fully automated compiler testing of a reasoning engine via mutated grammar fuzzing. AST@ICSE 2019: 28-34 - [c231]Josip Bozic, Franz Wotawa:
Software Testing: According to Plan! ICST Workshops 2019: 23-31 - [c230]Bernhard Garn, Dimitris E. Simos, Feng Duan, Yu Lei, Josip Bozic, Franz Wotawa:
Weighted Combinatorial Sequence Testing for the TLS Protocol. ICST Workshops 2019: 46-51 - [c229]Christian Eitner, Franz Wotawa:
Crucial Tool Features for Successful Combinatorial Input Parameter Testing in an Industrial Application. ICST Workshops 2019: 188-189 - [c228]Jianbo Tao, Yihao Li, Franz Wotawa, Hermann Felbinger, Mihai Nica:
On the Industrial Application of Combinatorial Testing for Autonomous Driving Functions. ICST Workshops 2019: 234-240 - [c227]Georg P. Engel, Gerald Schweiger, Franz Wotawa, Martin Zimmermann:
A Rule-Based Smart Control for Fail-Operational Systems. IEA/AIE 2019: 137-145 - [c226]Oliver A. Tazl, Franz Wotawa:
Using Model-Based Reasoning for Enhanced Chatbot Communication. IEA/AIE 2019: 791-798 - [c225]Franz Wotawa:
On the Importance of System Testing for Assuring Safety of AI Systems. AISafety@IJCAI 2019 - [c224]Joshua Cherian Varughese, Hannes Hornischer, Ronald Thenius, Franz Wotawa, Thomas Schmickl:
Collective Event Detection Using Bio-inspired Minimalistic Communication in a Swarm of Underwater Robots. ALIFE 2019: 634-641 - [c223]Ingo Pill, Franz Wotawa:
Extending Automated FLTL Test Oracles with Diagnostic Support. ISSRE Workshops 2019: 354-361 - [c222]Nour Chetouane, Lorenz Klampfl, Franz Wotawa:
Investigating the Effectiveness of Mutation Testing Tools in the Context of Deep Neural Networks. IWANN (1) 2019: 766-777 - [c221]Josip Bozic, Franz Wotawa:
Testing Chatbots Using Metamorphic Relations. ICTSS 2019: 41-55 - [c220]Florian Klück, Martin Zimmermann, Franz Wotawa, Mihai Nica:
Performance Comparison of Two Search-Based Testing Strategies for ADAS System Validation. ICTSS 2019: 140-156 - [c219]Florian Klück, Martin Zimmermann, Franz Wotawa, Mihai Nica:
Genetic Algorithm-Based Test Parameter Optimization for ADAS System Testing. QRS 2019: 418-425 - [e3]Franz Wotawa, Gerhard Friedrich, Ingo Pill, Roxane Koitz-Hristov, Moonis Ali:
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. Lecture Notes in Computer Science 11606, Springer 2019, ISBN 978-3-030-22998-6 [contents] - [i5]Hannes Hornischer, Joshua Cherian Varughese, Ronald Thenius, Franz Wotawa, Manfred Füllsack, Thomas Schmickl:
CIMAX: Collective Information Maximization in Robotic Swarms Using Local Communication. CoRR abs/1903.05444 (2019) - 2018
- [j49]Roxane Koitz, Franz Wotawa:
Applying algorithm selection to abductive diagnostic reasoning. Appl. Intell. 48(11): 3976-3994 (2018) - [j48]Franz Wotawa, Bernhard Peischl, Florian Klück, Mihai Nica:
Quality assurance methodologies for automated driving. Elektrotech. Informationstechnik 135(4-5): 322-327 (2018) - [j47]Valentin Kassarnig, Franz Wotawa:
Evolutionary Propositionalization of Multi-Relational Data - Research Notes. Int. J. Softw. Eng. Knowl. Eng. 28(11-12): 1739-1754 (2018) - [j46]Ingo Pill, Franz Wotawa:
Automated generation of (F)LTL oracles for testing and debugging. J. Syst. Softw. 139: 124-141 (2018) - [c218]Valentin Kassarnig, Franz Wotawa:
An Approach to Automatically Extract Predictive Properties from Nominal Attributes in Relational Databases. IEEE BigData 2018: 4932-4939 - [c217]Iulia Nica, Oliver A. Tazl, Franz Wotawa:
Chatbot-based Tourist Recommendations Using Model-based Reasoning. ConfWS 2018: 25-30 - [c216]Artur Andrzejak, Gerhard Friedrich, Franz Wotawa:
Software Configuration Diagnosis - A Survey of Existing Methods and Open Challenges. ConfWS 2018: 85-92 - [c215]Josip Bozic, Franz Wotawa:
Planning-based security testing of web applications. AST@ICSE 2018: 20-26 - [c214]Patrick W. Koch, Konstantin Schekotihin, Dietmar Jannach, Birgit Hofer, Franz Wotawa, Thomas Schmitz:
Combining spreadsheet smells for improved fault prediction. ICSE (NIER) 2018: 25-28 - [c213]Franz Wotawa:
Combining Combinatorial Testing and Metamorphic Testing for Testing a Logic-Based Non-monotonic Reasoning System. ICST Workshops 2018: 348-351 - [c212]Hermann Felbinger, Franz Wotawa, Mihai Nica:
Adapting Unit Tests by Generating Combinatorial Test Data. ICST Workshops 2018: 352-355 - [c211]Franz Wotawa:
On the Automation of Testing a Logic-Based Diagnosis System. ICST Workshops 2018: 370-373 - [c210]Florian Klück, Yihao Li, Mihai Nica, Jianbo Tao, Franz Wotawa:
Using Ontologies for Test Suites Generation for Automated and Autonomous Driving Functions. ISSRE Workshops 2018: 118-123 - [c209]Ingo Pill, Franz Wotawa:
Spectrum-Based Fault Localization for Logic-Based Reasoning. ISSRE Workshops 2018: 192-199 - [c208]Josip Bozic, Franz Wotawa:
Security Testing for Chatbots. ICTSS 2018: 33-38 - [c207]Franz Wotawa, Yihao Li:
From Ontologies to Input Models for Combinatorial Testing. ICTSS 2018: 155-170 - [c206]Franz Wotawa, Martin Zimmermann:
Adaptive System for Autonomous Driving. QRS Companion 2018: 519-525 - [c205]Birgit Hofer, Radu Mateescu, Wendelin Serwe, Franz Wotawa:
Using LNT Formal Descriptions for Model-Based Diagnosis. DX 2018 - [c204]Roxane Koitz-Hristov, Franz Wotawa:
On the Superiority of Conflict-Driven Search in MUS Enumeration. DX 2018 - [c203]Ingo Pill, Franz Wotawa:
On Using an I/O Model for Creating an Abductive Diagnosis Model via Combinatorial Exploration, Fault Injection, and Simulation. DX 2018 - [c202]Valentin Kassarnig, Franz Wotawa:
Evolutionary propositionalization of multi-relational data. SEKE 2018: 629-628 - [c201]Josip Bozic, Lina Marsso, Radu Mateescu, Franz Wotawa:
A Formal TLS Handshake Model in LNT. MARS/VPT@ETAPS 2018: 1-40 - [i4]Joshua Cherian Varughese, Hannes Hornischer, Ronald Thenius, Payam Zahadat, Franz Wotawa, Thomas Schmickl:
Introduction to WOSPP: Wave Oriented Swarm Programming Paradigm. CoRR abs/1804.04202 (2018) - [i3]Patrick W. Koch, Konstantin Schekotihin, Dietmar Jannach, Birgit Hofer, Franz Wotawa:
Combining Spreadsheet Smells for Improved Fault Prediction. CoRR abs/1805.10493 (2018) - [i2]Patrick W. Koch, Birgit Hofer, Franz Wotawa:
On the Refinement of Spreadsheet Smells by means of Structure Information. CoRR abs/1810.04542 (2018) - 2017
- [j45]Birgit Hofer, Andrea Hofler, Franz Wotawa:
Combining Models for Improved Fault Localization in Spreadsheets. IEEE Trans. Reliab. 66(1): 38-53 (2017) - [c200]Ingo Pill, Franz Wotawa:
Model-Based Diagnosis Meets Combinatorial Testing For Generating an Abductive Diagnosis Model. DX 2017: 248-263 - [c199]Joshua Cherian Varughese, Ronald Thenius, Thomas Schmickl, Franz Wotawa:
Quantification and Analysis of the Resilience of Two Swarm Intelligent Algorithms. GCAI 2017: 148-161 - [c198]Iulia Nica, Gerhard Jakob, Kathrin Juhart, Franz Wotawa:
Results of a Comparative Study of Code Coverage Tools in Computer Vision. ICST Workshops 2017: 36-37 - [c197]Hermann Felbinger, Franz Wotawa, Mihai Nica:
Mutation Score, Coverage, Model Inference: Quality Assessment for T-Way Combinatorial Test-Suites. ICST Workshops 2017: 171-180 - [c196]Josip Bozic, Kristoffer Kleine, Dimitris E. Simos, Franz Wotawa:
Planning-Based Security Testing of the SSL/TLS Protocol. ICST Workshops 2017: 347-355 - [c195]Roxane Koitz, Johannes Lüftenegger, Franz Wotawa:
Model-Based Diagnosis in Practice: Interaction Design of an Integrated Diagnosis Application for Industrial Wind Turbines. IEA/AIE (1) 2017: 440-445 - [c194]Franz Wotawa:
The Future of Automated Debugging - Focus on the Niches First. ISSRE Workshops 2017: 92-93 - [c193]Birgit Hofer, Iulia Nica, Franz Wotawa:
Qualitative Deviation Models for Spreadsheet Debugging. ISSRE Workshops 2017: 191-198 - [c192]Birgit Hofer, Iulia Nica, Franz Wotawa:
AI for Localizing Faults in Spreadsheets. ICTSS 2017: 71-87 - [c191]Dimitris E. Simos, Josip Bozic, Feng Duan, Bernhard Garn, Kristoffer Kleine, Yu Lei, Franz Wotawa:
Testing TLS Using Combinatorial Methods and Execution Framework. ICTSS 2017: 162-177 - [c190]Hermann Felbinger, Ingo Pill, Franz Wotawa:
A "Strength of Decision Tree Equivalence"-Taxonomy and Its Impact on Test Suite Reduction. ICTSS 2017: 197-212 - [c189]Elisabeth Getzner, Birgit Hofer, Franz Wotawa:
Improving Spectrum-Based Fault Localization for Spreadsheet Debugging. QRS 2017: 102-113 - [c188]Thomas Schmitz, Dietmar Jannach, Birgit Hofer, Patrick W. Koch, Konstantin Schekotihin, Franz Wotawa:
A decomposition-based approach to spreadsheet testing and debugging. VL/HCC 2017: 117-121 - [c187]Harald Altinger, Steffen Herbold, Friederike Schneemann, Jens Grabowski, Franz Wotawa:
Performance tuning for automotive Software Fault Prediction. SANER 2017: 526-530 - 2016
- [j44]W. Eric Wong, Ruizhi Gao, Yihao Li, Rui Abreu, Franz Wotawa:
A Survey on Software Fault Localization. IEEE Trans. Software Eng. 42(8): 707-740 (2016) - [c186]Thomas Schmickl, Franz Wotawa, Ronald Thenius, Joshua Cherian Varughese:
FSTaxis Algorithm: Bio-Inspired Emergent Gradient Taxis. ALIFE 2016: 330-337 - [c185]Roxane Koitz, Franz Wotawa:
Improving Abductive Diagnosis Through Structural Features: A Meta-Approach. DARe@ECAI 2016 - [c184]Hermann Felbinger, Franz Wotawa, Mihai Nica:
Empirical study of correlation between mutation score and model inference based test suite adequacy assessment. AST@ICSE 2016: 43-49 - [c183]Franz Wotawa:
On the Automation of Security Testing. ICSSA 2016: 11-16 - [c182]Ingo Pill, Ivan Rubil, Franz Wotawa, Mihai Nica:
SIMULTATE: A Toolset for Fault Injection and Mutation Testing of Simulink Models. ICST Workshops 2016: 168-173 - [c181]Roxane Koitz, Franz Wotawa:
On Structural Properties to Improve FMEA-Based Abductive Diagnosis. KnowProS@IJCAI 2016 - [c180]Patrick W. Koch, Birgit Hofer, Franz Wotawa:
Static Spreadsheet Analysis. ISSRE Workshops 2016: 167-174 - [c179]Ingo Pill, Franz Wotawa:
An Automated (F) LTL Test Oracle for Testing with Requirements. ISSRE Workshops 2016: 197-204 - [c178]Bernhard Peischl, Ingo Pill, Franz Wotawa:
Using Modelica Programs for Deriving Propositional Horn Clause Abduction Problems. KI 2016: 185-191 - [c177]Hermann Felbinger, Franz Wotawa, Mihai Nica:
Test-Suite Reduction Does Not Necessarily Require Executing the Program under Test. QRS Companion 2016: 23-30 - [c176]Franz Wotawa:
Testing Self-Adaptive Systems Using Fault Injection and Combinatorial Testing. QRS Companion 2016: 305-310 - [c175]Thomas Schmitz, Birgit Hofer, Dietmar Jannach, Franz Wotawa:
Fragment-Based Diagnosis of Spreadsheets. STAF Workshops 2016: 372-387 - [c174]Hermann Felbinger, Ingo Pill, Franz Wotawa:
Classifying Test Suite Effectiveness via Model Inference and ROBBDs. TAP@STAF 2016: 76-93 - [c173]Harald Altinger, Yanja Dajsuren, Sebastian Siegl, Jurgen J. Vinju, Franz Wotawa:
On Error-Class Distribution in Automotive Model-Based Software. SANER 2016: 688-692 - [e2]Gerhard Friedrich, Malte Helmert, Franz Wotawa:
KI 2016: Advances in Artificial Intelligence - 39th Annual German Conference on AI, Klagenfurt, Austria, September 26-30, 2016, Proceedings. Lecture Notes in Computer Science 9904, Springer 2016, ISBN 978-3-319-46072-7 [contents] - [e1]Franz Wotawa, Mihai Nica, Natalia Kushik:
Testing Software and Systems - 28th IFIP WG 6.1 International Conference, ICTSS 2016, Graz, Austria, October 17-19, 2016, Proceedings. Lecture Notes in Computer Science 9976, 2016, ISBN 978-3-319-47442-7 [contents] - 2015
- [j43]Birgit Hofer, Alexandre Perez, Rui Abreu, Franz Wotawa:
On the empirical evaluation of similarity coefficients for spreadsheets fault localization. Autom. Softw. Eng. 22(1): 47-74 (2015) - [j42]Rui Abreu, Birgit Hofer, Alexandre Perez, Franz Wotawa:
Using constraints to diagnose faulty spreadsheets. Softw. Qual. J. 23(2): 297-322 (2015) - [c172]Florian Reinfrank, Gerald Ninaus, Franz Wotawa, Alexander Felfernig:
Intelligent supporting techniques for the maintenance of constraint-based configuration systems. Configuration Workshop 2015: 31-38 - [c171]Florian Reinfrank, Gerald Ninaus, Franz Wotawa, Alexander Felfernig:
Maintaining constraint-based systems: challenges ahead. Configuration Workshop 2015: 39-46 - [c170]Florian Reinfrank, Gerald Ninaus, Bernhard Peischl, Franz Wotawa:
A goal-question-metrics model for configuration knowledge bases. Configuration Workshop 2015: 123-130 - [c169]Seema Jehan, Ingo Pill, Franz Wotawa:
BPEL Integration Testing. FASE 2015: 69-83 - [c168]Josip Bozic, Bernhard Garn, Dimitris E. Simos, Franz Wotawa:
Evaluation of the IPO-Family algorithms for test case generation in web security testing. ICST Workshops 2015: 1-10 - [c167]Birgit Hofer, Seema Jehan, Ingo Pill, Franz Wotawa:
Focused Diagnosis for Failing Software Tests. IEA/AIE 2015: 712-721 - [c166]Roxane Koitz, Franz Wotawa:
Diagnosis of Technical Systems. IJCAI 2015: 4375-4376 - [c165]Roxane Koitz, Franz Wotawa:
Finding Explanations: an Empirical Evaluation of Abductive Diagnosis Algorithms. DARe@IJCAI 2015 - [c164]Franz Wotawa, Florian Reinfrank, Gerald Ninaus, Alexander Felfernig:
iCone: Intelligent Environment for the Development and Maintenance of Configuration Knowledge Bases. CPCR+ITWP@IJCAI 2015 - [c163]Franz Wotawa, Martin Stettinger, Florian Reinfrank, Gerald Ninaus, Alexander Felfernig:
Conflict Management for Constraint-based Recommendation. CPCR+ITWP@IJCAI 2015 - [c162]Ingo Pill, Seema Jehan, Franz Wotawa, Mihai Nica:
Analyzing the reduction of test suite redundancy. ISSRE Workshops 2015: 65 - [c161]Birgit Hofer, Georg Hinteregger, Franz Wotawa:
Conditional slicing: Reducing dynamic slices. ISSRE Workshops 2015: 66 - [c160]Ingo Pill, Thomas Quaritsch, Franz Wotawa:
Parse tree structure in LTL requirements diagnosis. ISSRE Workshops 2015: 100-107 - [c159]Harald Altinger, Sebastian Siegl, Yanja Dajsuren, Franz Wotawa:
A Novel Industry Grade Dataset for Fault Prediction Based on Model-Driven Developed Automotive Embedded Software. MSR 2015: 494-497 - [c158]Daniela Kengyel, Heiko Hamann, Payam Zahadat, Gerald Radspieler, Franz Wotawa, Thomas Schmickl:
Potential of Heterogeneity in Collective Behaviors: A Case Study on Heterogeneous Swarms. PRIMA 2015: 201-217 - [c157]Rui Abreu, Simon Außerlechner, Birgit Hofer, Franz Wotawa:
Testing for Distinguishing Repair Candidates in Spreadsheets - the Mussco Approach. ICTSS 2015: 124-140 - [c156]Harald Altinger, Steffen Herbold, Jens Grabowski, Franz Wotawa:
Novel Insights on Cross Project Fault Prediction Applied to Automotive Software. ICTSS 2015: 141-157 - [c155]Josip Bozic, Franz Wotawa:
PURITY: A Planning-based secURITY Testing Tool. QRS Companion 2015: 46-55 - [c154]Josip Bozic, Bernhard Garn, Ioannis Kapsalis, Dimitris E. Simos, Severin Winkler, Franz Wotawa:
Attack Pattern-Based Combinatorial Testing with Constraints for Web Security Testing. QRS 2015: 207-212 - [c153]Birgit Hofer, Franz Wotawa:
Fault Localization in the Light of Faulty User Input. QRS 2015: 282-291 - [c152]Roxane Koitz, Franz Wotawa:
SAT-Based Abductive Diagnosis. DX 2015: 167-176 - 2014
- [j41]Dietmar Jannach, Thomas Schmitz, Birgit Hofer, Franz Wotawa:
Avoiding, finding and fixing spreadsheet errors - A survey of automated approaches for spreadsheet QA. J. Syst. Softw. 94: 129-150 (2014) - [c151]Franz Wotawa, Ingo Pill:
Testing Configuration Knowledge-Bases. Configuration Workshop 2014: 39-46 - [c150]Birgit Hofer, Rui Abreu, Alexandre Perez, Franz Wotawa:
Generation of Relevant Spreadsheet Repair Candidates. ECAI 2014: 1027-1028 - [c149]Birgit Hofer, Franz Wotawa:
Comparing Models for Spreadsheet Fault Localization. ECAI 2014: 1029-1030 - [c148]Franz Wotawa:
Failure Mode and Effect Analysis for Abductive Diagnosis. DARe@ECAI 2014 - [c147]Josip Bozic, Dimitris E. Simos, Franz Wotawa:
Attack pattern-based combinatorial testing. AST 2014: 1-7 - [c146]Josip Bozic, Franz Wotawa:
Security Testing Based on Attack Patterns. ICST Workshops 2014: 4-11 - [c145]Seema Jehan, Ingo Pill, Franz Wotawa:
SOA Testing via Random Paths in BPEL Models. ICST Workshops 2014: 260-263 - [c144]Andreas Bernauer, Josip Bozic, Dimitris E. Simos, Severin Winkler, Franz Wotawa:
Retaining Consistency for Knowledge-Based Security Testing. IEA/AIE (2) 2014: 88-97 - [c143]Birgit Hofer, Franz Wotawa:
Why Does my Spreadsheet Compute Wrong Values? ISSRE 2014: 112-121 - [c142]Harald Altinger, Franz Wotawa, Markus Schurius:
Testing methods used in the automotive industry: results from a survey. JAMAICA@ISSTA 2014: 1-6 - [c141]Franz Wotawa, Josip Bozic:
Plan It! Automated Security Testing Based on Planning. ICTSS 2014: 48-62 - [c140]Benedikt Eberhardinger, Wolfgang Reif, Franz Wotawa, Tom Holvoet:
Quality Assurance for Self-Adaptive, Self-Organising Systems (Message from the Workshop Organisers). SASO Workshops 2014: 108-109 - 2013
- [j40]Alexander Felfernig, Franz Wotawa:
Intelligent engineering techniques for knowledge bases. AI Commun. 26(1): 1-2 (2013) - [j39]Franz Wotawa, Ingo Pill:
On classification and modeling issues in distributed model-based diagnosis. AI Commun. 26(1): 133-143 (2013) - [j38]Mihai Nica, Simona Nica, Franz Wotawa:
On the use of mutations and testing for debugging. Softw. Pract. Exp. 43(9): 1121-1142 (2013) - [c139]Valentin Chimisliu, Franz Wotawa:
Using Dependency Relations to Improve Test Case Generation from UML Statecharts. COMPSAC Workshops 2013: 71-76 - [c138]Iulia Nica, Franz Wotawa:
(Re-)configuration of Communication Networks in the Context of M2M. Configuration Workshop 2013: 101-108 - [c137]Birgit Hofer, André Riboira, Franz Wotawa, Rui Abreu, Elisabeth Getzner:
On the Empirical Evaluation of Fault Localization Techniques for Spreadsheets. FASE 2013: 68-82 - [c136]Seema Jehan, Ingo Pill, Franz Wotawa:
Functional SOA testing based on constraints. AST 2013: 33-39 - [c135]Philipp Leitner, Stefan Schulte, Schahram Dustdar, Ingo Pill, Marco Schulz, Franz Wotawa:
The dark side of SOA testing: Towards testing contemporary SOAs based on criticality metrics. PESOS@ICSE 2013: 45-53 - [c134]Josip Bozic, Franz Wotawa:
XSS pattern for attack modeling in testing. AST 2013: 71-74 - [c133]Franz Wotawa, Marco Schulz, Ingo Pill, Seema Jehan, Philipp Leitner, Waldemar Hummer, Stefan Schulte, Philipp Hoenisch, Schahram Dustdar:
Fifty Shades of Grey in SOA Testing. ICST Workshops 2013: 154-157 - [c132]Seema Jehan, Ingo Pill, Franz Wotawa:
SOA Grey Box Testing - A Constraint-Based Approach. ICST Workshops 2013: 232-237 - [c131]Iulia Nica, Ingo Pill, Thomas Quaritsch, Franz Wotawa:
The Route to Success - A Performance Comparison of Diagnosis Algorithms. IJCAI 2013: 1039-1045 - [c130]Birgit Hofer, Franz Wotawa:
Mutation-based spreadsheet debugging. ISSRE (Supplemental Proceedings) 2013: 132-137 - [c129]Valentin Chimisliu, Franz Wotawa:
Improving Test Case Generation from UML Statecharts by Using Control, Data and Communication Dependencies. QSIC 2013: 125-134 - [c128]Simon Ausserlechner, Sandra Fruhmann, Wolfgang Wieser, Birgit Hofer, Raphael Spork, Clemens Mühlbacher, Franz Wotawa:
The Right Choice Matters! SMT Solving Substantially Improves Model-Based Debugging of Spreadsheets. QSIC 2013: 139-148 - [p6]Gerald Steinbauer, Franz Wotawa:
Model-Based Reasoning for Self-Adaptive Systems - Theory and Practice. Assurances for Self-Adaptive Systems 2013: 187-213 - 2012
- [j37]Birgit Hofer, Franz Wotawa:
Combining Slicing and Constraint Solving for Better Debugging: The CONBAS Approach. Adv. Softw. Eng. 2012: 628571:1-628571:18 (2012) - [j36]Jörg Weber, Franz Wotawa:
Diagnosis and repair of dependent failures in the control system of a mobile autonomous robot. Appl. Intell. 36(3): 511-528 (2012) - [j35]Bernhard Peischl, Naveed Riaz, Franz Wotawa:
Automated Debugging of Verilog Designs. Int. J. Softw. Eng. Knowl. Eng. 22(5): 695- (2012) - [j34]Franz Wotawa, Mihai Nica, Iulia Moraru:
Automated debugging based on a constraint model of the program and a test case. J. Log. Algebraic Methods Program. 81(4): 390-407 (2012) - [j33]Birgit Hofer, Franz Wotawa, Rui Abreu:
AI for the win: improving spectrum-based fault localization. ACM SIGSOFT Softw. Eng. Notes 37(6): 1-8 (2012) - [j32]Paul Ammann, Gordon Fraser, Franz Wotawa:
Guest Editorial for the Special Issue on Model-Based Testing. Softw. Test. Verification Reliab. 22(5): 295-296 (2012) - [c127]Rui Abreu, André Riboira, Franz Wotawa:
Constraint-based Debugging of Spreadsheets. CIbSE 2012: 1-14 - [c126]Birgit Hofer, Franz Wotawa:
Spectrum Enhanced Dynamic Slicing for better Fault Localization. ECAI 2012: 420-425 - [c125]Valentin Chimisliu, Franz Wotawa:
Category Partition Method and Satisfiability Modulo Theories for test case generation. AST 2012: 64-70 - [c124]Franz Wotawa:
Open Research Challenges of Localizing Faults in Programs Using Constraints. ICST 2012: 770-771 - [c123]Rui Abreu, André Riboira, Franz Wotawa:
Debugging Spreadsheets: A CSP-based Approach. ISSRE Workshops 2012: 159-164 - [c122]Birgit Hofer, Franz Wotawa:
Reducing the Size of Dynamic Slicing with Constraint Solving. QSIC 2012: 41-48 - [c121]Iulia Nica, Franz Wotawa:
The SiMoL Modeling Language for Simulation and (Re-)Configuration. SOFSEM 2012: 661-672 - [c120]Simona Nica, Franz Wotawa:
EqMutDetect - A tool for equivalent mutant detection in embedded systems. WISES 2012: 57-62 - [c119]Simona Nica, Franz Wotawa:
Using Constraints for Equivalent Mutant Detection. WS-FMDS 2012: 1-8 - 2011
- [j31]Christian Schwarzl, Franz Wotawa:
Test case generation in practice for communicating embedded systems. Elektrotech. Informationstechnik 128(6): 240-244 (2011) - [j30]Franz Wotawa:
On the Use of Abduction as an Alternative to Decision Trees in Environmental Decision Support Systems. Int. J. Agric. Environ. Inf. Syst. 2(1): 63-82 (2011) - [c118]Iulia Nica, Franz Wotawa:
SiMoL - A Modeling Language for Simulation and (Re-)Configuration. Configuration Workshop 2011 - [c117]Valentin Chimisliu, Franz Wotawa:
Abstracting timing information in UML state charts via temporal ordering and LOTOS. AST 2011: 8-14 - [c116]Bernhard Peischl, Franz Wotawa:
An Abstract Operational Framework for Dependence Models in Software Debugging. ICST Workshops 2011: 597-606 - [c115]Franz Wotawa:
On the Use of Constraints in Dynamic Slicing for Program Debugging. ICST Workshops 2011: 624-633 - [c114]Franz Wotawa:
Adaptive Autonomous Systems - From the System's Architecture to Testing. ISoLA Workshops 2011: 76-90 - [c113]Syed Nadeem Ahsan, Franz Wotawa:
Fault Prediction Capability of Program File's Logical-Coupling Metrics. IWSM/Mensura 2011: 257-262 - [c112]Christian Schwarzl, Bernhard K. Aichernig, Franz Wotawa:
Compositional Random Testing Using Extended Symbolic Transition Systems. ICTSS 2011: 179-194 - [c111]Stefan J. Galler, Thomas Quaritsch, Martin Weiglhofer, Franz Wotawa:
The IntiSa Approach: Test Input Data Generation for Non-primitive Data Types by Means of SMT Solver Based Bounded Model Checking. QSIC 2011: 121-130 - [c110]Franz Wotawa, Mihai Nica:
Program Debugging Using Constraints - Is it Feasible? QSIC 2011: 236-243 - [c109]Franz Wotawa, Simona Nica, Mihai Nica:
Debugging and test case generation using constraints and mutations. WISES 2011: 95-100 - 2010
- [c108]Syed Nadeem Ahsan, Franz Wotawa:
Impact analysis of SCRs using single and multi-label machine learning classification. ESEM 2010 - [c107]Jörg Weber, Franz Wotawa:
Combining Runtime Diagnosis and AI-planning in a Mobile Autonomous Robot to Achieve a Graceful Degradation after Software Failures. ICAART (1) 2010: 127-134 - [c106]Stefan J. Galler, Andreas Maller, Franz Wotawa:
Automatically extracting mock object behavior from Design by Contract™ specification for test data generation. AST 2010: 43-50 - [c105]Franz Wotawa, Mihai Nica, Bernhard K. Aichernig:
Generating Distinguishing Tests Using the Minion Constraint Solver. ICST Workshops 2010: 325-330 - [c104]Elisabeth Jöbstl, Martin Weiglhofer, Bernhard K. Aichernig, Franz Wotawa:
When BDDs Fail: Conformance Testing with Symbolic Execution and SMT Solving. ICST 2010: 479-488 - [c103]Franz Wotawa, Jörg Weber:
Challenges of Distributed Model-Based Diagnosis. IEA/AIE (1) 2010: 711-720 - [c102]Franz Wotawa:
Fault Localization Based on Dynamic Slicing and Hitting-Set Computation. QSIC 2010: 161-170 - [c101]Stefan J. Galler, Martin Weiglhofer, Franz Wotawa:
Synthesize It: From Design by Contract to Meaningful Test Input Data. SEFM 2010: 286-295 - [c100]Mihai Nica, Simona Nica, Franz Wotawa:
Does Testing Help to Reduce the Number of Potentially Faulty Statements in Debugging? TAIC PART 2010: 88-103
2000 – 2009
- 2009
- [j29]Gerald Steinbauer, Franz Wotawa:
Robust Plan Execution Using Model-Based Reasoning. Adv. Robotics 23(10): 1315-1326 (2009) - [j28]Martin Weiglhofer, Bernhard K. Aichernig, Franz Wotawa:
Fault-Based Conformance Testing in Practice. Int. J. Softw. Informatics 3(2-3): 375-411 (2009) - [j27]Martin Weiglhofer, Gordon Fraser, Franz Wotawa:
Using coverage to automate and improve test purpose based testing. Inf. Softw. Technol. 51(11): 1601-1617 (2009) - [j26]Gordon Fraser, Angelo Gargantini, Franz Wotawa:
On the order of test goals in specification-based testing. J. Log. Algebraic Methods Program. 78(6): 472-490 (2009) - [j25]Gordon Fraser, Franz Wotawa, Paul Ammann:
Issues in using model checkers for test case generation. J. Syst. Softw. 82(9): 1403-1418 (2009) - [j24]Gordon Fraser, Franz Wotawa, Paul Ammann:
Testing with model checkers: a survey. Softw. Test. Verification Reliab. 19(3): 215-261 (2009) - [c99]Bernhard Peischl, Naveed Riaz, Franz Wotawa:
Employing Test Suites for Verilog Fault Localization. CAEPIA 2009: 1-10 - [c98]Franz Wotawa, Jörg Weber, Mihai Nica, Rafael Ceballos:
On the Complexity of Program Debugging Using Constraints for Modeling the Program's Syntax and Semantics. CAEPIA 2009: 22-31 - [c97]Franz Wotawa:
On the Use of Abduction as an Alternative to Decision Trees in Environmental Decision Support Systems. CISIS 2009: 1160-1165 - [c96]Martin Weiglhofer, Franz Wotawa:
Asynchronous Input-Output Conformance Testing. COMPSAC (1) 2009: 154-159 - [c95]Birgit Hofer, Bernhard Peischl, Franz Wotawa:
GUI Savvy End-to-End Testing with Smart Monkeys. AST 2009: 130-137 - [c94]Syed Nadeem Ahsan, Javed Ferzund, Franz Wotawa:
Are There Language Specific Bug Patterns? Results Obtained from a Case Study Using Mozilla. ICSEA 2009: 210-215 - [c93]Syed Nadeem Ahsan, Javed Ferzund, Franz Wotawa:
Automatic Software Bug Triage System (BTS) Based on Latent Semantic Indexing and Support Vector Machine. ICSEA 2009: 216-221 - [c92]Javed Ferzund, Syed Nadeem Ahsan, Franz Wotawa:
Software change classification using hunk metrics. ICSM 2009: 471-474 - [c91]Safeeullah Soomro, Franz Wotawa:
Detect and Localize Faults in Alias-Free Programs Using Specification Knowledge. IEA/AIE 2009: 379-388 - [c90]Franz Wotawa, Ignasi Rodríguez-Roda, Joaquim Comas:
Abductive Reasoning in Environmental Decision Support Systems. AIAI Workshops 2009: 270-279 - [c89]Marcus D. Bloice, Franz Wotawa, Andreas Holzinger:
Java's alternatives and the limitations of Java when writing cross-platform applications for mobile devices in the medical domain. ITI 2009: 47-54 - [c88]Javed Ferzund, Syed Nadeem Ahsan, Franz Wotawa:
Empirical Evaluation of Hunk Metrics as Bug Predictors. IWSM/Mensura 2009: 242-254 - [c87]Martin Weiglhofer, Gordon Fraser, Franz Wotawa:
Using Spectrum-Based Fault Localization for Test Case Grouping. ASE 2009: 630-634 - [c86]Gordon Fraser, Franz Wotawa:
Increasing Diversity in Coverage Test Suites Using Model Checking. QSIC 2009: 211-218 - [c85]Martin Weiglhofer, Franz Wotawa:
Improving Coverage Based Test Purposes. QSIC 2009: 219-228 - [c84]Harald Altinger, Stefan J. Galler, Stephan Mühlbacher-Karrer, Gerald Steinbauer, Franz Wotawa, Hubert Zangl:
Concept Evaluation of a Reflex Inspired Ball Handling Device for Autonomous Soccer Robots. RoboCup 2009: 11-22 - [c83]Syed Nadeem Ahsan, Javed Ferzund, Franz Wotawa:
Program File Bug Fix Effort Estimation Using Machine Learning Methods for OSS. SEKE 2009: 129-134 - [c82]Syed Nadeem Ahsan, Javed Ferzund, Franz Wotawa:
Automatic Classification of Software Change Request Using Multi-label Machine Learning Methods. SEW 2009: 79-86 - [c81]Gordon Fraser, Franz Wotawa:
Complementary Criteria for Testing Temporal Logic Properties. TAP@TOOLS 2009: 58-73 - [c80]Javed Ferzund, Syed Nadeem Ahsan, Franz Wotawa:
Bug-Inducing Language Constructs. WCRE 2009: 155-159 - [c79]Bernhard K. Aichernig, Harald Brandl, Franz Wotawa:
Conformance Testing of Hybrid Systems with Qualitative Reasoning Models. MBT@ETAPS 2009: 53-69 - [p5]Franz Wotawa, Willibald Krenn:
Rule-Set Extraction from C-Code. Intelligent Technical Systems 2009: 75-88 - [p4]Willibald Krenn, Franz Wotawa:
Intelligent, Fault Adaptive Control of Autonomous Systems. Intelligent Technical Systems 2009: 175-188 - [p3]Gerald Steinbauer, Franz Wotawa:
Comining Quantitative and Qualitative Models with Active Observtions to Improve Diagnosis of Complex Systems. Intelligent Technical Systems 2009: 203-216 - 2008
- [j23]Franz Wotawa, Mihai Nica:
On the Compilation of Programs into their Equivalent Constraint Representation. Informatica (Slovenia) 32(4): 359-371 (2008) - [j22]Gordon Fraser, Franz Wotawa:
Using model-checkers to generate and analyze property relevant test-cases. Softw. Qual. J. 16(2): 161-183 (2008) - [c78]Mihai Nica, Franz Wotawa:
From constraint representations of sequential code and program annotations to their use in debugging. ECAI 2008: 797-798 - [c77]Jörg Weber, Franz Wotawa:
Dependent Failures in Consistency-based Diagnosis. ECAI 2008: 801-802 - [c76]Martin Weiglhofer, Franz Wotawa:
Random Vs. Scenario-based Vs. Fault-based Testing - An Industrial Evaluation of Formal Black-Box Testing Methods. ENASE 2008: 115-122 - [c75]Gerald Steinbauer, Franz Wotawa:
Enhancing Plan Execution in Dynamic Domains Using Model-Based Reasoning. ICIRA (1) 2008: 510-519 - [c74]Harald Brandl, Gordon Fraser, Franz Wotawa:
QR-Model Based Testing. AST 2008: 17-20 - [c73]Franz Wotawa:
Localizing Bugs in Programs - Or How to Use a Program's Constraint Representation for Software Debugging? ICSOFT (SE/MUSE/GSDCA) 2008: 88-95 - [c72]Gordon Fraser, Franz Wotawa:
Ordering Coverage Goals in Model Checker Based Testing. ICST Workshops 2008: 31-40 - [c71]Harald Brandl, Franz Wotawa:
Test Case Generation from QR Models. IEA/AIE 2008: 235-244 - [c70]Gerhard Gubisch, Gerald Steinbauer, Martin Weiglhofer, Franz Wotawa:
A Teleo-Reactive Architecture for Fast, Reactive and Robust Control of Mobile Robots. IEA/AIE 2008: 541-550 - [c69]Javed Ferzund, Syed Nadeem Ahsan, Franz Wotawa:
Analysing Bug Prediction Capabilities of Static Code Metrics in Open Source Software. IWSM/Metrikon/Mensura 2008: 331-343 - [c68]Syed Nadeem Ahsan, Javed Ferzund, Franz Wotawa:
A Database for the Analysis of Program Change Patterns. NCM (2) 2008: 32-39 - [c67]Gordon Fraser, Martin Weiglhofer, Franz Wotawa:
Coverage Based Testing with Test Purposes. QSIC 2008: 199-208 - [c66]Harald Brandl, Gordon Fraser, Franz Wotawa:
Coverage-based Testing Using Qualitative Reasoning Models. SEKE 2008: 393-398 - [c65]Gordon Fraser, Martin Weiglhofer, Franz Wotawa:
Using Observer Automata to Select Test Cases for Test Purposes. SEKE 2008: 709-714 - [c64]Franz Wotawa:
Bridging the Gap Between Slicing and Model-based Diagnosis. SEKE 2008: 836-841 - [c63]Mihai Nica, Bernhard Peischl, Franz Wotawa:
A Constraint Model for Automated Deployment of Automotive Control Software. SEKE 2008: 899-904 - [c62]Alexander Kleiner, Gerald Steinbauer, Franz Wotawa:
Towards Automated Online Diagnosis of Robot Navigation Software. SIMPAR 2008: 159-170 - [c61]Bernhard K. Aichernig, Martin Weiglhofer, Franz Wotawa:
Improving Fault-based Conformance Testing. MBT@ETAPS 2008: 63-77 - [p2]Bernhard Peischl, Naveed Riaz, Franz Wotawa:
Advances in Automated Source-Level Debugging of Verilog Designs. New Challenges in Applied Intelligence Technologies 2008: 363-372 - 2007
- [j21]Claudia Picardi, Paulo Salles, Franz Wotawa:
An introduction to model-based systems. AI Commun. 20(1): 1-6 (2007) - [j20]Gordon Fraser, Franz Wotawa:
Using formal methods for ensuring quality requirements of systems. Elektrotech. Informationstechnik 124(1-2): 13-16 (2007) - [j19]Michael W. Hofbaur, Johannes Köb, Gerald Steinbauer, Franz Wotawa:
Improving Robustness of Mobile Robots Using Model-based Reasoning. J. Intell. Robotic Syst. 48(1): 37-54 (2007) - [c60]Gordon Fraser, Franz Wotawa:
Using LTL rewriting to improve the performance of model-checker based test-case generation. A-MOST 2007: 64-74 - [c59]Bernhard K. Aichernig, Martin Weiglhofer, Bernhard Peischl, Franz Wotawa:
Test purpose generation in an industrial application. A-MOST 2007: 115-125 - [c58]Gordon Fraser, Franz Wotawa:
Redundancy Based Test-Suite Reduction. FASE 2007: 291-305 - [c57]Gordon Fraser, Franz Wotawa:
Creating Test-Cases Incrementally with Model-Checkers. GI Jahrestagung (2) 2007: 381-386 - [c56]Bernhard Peischl, Martin Weiglhofer, Franz Wotawa:
Executing Abstract Test Cases. GI Jahrestagung (2) 2007: 416-421 - [c55]Gordon Fraser, Franz Wotawa:
Test-Case Generation and Coverage Analysis for Nondeterministic Systems Using Model-Checkers. ICSEA 2007: 45 - [c54]Franz Wotawa, Mihai Nica:
Converting Programs into Constraint Satisfaction Problems. IDC 2007: 228-236 - [c53]Willibald Krenn, Franz Wotawa:
Collaboration of Intelligent, Autonomous Systems: Situation Aware Behavior Change. IDC 2007: 283-288 - [c52]Jörg Weber, Franz Wotawa:
Diagnosing Dependent Failures in the Hardware and Software of Mobile Autonomous Robots. IEA/AIE 2007: 633-643 - [c51]Mathias Brandstötter, Michael W. Hofbaur, Gerald Steinbauer, Franz Wotawa:
Model-based fault diagnosis and reconfiguration of robot drives. IROS 2007: 1203-1209 - [c50]Arndt Mühlenfeld, Franz Wotawa:
Fault detection in multi-threaded c++ server applications. PPoPP 2007: 142-143 - [c49]Gordon Fraser, Franz Wotawa:
Improving Model-Checkers for Software Testing. QSIC 2007: 25-31 - [c48]Gordon Fraser, Franz Wotawa:
Nondeterministic Testing with Linear Model-Checker Counterexamples. QSIC 2007: 107-116 - [c47]Bernhard K. Aichernig, Bernhard Peischl, Martin Weiglhofer, Franz Wotawa:
Protocol Conformance Testing a SIP Registrar: an Industrial Application of Formal Methods. SEFM 2007: 215-226 - [c46]Franz Wotawa, Willibald Krenn:
Knowledge Extraction from C-Code. WISES 2007: 49-60 - [c45]Willibald Krenn, Franz Wotawa:
Intelligent, Fault Tolerant Control for Autonomous Systems. WISES 2007: 194-205 - [c44]Gerald Steinbauer, Franz Wotawa:
Combining Quantitative and Qualitative Models with Active Observations for better Diagnoses of Autonomous Mobile Robots. WISES 2007: 216-226 - [c43]Gordon Fraser, Bernhard K. Aichernig, Franz Wotawa:
Handling Model Changes: Regression Testing and Test-Suite Update with Model-Checkers. MBT 2007: 33-46 - [p1]Michael W. Hofbaur, Johannes Köb, Gerald Steinbauer, Franz Wotawa:
Model-Based Reasoning for Self-Repair of Autonomous Mobile Robots. Model-Based Reasoning in Science, Technology, and Medicine 2007: 431-445 - 2006
- [j18]Bernhard Peischl, Franz Wotawa:
Automated Source-Level Error Localization in Hardware Designs. IEEE Des. Test Comput. 23(1): 8-19 (2006) - [j17]Gordon Fraser, Franz Wotawa:
Property relevant software testing with model-checkers. ACM SIGSOFT Softw. Eng. Notes 31(6): 1-10 (2006) - [c42]Michael W. Hofbaur, Franz Wotawa:
A Causal Analysis Method for Concurrent Hybrid Automata. AAAI 2006: 840-846 - [c41]Daniel Köb, Franz Wotawa:
Fundamentals of Debugging Using a Resolution Calculus. FASE 2006: 278-292 - [c40]Gordon Fraser, Franz Wotawa:
Using Model-Checkers for Mutation-Based Test-Case Generation, Coverage Analysis and Specification Analysis. ICSEA 2006: 16 - [c39]Franz Wotawa, Bibiane Angerer:
Retaining Consistency in Temporal Knowledge Bases. IEA/AIE 2006: 600-609 - [c38]Rong Chen, Franz Wotawa:
Diagnosing Program Errors with Light-Weighted Specifications. IEA/AIE 2006: 639-649 - [c37]Bernhard Peischl, Safeeullah Soomro, Franz Wotawa:
Towards Lightweight Fault Localization in Procedural Programs. IEA/AIE 2006: 660-667 - [c36]Jörg Weber, Franz Wotawa:
Using AI Techniques for Fault Localization in Component-Oriented Software Systems. MICAI 2006: 1139-1149 - [c35]Arndt Mühlenfeld, Franz Wotawa:
Fault Detection in Multi-Threaded C++ Server Applications. TV@FLoC 2006: 5-22 - 2005
- [j16]Mihaela Oprea, Miquel Sànchez-Marrè, Franz Wotawa:
Binding Environmental Sciences and Artificial Intelligence. AI Commun. 18(4): 243-245 (2005) - [c34]Bernhard Peischl, Franz Wotawa:
Error traces in model-based debugging of hardware description languages. AADEBUG 2005: 43-48 - [c33]Rong Chen, Franz Wotawa:
Understanding and Isolating Data Structure Errors of Java Programs. Artificial Intelligence and Applications 2005: 680-685 - [c32]Rong Chen, Franz Wotawa:
An Object Store Model for Diagnosing Java Programs. Australian Conference on Artificial Intelligence 2005: 865-870 - [c31]Gordon Fraser, Gerald Steinbauer, Franz Wotawa:
Plan Execution in Dynamic Environments. IEA/AIE 2005: 208-217 - [c30]Franz Wotawa, Safeeullah Soomro:
Fault Localization Based on Abstract Dependencies. IEA/AIE 2005: 357-359 - [c29]Andreas Griesmayer, Roderick Bloem, Martin Hautzendorfer, Franz Wotawa:
Formal Verification of Control Software: A Case Study. IEA/AIE 2005: 783-788 - [c28]Gerald Steinbauer, Franz Wotawa:
Detecting and locating faults in the control software of autonomous mobile robots. IJCAI 2005: 1742-1743 - [c27]Gerald Steinbauer, Martin Mörth, Franz Wotawa:
Real-Time Diagnosis and Repair of Faults of Robot Control Software. RoboCup 2005: 13-23 - 2004
- [j15]Franz Wotawa:
Debugging VHDL Designs: Introducing Multiple Models and First Empirical Results. Appl. Intell. 21(2): 159-172 (2004) - [c26]Daniel Köb, Franz Wotawa:
Introducing Alias Information into Model-Based Debugging. ECAI 2004: 833-837 - [c25]Gerald Steinbauer, Gordon Fraser, Arndt Mühlenfeld, Franz Wotawa:
A Modular Architecture for a Multi-purpose Mobile Robot. IEA/AIE 2004: 1007-1015 - [c24]Rong Chen, Daniel Köb, Franz Wotawa:
Diagnosing Java Programs with Static Abstractions of Data Structures. Intelligent Information Processing 2004: 369-372 - [c23]Rong Chen, Daniel Köb, Franz Wotawa:
Improving Fault Localization of Programs by Using Labeled Dependencies. KI 2004: 366-380 - [c22]Gordon Fraser, Franz Wotawa:
Cooperative Planning and Plan Execution in Partially Observable Dynamic Domains. RoboCup 2004: 524-531 - [c21]Bernhard Peischl, Franz Wotawa:
Are Error Traces Enough for Automated Fault Localization in VHDL Designs? WISES 2004: 49-60 - 2003
- [j14]Ulises Cortés, Miquel Sànchez-Marrè, Franz Wotawa:
Guest editorial: Binding Environmental Sciences and Artificial Intelligence. AI Commun. 16(4): 219-220 (2003) - [j13]Bernhard Peischl, Franz Wotawa:
Model-Based Diagnosis or Reasoning from First Principles. IEEE Intell. Syst. 18(3): 32-37 (2003) - [c20]Daniel Köb, Bernhard Peischl, Franz Wotawa:
Debugging VHDL Designs Using Temporal Process Instances. IEA/AIE 2003: 402-415 - [c19]Markus Stumptner, Franz Wotawa:
Coupling CSP Decomposition Methods and Diagnosis Algorithms for Tree-Structured Systems. IJCAI 2003: 388-393 - [i1]Bernhard Peischl, Franz Wotawa:
Modeling State in Software Debugging of VHDL-RTL Designs - A Model-Based Diagnosis Approach. CoRR cs.AI/0311001 (2003) - 2002
- [j12]Franz Wotawa:
On the relationship between model-based debugging and program slicing. Artif. Intell. 135(1-2): 125-143 (2002) - [j11]Gerhard Fleischanderl, Thomas Havelka, Herwig Schreiner, Markus Stumptner, Franz Wotawa:
DiKe - a model-based diagnosis kernel and its application. AI Commun. 15(1): 17-30 (2002) - [j10]Franz Wotawa:
Debugging Hardware Designs Using a Value-Based Model. Appl. Intell. 16(1): 71-92 (2002) - [c18]Georg Gottlob, Martin Hutle, Franz Wotawa:
Combining hypertree, bicomp, and hinge decomposition. ECAI 2002: 161-165 - [c17]Wolfgang Mayer, Markus Stumptner, Dominik Wieland, Franz Wotawa:
Can AI help to improve debugging substantially? Debugging Experiences with Value-Based Models. ECAI 2002: 417-421 - [c16]Wolfgang Mayer, Markus Stumptner, Dominik Wieland, Franz Wotawa:
Towards an Integrated Debugging Environment. ECAI 2002: 422-426 - [c15]Franz Wotawa, Markus Stumptner, Wolfgang Mayer:
Model-Based Debugging or How to Diagnose Programs Automatically. IEA/AIE 2002: 746-757 - 2001
- [j9]Markus Stumptner, Franz Wotawa:
Diagnosing tree-structured systems. Artif. Intell. 127(1): 1-29 (2001) - [j8]Franz Wotawa, Gerhard Wotawa:
Deriving qualitative rules from neural networks - a case study for ozone forecasting. AI Commun. 14(1): 23-33 (2001) - [j7]Franz Wotawa:
A variant of Reiter's hitting-set algorithm. Inf. Process. Lett. 79(1): 45-51 (2001) - [c14]Franz Wotawa:
Using Multiple Models for Debugging VHDL Designs. IEA/AIE 2001: 125-134 - [c13]Markus Stumptner, Dominik Wieland, Franz Wotawa:
Comparing Two Models for Software Debugging. KI/ÖGAI 2001: 351-365 - [c12]Gerhard Fleischanderl, Thomas Havelka, Herwig Schreiner, Markus Stumptner, Franz Wotawa:
DiKe - A Model-Based Diagnosis Kernel and Its Application. KI/ÖGAI 2001: 440-454 - 2000
- [j6]Franz Wotawa:
Debugging VHDL designs using model-based reasoning. Artif. Intell. Eng. 14(4): 331-351 (2000) - [j5]Markus Stumptner, Franz Wotawa:
Industrial Applications of Model-based Reasoning - Guest Editorial. AI Commun. 13(2): 59-60 (2000) - [j4]Markus Stumptner, Franz Wotawa:
Using Model-Based Reasoning for Locating Faults in VHDL Designs. Künstliche Intell. 14(4): 62-67 (2000) - [c11]Cristinel Mateis, Markus Stumptner, Dominik Wieland, Franz Wotawa:
Model-Based Debugging of Java Programs. AADEBUG 2000 - [c10]Cristinel Mateis, Markus Stumptner, Franz Wotawa:
Modeling Java Programs for Diagnosis. ECAI 2000: 171-175 - [c9]Cristinel Mateis, Markus Stumptner, Dominik Wieland, Franz Wotawa:
JADE - AI Support for Debugging Java Programs. ICTAI 2000: 62- - [c8]Cristinel Mateis, Markus Stumptner, Franz Wotawa:
Locating Bugs in Java Programs - First Results of the Java Diagnosis Experiment Project. IEA/AIE 2000: 174-183
1990 – 1999
- 1999
- [j3]Gerhard Friedrich, Markus Stumptner, Franz Wotawa:
Model-Based Diagnosis of Hardware Designs. Artif. Intell. 111(1-2): 3-39 (1999) - [j2]Franz Wotawa:
Model-Based Reasoning (Guest Editor's Introduction). AI Commun. 12(1-2): 1-3 (1999) - [c7]Franz Wotawa:
New Directions in Debugging Hardware Designs. IEA/AIE 1999: 226-235 - [c6]Christian Piccardi, Franz Wotawa:
A Communication Language and the Design of a Diagnosis Agent - Towards a Framework for Mobile Diagnosis Agents. IEA/AIE 1999: 420-429 - [c5]Markus Stumptner, Franz Wotawa:
Debugging Functional Programs. IJCAI 1999: 1074-1079 - 1998
- [j1]Markus Stumptner, Franz Wotawa:
A Survey of Intelligent Debugging. AI Commun. 11(1): 35-51 (1998) - [c4]Markus Stumptner, Franz Wotawa:
Model-Based Reconfiguration. AID 1998: 45-64 - 1997
- [c3]Markus Stumptner, Franz Wotawa:
Diagnosing Tree Structured Systems. IJCAI (1) 1997: 440-445 - 1996
- [c2]Gerhard Friedrich, Markus Stumptner, Franz Wotawa:
Model-Based Diagnosis of Hardware Designs. ECAI 1996: 491-495 - [c1]Markus Stumptner, Franz Wotawa:
Model-Based Program Debugging and Repair. IEA/AIE 1996: 155-160
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-12-10 21:40 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint