Veröffentlichungen suchen

In allen Inhalten suchen

Filters für Veröffentlichungen

Konzepte suchen
Ausgewählte Filter

Erscheinungsjahr

  • 2020
  • 2019
  • 2018
  • 2017
  • 2016

Autor

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

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

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 Konferenzband

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)

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, Band 9762. S. 76-93 18 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 9762).

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

Exploiting Structural Metrics in FMEA-Based Abductive Diagnosis.

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

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

FireSlime Algorithm: Bio-Inspired Emergent Gradient Taxis

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

Publikation: KonferenzbeitragPaper

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 Aufl. Band Lecture Notes in Computer Science. S. 372-387 16 S.

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

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

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

Publikation: KonferenzbeitragPaper

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

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

Open Access

Integration of Failure Assessments into the Diagnostic Process

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

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

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

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 Konferenzband

On the use of qualitative deviation models for diagnosis

Wotawa, F., 2016.

Publikation: KonferenzbeitragPaper

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

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, S. 168-173 6 S. 7528959

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

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). S. 167-174 8 S.

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

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

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

Publikation: KonferenzbeitragPaper

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 Konferenzband

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, S. 23-30 8 S. 7573720

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

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 Konferenzband

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

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 Konferenzband

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

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 FachzeitschriftArtikel

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 Konferenzband

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

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, S. 171-180 10 S. 7899053

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

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

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

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 Konferenzband

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 Konferenzband

Open Access

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

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

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

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, S. 352-355 4 S.

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

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 Konferenzband

A formal TLS handshake model in LNT

Bozic, J., Marsso, L., Mateescu, R. & Wotawa, F., 23 Mär 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/KonferenzbandBeitrag in einem Konferenzband

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 FachzeitschriftArtikel

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

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

Publikation: Beitrag in einer FachzeitschriftArtikel

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 Konferenzband

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

Evolutionary propositionalization of multi-relational data

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

Publikation: KonferenzbeitragPaper

Evolutionary Propositionalization of Multi- Relational Data

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

Publikation: Beitrag in einer FachzeitschriftArtikel

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

Fragment-based spreadsheet debugging

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

Publikation: Beitrag in einer FachzeitschriftArtikel

From Ontologies to Input Models for Combinatorial Testing

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

Publikation: KonferenzbeitragPaper

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

Open Access

On the automation of testing a logic-based diagnosis system

Wotawa, F., 2018.

Publikation: KonferenzbeitragPaper