Find Research Outputs

Search concepts
Selected filters
2015

An Abductive Diagnosis and Modeling Concept for Wind Power Plants

Gray, C. S., Koitz, R., Psutka, S. & Wotawa, F., 2015, Proceedings of the 9th IFAC Symposium on Fault Detection, Supervision and Safety of Technical Processes. ., p. 1-6

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

Analysis Methods in the Development Process of Mechatronic Drivetrain Systems with Special Focus on Automotive Software

Ernst, M., Erlachner, S., Hirz, M., Fabian, J. & Wotawa, F., 2015, Volume II. ., p. 63-68

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

Analyzing the Reduction of Test Suite Redundancy

Pill, I. H., Jehan, S., Wotawa, F. & Nica, M., 2015, The 26th International Symposium on Software Reliability Engineering Workshops. ., p. 65-65

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

BPEL Integration Testing

Jehan, S., Pill, I. H. & Wotawa, F., 2015, (Accepted/In press) International Conference on Fundamental Approaches to Software Engineering. .

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

Diagnosis of Technical Systems

Koitz, R. & Wotawa, F., 2015, Proceedings of the International Joint Conference on Artificial Intelligence 2015. ., p. 4375-4376

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

Fault Localization in the Light of Faulty User Input

Hofer, B. G. & Wotawa, F., 2015, Proceedings of the IEEE International Conference on Software Quality, Reliability and Security (QRS'15). ., p. 282-291

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

Finding Explanations: an Empirical Evaluation of Abductive Diagnosis Algorithms

Koitz, R. & Wotawa, F., 2015, Proceedings of the DARe-15 International Workshop on Defeasible and Ampliative Reasoning. ., p. 1-7

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

Focussed Diagnosis for Failing Software Tests

Jehan, S., Pill, I. H., Hofer, B. G. & Wotawa, F., 2015, IEA/AIE 2015. ., p. 712-721

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

From Theory to Practice: Model-Based Diagnosis in Industrial Applications

Koitz, R. & Wotawa, F., 2015, Proceedings of the Annual Conference of the PHM Society (PHM). ., p. 197-205

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

On the computational feasibility of abductive diagnosis for practical applications

Koitz, R. & Wotawa, F., 1 Sep 2015, In : IFAC-PapersOnLine. 28, 21, p. 410-415 6 p.

Research output: Contribution to journalArticleResearchpeer-review

Polynomials
Costs

On the empirical evaluation of similarity coefficients for spreadsheets fault localization

Hofer, B. G., Wotawa, F., Abreu, R. & Perez, A., 2015, In : Automated Software Engineering. 22, 1, p. 47-74

Research output: Contribution to journalArticleResearchpeer-review

On the Feasibility of Abductive Diagnosis for Practical Application

Koitz, R. & Wotawa, F., 2015, Proceedings of the 9th IFAC Symposium on Fault Detection, Supervision and Safety of Technical Processes. ., p. 410-415 6 p.

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

Open Access

Parse Tree Structure in LTL Requirements Diagnosis

Pill, I. H., Quaritsch, T. & Wotawa, F., 2015, The 26th International Symposium on Software Reliability Engineering Workshops. ., p. 100-107

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

SAT-Based Abductive Diagnosis

Koitz, R. & Wotawa, F., 2015, Proceedings of the 26th International Workshop on Principles of Diagnosis (DX). ., p. 167-175

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

Testing Diagnostics Components Supervising Functional Safety Requirements

Nica, M., Pill, I. H. & Wotawa, F., 2015, Proceedings of the Annual Conference of the Prognostics and Health Management Society 2015. ., p. 150-157

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

Testing for Distinguishing Repair Candidates in Spreadsheets - the Mussco Approach

Hofer, B. G., Wotawa, F., Abreu, R. & Außerlechner, S., 2015, Testing Software and Systems - 27th International Conference, {ICTSS} 2015, Proceedings. Springer, Vol. 9447. p. 124-140 (Lecture Notes in Computer Science).

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

Test suite coverage measurement and reporting for testing an operating system without instrumentation

Felbinger, H., Sherrill, J., Bloom, G. & Wotawa, F., 2015, Proceedings of the 17th Real-Time Linux Workshop. ., p. 13-22

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

Test suite coverage measurement and reporting for testing an operating system without instrumentation

Felbinger, H., Sherrill, J., Bloom, G. & Wotawa, F., 22 Oct 2015.

Research output: Contribution to conference(Old data) Lecture or PresentationResearch

Using constraints to diagnose faulty spreadsheets

Hofer, B. G., Wotawa, F., Abreu, R. & Perez, A., 2015, In : Software quality journal. 23, 2, p. 297-322

Research output: Contribution to journalArticleResearchpeer-review

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 contributionResearchpeer-review

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

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 articleResearchpeer-review

Program debugging

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 contributionResearchpeer-review

Boolean functions
Binary decision diagrams
Learning systems
Boolean Functions
Specifications

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

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 contributionResearchpeer-review

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 conferencePaperResearchpeer-review

Fungi
Robots
Communication

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 contributionResearchpeer-review

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

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

Research output: Contribution to conferencePaperResearchpeer-review

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 contributionResearchpeer-review

Open Access
Structural properties
Computational complexity
Classifiers
Experiments

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 contributionResearchpeer-review

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

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

Structural properties

On the practical performance of minimal hitting set algorithms from a diagnostic perspective

Pill, I. H., Quaritsch, T. & Wotawa, F., 2016, In : International Journal of Prognostics and Health Management. 7, 2

Research output: Contribution to journalArticleResearchpeer-review

Program debugging
Data storage equipment
Planning

On the use of qualitative deviation models for diagnosis

Wotawa, F., 2016.

Research output: Contribution to conferencePaperResearchpeer-review

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

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 contributionResearchpeer-review

Testing
Security systems
Chemical activation
Availability
Industry

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 contributionResearchpeer-review

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

Computer vision
Testing
Quality assurance
Software engineering

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

Adaptive systems
Testing

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 contributionResearchpeer-review

Software testing
Fault detection
Redundancy

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

Modelica
Horn clause
Abduction
Fault
Deviation
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 contributionResearchpeer-review

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

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 contributionResearchpeer-review

Taxonomies
Decision trees
Taxonomy
Fault detection
Decision tree

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

Spreadsheets
Object oriented programming
Computer programming languages
Computational complexity

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

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

Wind turbines
Condition monitoring
Industrial applications
Personnel
Feedback

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 contributionResearchpeer-review

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

Planning
Testing
Insurance
Specifications
Defects