Find Research Outputs

Search in all content

Filters for Research Outputs

Search concepts
Selected filters

Publication Year

  • 2020
  • 2019
  • 2017
  • 2016

Author

  • Franz Wotawa
2016

Abductive Diagnosis based on Modelica Models

Peischl, B. J., Pill, I. P. & Wotawa, F., 2016, 27th International Workshop on Principles of Diagnosis. 8 p.

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

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 contribution

A survey on software fault localization

Wong, W. E., Gao, R., Li, Y., Abreu, R. & Wotawa, F., 1 Aug 2016, In : IEEE Transactions on Software Engineering. 42, 8, p. 707-740 34 p., 7390282.

Research output: Contribution to journalReview article

Classifying test suite effectiveness via model inference and ROBBDs

Felbinger, H., Pill, I. & Wotawa, F., 2016, Tests and Proofs - 10th International Conference, TAP 2016 Held as Part of STAF 2016, Proceedings. Springer-Verlag Italia, Vol. 9762. p. 76-93 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9762).

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

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 conferencePaper

Exploiting Structural Metrics in FMEA-Based Abductive Diagnosis.

Koitz, R. & Wotawa, F., 2016, (In preparation) Proceedings of the 27th International Workshop on Principles of Diagnosis (DX). p. 1-7 7 p.

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

FireSlime Algorithm: Bio-Inspired Emergent Gradient Taxis

Varughese, J. C., Thenius, R., Wotawa, F. & Schmickl, T., 2016, p. 330. 8 p.

Research output: Contribution to conferencePaper

Fragment-Based Diagnosis of Spreadsheets

Schmitz, T., Hofer, B., Jannach, D. & Wotawa, F., 2016, Software Technologies: Applications and Foundations - STAF 2016 (Software Engineering Methods in Spreadsheets Workshop). 9946 ed. Vol. Lecture Notes in Computer Science. p. 372-387 16 p.

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

FST Algorithm: Can Tides Assist Bio-Inspired Gradient Taxis?

Varughese, J. C., Thenius, R., Wotawa, F. & Schmickl, T., 2016.

Research output: Contribution to conferencePaper

Improving Abductive Diagnosis Through Structural Features: A Meta-Approach

Koitz, R. & Wotawa, F., 13 Sep 2016, Proceedings of the International Workshop on Defeasible and Ampliative Reasoning (DARe-16). CEUR WS Proceedings, Vol. Vol-1626. 9 p.

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

Open Access

Integration of Failure Assessments into the Diagnostic Process

Koitz, R. & Wotawa, F., 2016, (In preparation) Proceedings of the Annual Conference of the Prognostics and Health Management Society 2016. p. 124-135 12 p.

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

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/postscript

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 contribution

On the use of qualitative deviation models for diagnosis

Wotawa, F., 2016.

Research output: Contribution to conferencePaper

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/postscript

SIMULTATE: A Toolset for Fault Injection and Mutation Testing of Simulink Models

Pill, I., Rubil, I., Wotawa, F. & Nica, M., 1 Aug 2016, Proceedings - 2016 IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2016. Institute of Electrical and Electronics Engineers, p. 168-173 6 p. 7528959

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

Static Spreadsheet Analysis

Koch, P. W., Hofer, B. & Wotawa, F., 2016, 2016 IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops: International Workshop on Program Debugging (IWPD). p. 167-174 8 p.

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

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 conferencePaper

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 contribution

Test-Suite Reduction Does Not Necessarily Require Executing the Program under Test

Felbinger, H., Wotawa, F. & Nica, M., 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. 23-30 8 p. 7573720

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

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 contribution

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

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

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 journalArticle

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 article

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 contribution

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 journalArticle