Find Research Outputs

Search concepts
Selected filters

Publication Year

  • 2020
  • 2019
  • 2018
  • 2017
  • 2016

Author

  • Franz Wotawa
2018

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. (ed.). Cham: Springer International Publishing AG , p. 17-43 27 p.

Research output: Chapter in Book/Report/Conference proceedingChapterResearchpeer-review

On the superiority of conflict-driven search in MUs enumeration

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

Research output: Contribution to journalConference articleResearchpeer-review

2016

Message from the QRS 2016 General Chair

Wotawa, F., 12 Oct 2016, Proceedings of the IEEE International Conference on Quality, Reliability, and Security. Institute of Electrical and Electronics Engineers, p. xiii 1 p.

Research output: Chapter in Book/Report/Conference proceedingForeword/postscriptResearch

2018

Evolutionary propositionalization of multi-relational data

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

Research output: Contribution to conferencePaperResearchpeer-review

2017

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, p. 102-113 12 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

2018

Fault detection and localization using modelica and abductive reasoning

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

Research output: Chapter in Book/Report/Conference proceedingChapterResearchpeer-review

2016

An Automated (F) LTL Test Oracle for Testing with Requirements

Pill, I. & Wotawa, F., 2016, 2016 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW. Institute of Electrical and Electronics Engineers, p. 197-204 8 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Testing Self-Adaptive Systems Using Fault Injection and Combinatorial Testing

Wotawa, F., 21 Sep 2016, Proceedings - 2016 IEEE International Conference on Software Quality, Reliability and Security-Companion, QRS-C 2016. Institute of Electrical and Electronics Engineers, p. 305-310 6 p. 7573762

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

2018

Applying algorithm selection to abductive diagnostic reasoning

Koitz-Hristov, R. & Wotawa, F., 1 May 2018, In : Applied Intelligence. p. 1–19 19 p.

Research output: Contribution to journalArticleResearchpeer-review

2017

Qualitative Deviation Models for Spreadsheet Debugging

Hofer, B., Nica, I. & Wotawa, F., 2017, 8th IEEE International Workshop on Program Debugging (IWPD) - ISSRE Workshops. IEEE Computer Society, p. 191-198 8 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Open Access
2018

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, p. 33-38 6 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11146 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

A formal TLS handshake model in LNT

Bozic, J., Marsso, L., Mateescu, R. & Wotawa, F., 23 Mar 2018, In : Electronic Proceedings in Theoretical Computer Science, EPTCS. 268, p. 1-40 40 p.

Research output: Contribution to journalConference articleResearchpeer-review

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

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

Research output: Contribution to conferencePaperResearchpeer-review

2016

Preface

Friedrich, G., Helmert, M. & Wotawa, F., 2016, Proceedings of the 28th International Conference on Testing Software and Systems. Springer, Vol. 9904 LNAI. p. V-VI

Research output: Chapter in Book/Report/Conference proceedingForeword/postscriptResearchpeer-review

2019

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. (eds.). Springer Verlag, p. 791-798 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11606 LNAI).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Diagnosing Sequential Circuits as Boolean Satisfaction

Feldman, A., Pill, I., Wotawa, F., Matei, I. & de Kleer, J., 2019. 8 p.

Research output: Contribution to conferencePaperResearchpeer-review

Metric-based Fault Prediction for Spreadsheets

Koch, P., Schekotihin, K., Jannach, D., Hofer, B. G. & Wotawa, F., 2019, In : IEEE Transactions on Software Engineering.

Research output: Contribution to journalArticleResearchpeer-review

2020

Faster horn diagnosis - a performance comparison of abductive reasoning algorithms

Koitz-Hristov, R. & Wotawa, F., 2020, In : Applied Intelligence. 15 p.

Research output: Contribution to journalArticleResearchpeer-review

Open Access

Extending Automated FLTL Test Oracles With Diagnostic Support

Pill, I. & Wotawa, F., 2020, 2019 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW). Institute of Electrical and Electronics Engineers, p. 354-361 8 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

2017

Planning the Attack! Or How to use AI in Security Testing?

Bozic, J. & Wotawa, F., 2017, First International Workshop on AI in Security (IWAIse).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

2018

Combining spreadsheet smells for improved fault prediction

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

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

2019

A rule-based smart control for fail-operational systems

Engel, G., Schweiger, G., Wotawa, F. & Zimmermann, M., 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. (eds.). Springer-Verlag Italia, p. 137-145 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11606 LNAI).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

On the Refinement of Spreadsheet Smells by means of Structure Information

Koch, P., Hofer, B. G. & Wotawa, F., 2019, In : The Journal of Systems and Software . p. 64 - 85

Research output: Contribution to journalArticleResearchpeer-review

Fully automated compiler testing of a reasoning engine via mutated grammar fuzzing

Koroglu, Y. & Wotawa, F., 1 May 2019, Proceedings - 2019 IEEE/ACM 14th International Workshop on Automation of Software Test, AST 2019. Institute of Electrical and Electronics Engineers, p. 28-34 7 p. 8822051. (Proceedings - 2019 IEEE/ACM 14th International Workshop on Automation of Software Test, AST 2019).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

2016

Empirical Study of Correlation Between Mutation Score and Model Inference Based Test Suite Adequacy Assessment

Felbinger, H., Wotawa, F. & Nica, M., 2016. 7 p.

Research output: Contribution to conferencePaperResearchpeer-review

2019

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. Institute of Electrical and Electronics Engineers, p. 234-240 7 p. 8728928. (Proceedings - 2019 IEEE 12th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2019).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Investigating the Effectiveness of Mutation Testing Tools in the Context of Deep Neural Networks

Chetouane, N., Klampfl, L. & Wotawa, F., 16 May 2019, Advances in Computational Intelligence - 15th International Work-Conference on Artificial Neural Networks, IWANN 2019, Proceedings. Joya, G., Catala, A. & Rojas, I. (eds.). Springer, Cham, p. 766-777 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11506 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

2018

From Ontologies to Input Models for Combinatorial Testing

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

Research output: Contribution to conferencePaperResearchpeer-review

2017

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. (eds.). Cham: Springer International Publishing AG , p. 440-445 6 p.

Research output: Chapter in Book/Report/Conference proceedingChapterResearchpeer-review

2020

Comparing two systematic approaches for testing automated driving functions

Felbinger, H., Klück, F. S., Li, Y., Nica, M., Tao, J., Wotawa, F. & Zimmermann, M. J., 2020, 2019 IEEE International Conference on Connected Vehicles and Expo (ICCVE). IEEE Publications, 6 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

2018

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. Institute of Electrical and Electronics Engineers, p. 192-199 8 p. 8539195

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

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

Wotawa, F., 2018.

Research output: Contribution to conferencePaperResearchpeer-review

2017

Planning-Based Security Testing of the SSL/TLS Protocol

Bozic, J., Kleine, K., Simos, D. E. & Wotawa, F., 2017, IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

2018

Diagnosis as a service

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

Research output: Chapter in Book/Report/Conference proceedingChapterResearchpeer-review

2016

On Structural Properties to Improve FMEA-Based Abductive Diagnosis

Koitz, R. & Wotawa, F., 10 Jul 2016, Proceedings of the Workshop on Knowledge-based Techniques for Problem Solving and Reasoning. New York City, USA: CEUR WS Proceedings, Vol. Vol-1648. 7 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

2017

Testing Autonomous and Highly Configurable Systems: Challenges and Feasible Solutions

Wotawa, F., 2017, Automated Driving. Horn, M. & Watzenig, D. (eds.). Springer, p. 519-532

Research output: Chapter in Book/Report/Conference proceedingChapterResearchpeer-review

2018

Using LNT Formal Descriptions for Model-Based Diagnosis

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

Research output: Contribution to conferencePaperResearchpeer-review

On the automation of testing a logic-based diagnosis system

Wotawa, F., 2018.

Research output: Contribution to conferencePaperResearchpeer-review

2019

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

Wotawa, F., 2019, In : CEUR Workshop Proceedings. 2419

Research output: Contribution to journalConference articleResearchpeer-review

2018
2016

Using modelica programs for deriving propositional horn clause abduction problems

Peischl, B., Pill, I. & Wotawa, F., 2016, Advances in Artificial Intelligence - 39th Annual German Conference on AI, KI 2016, Proceedings. Springer-Verlag Italia, Vol. 9904 LNAI. p. 185-191 7 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9904 LNAI).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

2019

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

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

Research output: Contribution to journalArticleResearchpeer-review

An Approach to Automatically Extract Predictive Properties from Nominal Attributes in Relational Databases

Kassarnig, V. & Wotawa, F., 22 Jan 2019, Proceedings - 2018 IEEE International Conference on Big Data, Big Data 2018. Song, Y., Liu, B., Lee, K., Abe, N., Pu, C., Qiao, M., Ahmed, N., Kossmann, D., Saltz, J., Tang, J., He, J., Liu, H. & Hu, X. (eds.). Institute of Electrical and Electronics Engineers, p. 4932-4939 8 p. 8622359. (Proceedings - 2018 IEEE International Conference on Big Data, Big Data 2018).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

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, p. 63066 - 63080

Research output: Contribution to journalArticleResearchpeer-review

2017

Combining Models for Improved Fault Localization in Spreadsheets

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

Research output: Contribution to journalArticleResearchpeer-review

2018

Chatbot-based tourist recommendations using model-based reasoning

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

Research output: Contribution to conferencePaperResearchpeer-review

2017

AI for Localizing Faults in Spreadsheets

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

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

2018

Planning-based security testing of web applications

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

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

2016

Testing computer vision applications an experience report on introducing code coverage analysis in the field

Nica, I., Wotawa, F., Jakob, G. & Juhart, K., 2016, p. 15-21. 7 p.

Research output: Contribution to conferencePaperResearchpeer-review