Birgit Hofer

J. Syst. Softw., 2025

Choosing abstraction levels for model-based software debugging: A theoretical and empirical analysis for spreadsheet programs.

[BibT_eX]

[DOI]

Artif. Intell., 2025

2024

Detecting Soft Faults in Heat Pumps (Short Paper).

[BibT_eX]

[DOI]

Proceedings of the 35th International Conference on Principles of Diagnosis and Resilient Systems, 2024

2023

Explaining software fault predictions to spreadsheet users.

[BibT_eX]

[DOI]

J. Syst. Softw., July, 2023

The MAP Metric in Information Retrieval Fault Localization.

[BibT_eX]

[DOI]

Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023

2022

Spreadsheet debugging: The perils of tool over-reliance.

[BibT_eX]

[DOI]

J. Syst. Softw., 2022

A systematic literature review on benchmarks for evaluating debugging approaches.

[BibT_eX]

[DOI]

J. Syst. Softw., 2022

Detecting non-natural language artifacts for de-noising bug reports.

[BibT_eX]

[DOI]

Autom. Softw. Eng., 2022

Using textual bug reports to predict the fault category of software bugs.

[BibT_eX]

[DOI]

Array, 2022

Pruning Boolean Expressions to Shorten Dynamic Slices.

[BibT_eX]

[DOI]

Proceedings of the 22nd IEEE International Working Conference on Source Code Analysis and Manipulation, 2022

Boosting Spectrum-Based Fault Localization for Spreadsheets with Product Metrics in a Learning Approach.

[BibT_eX]

[DOI]

Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022

2021

Metric-Based Fault Prediction for Spreadsheets.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2021

Product metrics for spreadsheets - A systematic review.

[BibT_eX]

[DOI]

J. Syst. Softw., 2021

What we can learn from how programmers debug their code.

[BibT_eX]

[DOI]

Proceedings of the 8th IEEE/ACM International Workshop on Software Engineering Research and Industrial Practice, 2021

Identifying non-natural language artifacts in bug reports.

[BibT_eX]

[DOI]

Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering, 2021

2020

Root cause prediction based on bug reports.

[BibT_eX]

[DOI]

Proceedings of the 2020 IEEE International Symposium on Software Reliability Engineering Workshops, 2020

2019

On the refinement of spreadsheet smells by means of structure information.

[BibT_eX]

[DOI]

J. Syst. Softw., 2019

Fragment-based spreadsheet debugging.

[BibT_eX]

[DOI]

Thomas Schmitz

Autom. Softw. Eng., 2019

2018

Proceedings of the 5th International Workshop on Software Engineering Methods in Spreadsheets (SEMS'18).

[BibT_eX]

[DOI]

Jorge Mendes

CoRR, 2018

Combining Spreadsheet Smells for Improved Fault Prediction.

[BibT_eX]

[DOI]

CoRR, 2018

Using LNT Formal Descriptions for Model-Based Diagnosis.

[BibT_eX]

[DOI]

Proceedings of the 29th International Workshop on Principles of Diagnosis co-located with 10th IFAC Symposium on Fault Detection, 2018

Combining spreadsheet smells for improved fault prediction.

[BibT_eX]

[DOI]

Proceedings of the 40th International Conference on Software Engineering: New Ideas and Emerging Results, 2018

2017

Combining Models for Improved Fault Localization in Spreadsheets.

[BibT_eX]

[DOI]

Andrea Hofler

IEEE Trans. Reliab., 2017

A decomposition-based approach to spreadsheet testing and debugging.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE Symposium on Visual Languages and Human-Centric Computing, 2017

Improving Spectrum-Based Fault Localization for Spreadsheet Debugging.

[BibT_eX]

[DOI]

Elisabeth Getzner

Proceedings of the 2017 IEEE International Conference on Software Quality, 2017

AI for Localizing Faults in Spreadsheets.

[BibT_eX]

[DOI]

Iulia Nica

Proceedings of the Testing Software and Systems, 2017

Qualitative Deviation Models for Spreadsheet Debugging.

[BibT_eX]

[DOI]

Iulia Nica

Proceedings of the 2017 IEEE International Symposium on Software Reliability Engineering Workshops, 2017

Removing Coincidental Correctness in Spectrum-Based Fault Localization for Circuit and Spreadsheet Debugging.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE International Symposium on Software Reliability Engineering Workshops, 2017

2016

Fragment-Based Diagnosis of Spreadsheets.

[BibT_eX]

[DOI]

Proceedings of the Software Technologies: Applications and Foundations, 2016

Static Spreadsheet Analysis.

[BibT_eX]

[DOI]

Proceedings of the 2016 IEEE International Symposium on Software Reliability Engineering Workshops, 2016

2015

Using constraints to diagnose faulty spreadsheets.

[BibT_eX]

[DOI]

Softw. Qual. J., 2015

On the empirical evaluation of similarity coefficients for spreadsheets fault localization.

[BibT_eX]

[DOI]

Autom. Softw. Eng., 2015

Fault Localization in the Light of Faulty User Input.

[BibT_eX]

[DOI]

Proceedings of the 2015 IEEE International Conference on Software Quality, 2015

Testing for Distinguishing Repair Candidates in Spreadsheets - the Mussco Approach.

[BibT_eX]

[DOI]

Proceedings of the Testing Software and Systems, 2015

Conditional slicing: Reducing dynamic slices.

[BibT_eX]

[DOI]

Georg Hinteregger

Proceedings of the 2015 IEEE International Symposium on Software Reliability Engineering Workshops, 2015

Focused Diagnosis for Failing Software Tests.

[BibT_eX]

[DOI]

Proceedings of the Current Approaches in Applied Artificial Intelligence, 2015

2014

Avoiding, finding and fixing spreadsheet errors - A survey of automated approaches for spreadsheet QA.

[BibT_eX]

[DOI]

J. Syst. Softw., 2014

Why Does my Spreadsheet Compute Wrong Values?

[BibT_eX]

[DOI]

Proceedings of the 25th IEEE International Symposium on Software Reliability Engineering, 2014

Spectrum-Based Fault Localization for Spreadsheets: Influence of Correct Output Cells on the Fault Localization Quality.

[BibT_eX]

[DOI]

Proceedings of the 25th IEEE International Symposium on Software Reliability Engineering Workshops, 2014

Comparing Models for Spreadsheet Fault Localization.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014

Generation of Relevant Spreadsheet Repair Candidates.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014

2013

The Right Choice Matters! SMT Solving Substantially Improves Model-Based Debugging of Spreadsheets.

[BibT_eX]

[DOI]

Proceedings of the 2013 13th International Conference on Quality Software, 2013

Mutation-based spreadsheet debugging.

[BibT_eX]

[DOI]

Proceedings of the IEEE 24th International Symposium on Software Reliability Engineering, 2013

On the Empirical Evaluation of Fault Localization Techniques for Spreadsheets.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2013

2012

AI for the win: improving spectrum-based fault localization.

[BibT_eX]

[DOI]

Rui Abreu

ACM SIGSOFT Softw. Eng. Notes, 2012

Combining Slicing and Constraint Solving for Better Debugging: The CONBAS Approach.

[BibT_eX]

[DOI]

Adv. Softw. Eng., 2012

Reducing the Size of Dynamic Slicing with Constraint Solving.

[BibT_eX]

[DOI]

Proceedings of the 2012 12th International Conference on Quality Software, 2012

Spectrum Enhanced Dynamic Slicing for better Fault Localization.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2012, 2012

2009

GUI Savvy End-to-End Testing with Smart Monkeys.

[BibT_eX]

[DOI]

Bernhard Peischl