Find Research Outputs

Search concepts
Selected filters

Publication Year

  • 2020
  • 2019
  • 2018
  • 2017
  • 2016
  • 2015
  • 2014
  • 2013
  • 2012
  • 2011

Author

  • Franz Wotawa
2012

Model Based Test Case Generation for Distributed Embedded Systems

Chimisliu, V. C. & Wotawa, F., 2012, International Conference on Industrial Technology. ., p. p-p

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

2014

Comparing Models for Spreadsheet Fault Localization

Hofer, B. G. & Wotawa, F., 2014.

Research output: Contribution to conferencePosterResearch

2015

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

2017

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

2012

Reducing the size of dynamic slicing with constraint solving

Hofer, B. G. & Wotawa, F., 2012, 2012 12th International Conference on Quality Software, Xi'an, Shaanxi, China, August 27-29, 2012. Tang, A. (ed.). Institute of Electrical and Electronics Engineers, p. 41-48 (QSIC).

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

2015

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

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

Research output: Chapter in Book/Report/Conference proceedingChapterResearchpeer-review

2012

Spectrum Enhanced Dynamic Slicing for better Fault Localization

Hofer, B. G. & Wotawa, F., 2012, ECAI 2012 - 20th European Conference on Artificial Intelligence.. Raedt, L. D. (ed.). IOS Press, Vol. 242. p. 420-425 (ECAI).

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

2014

Why does my spreadsheet compute wrong values?

Hofer, B. G. & Wotawa, F., 2014, International Symposium on Software Reliability Engineering. ., p. 112-121

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

2018

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

2014

Generation of Relevant Spreadsheet Repair Candidates

Hofer, B. G., Wotawa, F., Abreu, R. & Perez, A., 2014.

Research output: Contribution to conferencePosterResearch

2016

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

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

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

2015

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

2011

An Abstract Operational Framework for Dependence Models in Software Debugging

Peischl, B. & Wotawa, F., 2011, (Accepted/In press) Proceedings of the ICST Workshop on Testing and Debugging (TeBug). Institute of Electrical and Electronics Engineers

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

2013

Mutation-based spreadsheet debugging

Hofer, B. G. & Wotawa, F., 2013, Software Reliability Engineering Workshops (ISSREW), 2013 IEEE International Symposium on. ., p. 132-137

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

2018

Evolutionary propositionalization of multi-relational data

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

Research output: Contribution to conferencePaperResearchpeer-review

2012

Category Partition Method and Satisfiability Modulo Theories for Test Case Generation

Chimisliu, V. C. & Wotawa, F., 2012, (Accepted/In press) Proc. of the International Workshop on Automation of Software Test. .

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

Constraint-based Debugging of Spreadsheets

Abreu, R., Riboira, A. & Wotawa, F., 2012, (Accepted/In press) Proceedings of the 15th Ibero-American Conference on Software Engineering. .

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

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

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

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

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-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

2019

Diagnosing Sequential Circuits as Boolean Satisfaction

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

Research output: Contribution to conferencePaperResearchpeer-review

2018

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

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

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

2019

Extending Automated FLTL Test Oracles With Diagnostic Support

Pill, I. & Wotawa, F., 2019, (Accepted/In press) 2019 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW). p. 354-361 8 p.

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

2016

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

2015

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

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

2018

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

2012

Automated Debugging of Verilog Designs

Peischl, B., Riaz, N. & Wotawa, F., 2012, In : International journal of software engineering and knowledge engineering. 22, 5, p. 695-723

Research output: Contribution to journalArticleResearchpeer-review

2015

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

2018

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

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

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

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

Open Access
2012

ConDiag - Computing minimal diagnoses using a constraint solver

Nica, I-D. & Wotawa, F., 2012.

Research output: Contribution to conferencePosterResearch

2011

Diagnosis-based reconfiguration using the MINION constraint solver

Nica, I-D. & Wotawa, F., 2011.

Research output: Contribution to conferencePosterResearch

2015

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

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

A formal TLS handshake model in LNT

Bozic, J., Marsso, L., Mateescu, R. & Wotawa, F., 23 Mar 2018, In : Electronic Proceedings in Theoretical Computer Science, EPTCS. 268, p. 1-40 40 p.

Research output: Contribution to journalConference articleResearchpeer-review

2014

Retaining Consistency for Knowledge-based Security Testing

Bernauer, A., Bozic, J., Simos, D., Winkler, S. & Wotawa, F., 2014, International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems. ., p. 88-97

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

2018

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

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

Research output: Contribution to conferencePaperResearchpeer-review

2019

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 journalLetterResearch

2016

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

2018

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

2014

An Abductive Diagnosis and Modeling Concept for Wind Power Plants

Gray, C. S., Koitz, R., Psutka, S. & Wotawa, F., 2014, International Workshop on Principles of Diagnosis. ., p. 404-409 6 p.

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

Open Access
2012

Using Constraints for Equivalent Mutant Detection

Nica, S. A. & Wotawa, F., 2012, (Accepted/In press) Workshop on Formal Methods in the Development of Software. .

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

Model-based simulation and configuration of mobile phone networks – The SIMOA Approach

Nica, I-D., Wotawa, F., Ochenbauer, R., Schober, C., Hofbauer, H. & Boltek, S., 2012, Proc. of the ECAI 2012 Workshop on Artificial Intelligence for Telecommunications & Sensor Networks. ., p. 12-17

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

2013

"Trust, But Verify"

Wotawa, F., 2013, Ausgewählte Beiträge zur Anwenderkonferenz für Softwarequalität Test und Innovation. Wien: Österreichische Computer Gesellschaft, p. 38-47

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