Veröffentlichungen suchen

Konzepte suchen
Ausgewählte Filter

Erscheinungsjahr

  • 2020
  • 2019
  • 2018
  • 2017
  • 2016

Autor

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

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in Buch/BerichtForschungBegutachtung

On the superiority of conflict-driven search in MUs enumeration

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

Publikation: Beitrag in einer FachzeitschriftKonferenzartikelForschungBegutachtung

2016

Message from the QRS 2016 General Chair

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

Publikation: Beitrag in Buch/Bericht/KonferenzbandVorwort/NachwortForschung

2018

Evolutionary propositionalization of multi-relational data

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

Publikation: KonferenzbeitragPaperForschungBegutachtung

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

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

2018

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, S. 519-525 7 S. 8432021

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

Fault detection and localization using modelica and abductive reasoning

Pill, I. & Wotawa, F., 8 Mär 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/KonferenzbandBeitrag in Buch/BerichtForschungBegutachtung

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, S. 197-204 8 S.

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

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, S. 305-310 6 S. 7573762

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

2018

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 FachzeitschriftArtikelForschungBegutachtung

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, S. 192-199 8 S. 8539195

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

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, S. 191-198 8 S.

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

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, 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/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

A formal TLS handshake model in LNT

Bozic, J., Marsso, L., Mateescu, R. & Wotawa, F., 23 Mär 2018, in : Electronic Proceedings in Theoretical Computer Science, EPTCS. 268, S. 1-40 40 S.

Publikation: Beitrag in einer FachzeitschriftKonferenzartikelForschungBegutachtung

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

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

Publikation: KonferenzbeitragPaperForschungBegutachtung

2016

Preface

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

Publikation: Beitrag in Buch/Bericht/KonferenzbandVorwort/NachwortForschungBegutachtung

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. (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/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

Diagnosing Sequential Circuits as Boolean Satisfaction

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

Publikation: KonferenzbeitragPaperForschungBegutachtung

Metric-based Fault Prediction for Spreadsheets

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

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

2020

Faster horn diagnosis - a performance comparison of abductive reasoning algorithms

Koitz-Hristov, R. & Wotawa, F., 2020, in : Applied Intelligence. 15 S.

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

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, S. 354-361 8 S.

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

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).

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

2018

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, 1998, S. 25-28 4 S.

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

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. (Hrsg.). Springer-Verlag Italia, S. 137-145 9 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/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

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 . S. 64 - 85

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

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

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

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

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 S.

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

2016

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

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

Publikation: KonferenzbeitragPaperForschungBegutachtung

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, 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/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

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

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

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

2016

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, S. 707-740 34 S., 7390282.

Publikation: Beitrag in einer FachzeitschriftReview eines Fachbereichs (Review article)ForschungBegutachtung

2019

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). Institute of Electrical and Electronics Engineers

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

Software Testing: According to Plan!

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

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

2018

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/KonferenzbandBeitrag in Buch/BerichtForschungBegutachtung

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, Band Vol-1648. 7 S.

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

2017

Testing Autonomous and Highly Configurable Systems: Challenges and Feasible Solutions

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

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in Buch/BerichtForschungBegutachtung

2018

Using LNT Formal Descriptions for Model-Based Diagnosis

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

Publikation: KonferenzbeitragPaperForschungBegutachtung

On the automation of testing a logic-based diagnosis system

Wotawa, F., 2018.

Publikation: KonferenzbeitragPaperForschungBegutachtung

2019

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

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

Publikation: Beitrag in einer FachzeitschriftKonferenzartikelForschungBegutachtung

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, Band 9904 LNAI. S. 185-191 7 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 9904 LNAI).

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

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. S. 241 - 259

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

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. (Hrsg.). Institute of Electrical and Electronics Engineers, S. 4932-4939 8 S. 8622359. (Proceedings - 2018 IEEE International Conference on Big Data, Big Data 2018).

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

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 FachzeitschriftArtikelForschungBegutachtung

2017

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 FachzeitschriftArtikelForschungBegutachtung

2018

Chatbot-based tourist recommendations using model-based reasoning

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

Publikation: KonferenzbeitragPaperForschungBegutachtung

2017

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/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

2018

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, 1998, S. 20-26 7 S.

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung