Franz Wotawa

Publikationen

Publikationen pro Jahr 1994 2004 2005 2006 2007 2008 2009 2010 2011 2012 2013 2014 2015 2016 2017 2018 2019 2020 2021 2022 2023 2024 2025

• 395 Beitrag in einem Konferenzband
• 103 Artikel
• 31 Beitrag in Buch/Bericht
• 21 Paper
• 53 Mehr
  • 10 Buch (Herausgeberwerk)
  • 10 Vorwort/Nachwort
  • 9 Poster
  • 8 Konferenzartikel
  • 3 Sonstiger Bericht
  • 3 Editorial
  • 2 (Altdaten) Vortrag oder Präsentation
  • 1 Buch (Autorenwerk)
  • 1 Short communication
  • 1 Review eines Fachbereichs (Review article)
  • 1 Patent
  • 1 Diplomarbeit
  • 1 Dissertation
  • 1 Habilitation
  • 1 Working paper

Publikationen pro Jahr

Publikationen pro Jahr

Suchergebnisse

• 2019

  On the importance of system testing for assuring safety of AI systems

  Wotawa, F., 2019, in: CEUR Workshop Proceedings. 2419, 7 S.

  Publikation: Beitrag in einer Fachzeitschrift › Konferenzartikel › Begutachtung

  Open Access

  • Artificial Intelligence 100%
  • Learning System 40%
  • Machine Learning 40%
  • Automotives 20%
  • Safety Standard 20%

• On the industrial application of combinatorial testing for autonomous driving functions

  Tao, J., Li, Y., Wotawa, F., Felbinger, H. & Nica, M., 1 Apr. 2019, Proceedings - 2019 IEEE 12th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2019. IEEE, S. 234-240 7 S. 8728928. (Proceedings - 2019 IEEE 12th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2019).

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

  • Application Process 100%

• On the Refinement of Spreadsheet Smells by means of Structure Information

  Koch, P., Hofer, B. G. & Wotawa, F., 2019, in: Journal of Systems and Software . 147, S. 64 - 85

  Publikation: Beitrag in einer Fachzeitschrift › Artikel › Begutachtung

  • Static Program Analysis 100%
  • Detection Technique 100%
  • Root Source 50%
  • Cell Group 50%

• Performance Comparison of Two Search-Based Testing Strategies for ADAS System Validation

  Klück, F., Zimmermann, M., Wotawa, F. & Nica, M., 1 Jan. 2019, Testing Software and Systems - 31st IFIP WG 6.1 International Conference, ICTSS 2019, Proceedings. Gaston, C., Kosmatov, N. & Le Gall, P. (Hrsg.). Springer, S. 140-156 17 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 11812 LNCS).

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

  • Simulated Annealing 100%
  • Maximal Number 33%
  • System Function 33%

• Preface - Advances in Artificial Intelligence. From Theory to Practice: 32nd International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2019

  Wotawa, F., Friedrich, G., Pill, I., Koitz-Hristov, R. & Ali, M., 1 Jan. 2019, in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 11606 LNAI, S. v

  Publikation: Beitrag in einer Fachzeitschrift › Editorial

• Reasoning from first principles for self-adaptive and autonomous systems

  Wotawa, F., 2019, Predictive Maintenance in Dynamic Systems : Advanced Methods, Decision Support Tools an d Real-World Applications. Springer

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in Buch/Bericht › Begutachtung

• Software Testing: According to Plan!

  Bozic, J. & Wotawa, F., 2019, IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW). IEEE, S. 23-31 9 S.

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

  • Artificial Intelligence 100%
  • Software Testing 100%
  • Intelligent Agent 100%
  • Intelligence Research 100%
  • Automated Planning 100%

• swarmFSTaxis: Borrowing a swarm communication mechanism from fireflies and slime mold

  Varughese, J. C., Moser, D., Thenius, R., Wotawa, F. & Schmickl, T., 1 Jan. 2019, Understanding Complex Systems. Springer-Verlag Italia, S. 213-222 10 S. (Understanding Complex Systems).

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in Buch/Bericht › Begutachtung

  • Predefined Goal 100%
  • Basis Algorithm 100%

• Testing Chatbots Using Metamorphic Relations

  Bozic, J. & Wotawa, F., 2019, Testing Software and Systems : 31st IFIP WG 6.1 International Conference, ICTSS 2019, Paris, France, October 15–17, 2019, Proceedings. Gaston, C., Kosmatov, N. & Le Gall, P. (Hrsg.). Cham: Springer, S. 41-55 (Lecture Notes in Computer Science; Band 11812).

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

• Towards swarm level optimisation: The role of different movement patterns in swarm systems

  Kengyel, D., Zahadat, P., Wotawa, F. & Schmickl, T., 2019, in: International Journal of Parallel, Emergent and Distributed Systems. 34, 3, S. 241 - 259

  Publikation: Beitrag in einer Fachzeitschrift › Artikel › Begutachtung

  • Random Experiment 100%

• Using model-based reasoning for enhanced chatbot communication

  Tazl, O. A. & Wotawa, F., 1 Jan. 2019, Advances and Trends in Artificial Intelligence. From Theory to Practice - 32nd International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2019, Proceedings. Wotawa, F., Pill, I., Koitz-Hristov, R., Friedrich, G. & Ali, M. (Hrsg.). Springer Verlag, S. 791-798 8 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 11606 LNAI).

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

  • Model-Based Reasoning 100%
  • Chatbot 100%
  • Hotels 100%
  • Use Case 20%
  • User Experience 20%

• Using Tri-Relation Networks for Effective Software Fault-Proneness Prediction

  Li, Y., Lee, S.-Y., Wotawa, F. & Wong, W. E., 2019, in: IEEE Access. 7, S. 63066 - 63080

  Publikation: Beitrag in einer Fachzeitschrift › Artikel › Begutachtung

• Weighted Combinatorial Sequence Testing for the TLS Protocol

  Garn, B., Simos, D. E., Duan, F., Lei, Y., Bozic, J. & Wotawa, F., 2019, IEEE International Conference on Software Testing Verification and Validation Workshop (ICSTW'19). IEEE

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
• 2018

  Adapting unit tests by generating combinatorial test data

  Felbinger, H., Wotawa, F. & Nica, M., 16 Juli 2018, Proceedings - 2018 IEEE 11th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2018. IEEE, S. 352-355 4 S.

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

  • Condition Coverage 100%

• Adaptive System for Autonomous Driving

  Wotawa, F. & Zimmermann, M., 9 Aug. 2018, Proceedings - 2018 IEEE 18th International Conference on Software Quality, Reliability, and Security Companion, QRS-C 2018. IEEE, S. 519-525 7 S. 8432021

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

  • Random Selection 100%

• A formal TLS handshake model in LNT

  Bozic, J., Marsso, L., Mateescu, R. & Wotawa, F., 23 März 2018, Proceedings Third Workshop on Models for Formal Analysis of Real Systems and Sixth International Workshop on Verification and Program Transformation, MARS/VPT@ETAPS. S. 1-40 40 S. (Electronic Proceedings in Theoretical Computer Science, EPTCS).

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

  • Software Development 100%
  • Cryptographic Protocol 100%
  • Formal Specification 100%
  • Biggest Challenge 100%
  • System Behavior 100%

• A Model for Bio-Inspired Underwater Swarm Robotic Exploration

  Varughese, J. C., Thenius, R., Leitgeb, P., Wotawa, F. & Schmickl, T., 1 Jan. 2018, in: IFAC-PapersOnLine. 51, 2, S. 385-390 6 S.

  Publikation: Beitrag in einer Fachzeitschrift › Artikel › Begutachtung

  Open Access

• Applying algorithm selection to abductive diagnostic reasoning

  Koitz-Hristov, R. & Wotawa, F., 1 Mai 2018, in: Applied Intelligence. S. 1–19 19 S.

  Publikation: Beitrag in einer Fachzeitschrift › Artikel › Begutachtung

  • fault diagnose method 100%

• Automated generation of (F)LTL oracles for testing and debugging

  Pill, I. & Wotawa, F., 2018, in: Journal of Systems and Software . 139, S. 124-141

  Publikation: Beitrag in einer Fachzeitschrift › Artikel › Begutachtung

  • Automated Reasoning 100%
  • Formal Requirement 100%
  • Conjunctive Normal Form 100%

• Chatbot-based tourist recommendations using model-based reasoning

  Wotawa, F., Nica, I.-D. & Tazl, O., 2018.

  Publikation: Konferenzbeitrag › Paper › Begutachtung

• Combining Combinatorial Testing and Metamorphic Testing for Testing a Logicbased Non-Monotonic Reasoning System

  Wotawa, F., 2018.

  Publikation: Konferenzbeitrag › Paper › Begutachtung

• Combining combinatorial testing and metamorphic testing for testing a logic-based non-monotonic reasoning system

  Wotawa, F., 16 Juli 2018, Proceedings - 2018 IEEE 11th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2018. IEEE, S. 348-351 4 S. (Proceedings - 2018 IEEE 11th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2018).

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

  • Reasoning System 100%
  • Nonmonotonic Reasoning 100%

• Combining spreadsheet smells for improved fault prediction

  Koch, P., Schekotihin, K., Jannach, D., Hofer, B., Wotawa, F. & Schmitz, T., 27 Mai 2018, Proceedings 2018 ACM/IEEE 40th International Conference on Software Engineering: New Ideas and Emerging Results, ICSE-NIER 2018. IEEE Computer Society, S. 25-28 4 S.

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

  • Software Engineering 100%
  • Business Impact 100%
  • Learning System 100%

• Diagnosis as a service

  Wotawa, F., Peischl, B. & Koitz, R., 2018, Digital Marketplaces Unleashed. Springer Berlin - Heidelberg, S. 557-567 11 S.

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in Buch/Bericht › Begutachtung

  • Monitoring System 100%
  • Monitoring Data 100%
  • Model System 100%
  • Compressed Air Motors 100%
  • Engineered System 50%

• Evolutionary propositionalization of multi-relational data

  Wotawa, F. & Kassarnig, V., 2018.

  Publikation: Konferenzbeitrag › Paper › Begutachtung

• Evolutionary Propositionalization of Multi- Relational Data

  Wotawa, F. & Kassarnig, V., 2018, in: International Journal of Software Engineering and Knowledge Engineering . 28, 11/12, S. 1739–1754

  Publikation: Beitrag in einer Fachzeitschrift › Artikel › Begutachtung

  • Predictive Performance 100%
  • Feature Construction 49%
  • Flat Table 49%

• Fault detection and localization using modelica and abductive reasoning

  Pill, I. & Wotawa, F., 8 März 2018, Diagnosability, Security and Safety of Hybrid Dynamic and Cyber-Physical Systems. Springer International Publishing AG , S. 45-72 28 S.

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in Buch/Bericht › Begutachtung

• Fragment-based spreadsheet debugging

  Jannach, D., Schmitz, T., Hofer, B., Schekotihin, K., Koch, P. & Wotawa, F., 22 Dez. 2018, (Elektronische Veröffentlichung vor Drucklegung.) in: Automated Software Engineering.

  Publikation: Beitrag in einer Fachzeitschrift › Artikel › Begutachtung

  • Fault Candidate 100%
  • Simulation Experiment 100%
  • Algorithmic Debugging 100%
  • Observed Failure 33%

• From Ontologies to Input Models for Combinatorial Testing

  Wotawa, F. & Li, Y., 2018.

  Publikation: Konferenzbeitrag › Paper › Begutachtung

• FSTT algorithm: Can tides assist bio-inspired gradient taxis?

  Varughese, J. C., Thenius, R., Wotawa, F. & Schmickl, T., 1 Jan. 2018, New Trends in Medical and Service Robots - Design, Analysis and Control. Hofbaur, M. & Husty, M. (Hrsg.). Springer Netherlands, S. 319-330 12 S. (Mechanisms and Machine Science; Band 48).

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

  • Neighbor Interaction 100%
  • Underwater Robotics 100%
  • Multiagent Simulation 100%
  • Service Robot 100%

• Model-Based Diagnosis Meets Combinatorial Testing For Generating an Abductive Diagnosis Model

  Pill, I. & Wotawa, F., 6 Jan. 2018, 28th International Workshop on Principles of Diagnosis (DX'17). EasyChair Ltd, S. 248-263 16 S. (Kalpa Publications in Computing; Band 4).

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

  Open Access

• On the automation of testing a logic-based diagnosis system

  Wotawa, F., 2018.

  Publikation: Konferenzbeitrag › Paper › Begutachtung

• On the superiority of conflict-driven search in MUS enumeration

  Koitz-Hristov, R. & Wotawa, F., 1 Jan. 2018, in: CEUR Workshop Proceedings. 2289, 7 S.

  Publikation: Beitrag in einer Fachzeitschrift › Konferenzartikel › Begutachtung

  Open Access

  • Consistency Check 100%
  • Structure Problem 100%
  • Unsatisfiable Set 100%

• On Using an I/O Model for Creating an Abductive Diagnosis Model via Combinatorial Exploration, Fault Injection, and Simulation

  Pill, I. & Wotawa, F., 2018.

  Publikation: Konferenzbeitrag › Paper › Begutachtung

• Planning-based security testing of web applications

  Bozic, J. & Wotawa, F., 28 Mai 2018, Proceedings 2018 ACM/IEEE 13th International Workshop on Automation of Software Test, AST 2018. IEEE Computer Society, S. 20-26 7 S.

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

  • Software Defect 100%
  • Graphical Representation 100%
  • Automated Planning 100%
  • Vulnerability Detection 100%
  • Data Confidentiality 100%

• Quality assurance methodologies for automated driving

  Titel in Übersetzung: Qualitätssicherungsmaßnahmen für das automatisierte Fahren.Klück, F. S., Wotawa, F., Peischl, B. & Nica, M., 10 Juli 2018, Elektrotechnik und Informationstechnik, 135, 4-5, S. 322-327 6 S.

  Publikation: Beitrag in Zeitung/Magazin › Artikel › Begutachtung

  Open Access

• Security testing for chatbots

  Bozic, J. & Wotawa, F., 1 Jan. 2018, Testing Software and Systems - 30th IFIP WG 6.1 International Conference, ICTSS 2018, Proceedings. Springer Verlag Heidelberg, S. 33-38 6 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 11146 LNCS).

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

  • Chatbot 100%
  • Mobile Web Application 12%

• Software configuration diagnosis? A Survey of existing methods and open challenges

  Wotawa, F., Friedrich, G. & Andrzejak, A., 2018.

  Publikation: Konferenzbeitrag › Paper › Begutachtung

• Spectrum-Based Fault Localization for Logic-Based Reasoning

  Pill, I. & Wotawa, F., 16 Nov. 2018, Proceedings - 29th IEEE International Symposium on Software Reliability Engineering Workshops, ISSREW 2018. IEEE, S. 192-199 8 S. 8539195

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

  • Description Logics 100%
  • Automated Process 100%
  • Debugging Purpose 100%
  • Reasoning Process 100%

• Testing TLS using planning-based combinatorial methods and execution framework

  Simos, D. E., Bozic, J., Garn, B., Leithner, M., Duan, F., Kleine, K., Lei, Y. & Wotawa, F., 1 Juni 2018, (Elektronische Veröffentlichung vor Drucklegung.) in: Software Quality Journal. S. 1-27 27 S.

  Publikation: Beitrag in einer Fachzeitschrift › Artikel › Begutachtung

  • Unknown Attack 100%
  • Parameter Model 100%

• Using LNT Formal Descriptions for Model-Based Diagnosis

  Wotawa, F., Hofer, B. G., Mateescu, R. & Serwe, W., 2018.

  Publikation: Konferenzbeitrag › Paper › Begutachtung

• Wind Turbine Fault Localization: A Practical Application of Model-Based Diagnosis

  Koitz, R., Wotawa, F., Lüftenegger, J., Gray, C. S. & Langmayr, F., 2018, Diagnosability, Security and Safety of Hybrid Dynamic and Cyber-Physical Systems. Sayed-Mouchaweh, M. (Hrsg.). Cham: Springer International Publishing AG , S. 17-43 27 S.

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in Buch/Bericht › Begutachtung
• 2017

  A decomposition-based approach to spreadsheet testing and debugging

  Schmitz, T., Jannach, D., Hofer, B., Koch, P. W., Schekotihin, K. & Wotawa, F., 2017, IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC). IEEE Computer Society, S. 117-121 5 S.

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

• AI for Localizing Faults in Spreadsheets

  Hofer, B., Nica, I. & Wotawa, F., 2017, 29th International Conference on Testing Software and Systems (ICTSS). Springer, Band 10533. S. 71-87 17 S. (Lecture Notes in Computer Science).

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

• A “strength of decision tree equivalence”-taxonomy and its impact on test suite reduction

  Felbinger, H., Pill, I. & Wotawa, F., 2017, Testing Software and Systems - 29th IFIP WG 6.1 International Conference, ICTSS 2017, Proceedings. Springer Verlag, Band 10533 LNCS. S. 197-212 16 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 10533 LNCS).

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

  • Decision Tree 100%
  • Equivalence Relation 100%
  • Fault Detection 100%
  • Computation Time 50%

• Combining Models for Improved Fault Localization in Spreadsheets

  Hofer, B., Höfler, A. & Wotawa, F., 2017, in: IEEE Transactions on Reliability. 66, 1, S. 38-53 16 S.

  Publikation: Beitrag in einer Fachzeitschrift › Artikel › Begutachtung

  Open Access

  • Object Oriented Programming 100%
  • Supporting Technique 100%
  • End User Programming 100%

• Improving Spectrum-Based Fault Localization for Spreadsheet Debugging

  Getzner, E., Hofer, B. & Wotawa, F., 2017, IEEE International Conference on Software Quality, Reliability and Security (QRS). IEEE Publications, S. 102-113 12 S.

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

• Model-Based Diagnosis in Practice: Interaction Design of an Integrated Diagnosis Application for Industrial Wind Turbines

  Koitz, R., Lüftenegger, J. & Wotawa, F., 2017, Advances in Artificial Intelligence: From Theory to Practice: 30th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2017, Arras, France, June 27-30, 2017, Proceedings, Part I. Benferhat, S., Tabia, K. & Ali, M. (Hrsg.). Cham: Springer International Publishing AG , S. 440-445 6 S.

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in Buch/Bericht › Begutachtung

  • Interaction Design 100%
  • Maintenance Personnel 50%
  • Monitoring Software 50%
  • Iterative Design Process 50%
  • Acceptance Factor 50%

• Mutation Score, Coverage, Model Inference: Quality Assessment for T-Way Combinatorial Test-Suites

  Felbinger, H., Wotawa, F. & Nica, M., 13 Apr. 2017, Proceedings - 10th IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2017. IEEE, S. 171-180 10 S. 7899053

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

  • Quality Assessment 100%

• On the automation of security testing

  Wotawa, F., 21 Feb. 2017, Proceedings - 2016 International Conference on Software Security and Assurance, ICSSA 2016. IEEE, S. 11-16 6 S. 7861644. (Proceedings - 2016 International Conference on Software Security and Assurance, ICSSA 2016).

  Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

  • Research Direction 100%
  • Artificial Intelligence 100%
  • Quality Management 100%
  • Static Program Analysis 100%
  • Security Requirements 100%