Find Research Outputs

Search in all content

Filters for Research Outputs

Search concepts
Selected filters

Publication Year

  • 2020
  • 2019
  • 2018
  • 2017

Author

  • Franz Wotawa
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, p. 117-121 5 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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 contribution

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, Vol. 10533 LNCS. p. 197-212 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10533 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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 journalArticle

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 contribution

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 proceedingChapter

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. Institute of Electrical and Electronics Engineers, p. 171-180 10 p. 7899053

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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 contribution

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 contribution

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 contribution

Open Access

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 proceedingChapter

Testing TLS Using Combinatorial Methods and Execution Framework

Simos, D. E., Bozic, J., Duan, F., Garn, B., Kleine, K., Lei, Y. & Wotawa, F., 2017, IFIP International Conference on Testing Software and Systems (ICTSS'17).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2018

Adapting unit tests by generating combinatorial test data

Felbinger, H., Wotawa, F. & Nica, M., 16 Jul 2018, Proceedings - 2018 IEEE 11th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2018. Institute of Electrical and Electronics Engineers, p. 352-355 4 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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. Institute of Electrical and Electronics Engineers, p. 519-525 7 p. 8432021

Research output: Chapter in Book/Report/Conference proceedingConference contribution

A formal TLS handshake model in LNT

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

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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 journalArticle

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

Pill, I. & Wotawa, F., 2018, In : The Journal of Systems and Software . 139, p. 124-141

Research output: Contribution to journalArticle

Chatbot-based tourist recommendations using model-based reasoning

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

Research output: Contribution to conferencePaper

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 contribution

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 proceedingChapter

Evolutionary propositionalization of multi-relational data

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

Research output: Contribution to conferencePaper

Evolutionary Propositionalization of Multi- Relational Data

Wotawa, F. & Kassarnig, V., 2018, In : International journal of software engineering and knowledge engineering. p. 1739–1754

Research output: Contribution to journalArticle

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 proceedingChapter

Fragment-based spreadsheet debugging

Jannach, D., Schmitz, T., Hofer, B., Schekotihin, K., Koch, P. & Wotawa, F., 22 Dec 2018, In : Automated Software Engineering.

Research output: Contribution to journalArticle

From Ontologies to Input Models for Combinatorial Testing

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

Research output: Contribution to conferencePaper

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, p. 248-263 16 p. (Kalpa Publications in Computing; vol. 4).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access

On the automation of testing a logic-based diagnosis system

Wotawa, F., 2018.

Research output: Contribution to conferencePaper

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 article

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 contribution

Quality assurance methodologies for automated driving

Klück, F. S., Wotawa, F., Peischl, B. & Nica, M., 10 Jul 2018, e&i - Elektrotechnik und Informationstechnik, 135, 4-5, p. 322-327 6 p.

Research output: Contribution to specialist publicationArticle

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, 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 contribution

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

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

Research output: Contribution to conferencePaper

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 contribution

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 Jun 2018, In : Software Quality Journal. p. 1-27 27 p.

Research output: Contribution to journalArticle

Using LNT Formal Descriptions for Model-Based Diagnosis

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

Research output: Contribution to conferencePaper

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 proceedingChapter

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 contribution

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 contribution

Chatbot testing using AI planning

Bozic, J., Tazl, O. A. & Wotawa, F., 17 May 2019, Proceedings - 2019 IEEE International Conference on Artificial Intelligence Testing, AITest 2019. Institute of Electrical and Electronics Engineers, p. 37-44 8 p. 8718222

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Collective Event Detection Using Bio-inspired Minimalistic Communication in a Swarm of Unterwater Robots

Wotawa, F., Varughese, J. C., Hornischer, H. & Thenius, R., 2019.

Research output: Contribution to conferencePaper

Conversational recommendations using model-based reasoning

Tazl, O. A., Perko, A. & Wotawa, F., 1 Jan 2019, In : CEUR Workshop Proceedings. 2467, p. 13-19 7 p.

Research output: Contribution to journalConference article

Current Approaches in Applied Artificial Intelligence: The 2019 IEA/AIE Conference The IEA/AIE 2019 Conference

Wotawa, F., Friedrich, G., Pill, I., Koitz-Hristov, R. & Ali, M., 20 Dec 2019, In : AI Magazine. 2019, 40(4), p. 85-87

Research output: Contribution to journalLetter

Diagnosing Sequential Circuits as Boolean Satisfaction

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

Research output: Contribution to conferencePaper

Exploiting Observations from Combinatorial Testing for Diagnostic Reasoning

Pill, I. & Wotawa, F., 2019. 8 p.

Research output: Contribution to conferencePaper

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 contribution

Genetic Algorithm-Based Test Parameter Optimization for ADAS System Testing

Kluck, F., Zimmermann, M., Wotawa, F. & Nica, M., 1 Jul 2019, Proceedings - 19th IEEE International Conference on Software Quality, Reliability and Security, QRS 2019. Institute of Electrical and Electronics Engineers, p. 418-425 8 p. 8854708. (Proceedings - 19th IEEE International Conference on Software Quality, Reliability and Security, QRS 2019).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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 contribution