Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFranz 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
showing all ?? records
2020 – today
- 2024
[j74]Lorenz Klampfl
, Florian Klück, Franz Wotawa:
Using genetic algorithms for automating automated lane-keeping system testing. J. Softw. Evol. Process. 36(3) (2024)- [j73]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) - [c282]Liliana Marie Prikler, Franz Wotawa:
9 in 10 cameras agree: Pedestrians in front possibly endangered. AST@ICSE 2024: 219-223 - [c281]Ledio Jahaj, Lorenz Klampfl, Franz Wotawa:
Knowledge-Based Monitoring for Checking Law and Regulation Compliance. IEA/AIE 2024: 491-502 - [c280]Stefan Kugele, Franz Wotawa:
21st Workshop on Automotive Software Engineering (ASE'24). Software Engineering 2024: 165-166 - [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]