Why Does my Spreadsheet Compute Wrong Values?

No abstract is available for this paper.

• Publication year

  2014

• Venue

  IEEE International Symposium on Software Reliability Engineering

• Publication date

  2014-11-03

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1109/ISSRE.2014.23
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Model-based diagnosis of spreadsheet programs: a constraint-based debugging approach

  2016cited by this paper
• Using constraints to diagnose faulty spreadsheets

  2014influential reference
• Data clone detection and visualization in spreadsheets

  2013cited by this paper
• The Right Choice Matters! SMT Solving Substantially Improves Model-Based Debugging of Spreadsheets

  2013cited by this paper
• Automated debugging based on a constraint model of the program and a test case

  2012cited by this paper
• Measuring Spreadsheet Formula Understandability

  2012cited by this paper
• ConDiag - Computing minimal diagnoses using a constraint solver

  2012cited by this paper
• MDSheet: A framework for model-driven spreadsheet engineering

  2012cited by this paper
• Detecting and visualizing inter-worksheet smells in spreadsheets

  2011cited by this paper
• Detecting code smells in spreadsheet formulas

  2011cited by this paper
• Toward model-based debugging of spreadsheet programs

  2010cited by this paper
• Supporting professional spreadsheet users by generating leveled dataflow diagrams

  2010cited by this paper
• Constraint Processing

  2009cited by this paper
• Mutation Operators for Spreadsheets

  2009cited by this paper
• On the Complexity of Program Debugging Using Constraints for Modeling the Program's Syntax and Semantics

  2009cited by this paper
• Taming coincidental correctness: Coverage refinement with context patterns to improve fault localization

  2009cited by this paper
• Complexity Metrics for Spreadsheet Models

  2008cited by this paper
• Evaluating Models for Model-Based Debugging

  2008cited by this paper
• Program slicing

  2008cited by this paper
• On the Compilation of Programs into their Equivalent Constraint Representation

  2008cited by this paper
• Spreadsheet Debugging

  2008cited by this paper
• GoalDebug: A Spreadsheet Debugger for End Users

  2007cited by this paper
• UCheck: A spreadsheet type checker for end users

  2007cited by this paper
• Model-Based Debugging - State of the Art And Future Challenges

  2007cited by this paper
• AutoTest: A Tool for Automatic Test Case Generation in Spreadsheets

  2006cited by this paper
• Minion: A Fast Scalable Constraint Solver

  2006cited by this paper
• Automated source-level error localization in hardware designs

  2006cited by this paper
• Goal-directed debugging of spreadsheets

  2005cited by this paper
• Using objects of measurement to detect spreadsheet errors

  2005cited by this paper
• The EUSES spreadsheet corpus: a shared resource for supporting experimentation with spreadsheet dependability mechanisms

  2005cited by this paper
• End-user software engineering with assertions in the spreadsheet paradigm

  2003cited by this paper
• End-user software visualizations for fault localization

  2003cited by this paper
• On the relationship between model-based debugging and program slicing

  2002influential reference
• Automated test case generation for spreadsheets

  2002cited by this paper
• Can AI help to improve debugging substantially? Debugging Experiences with Value-Based Models

  2002cited by this paper
• Finding high-level structures in spreadsheet programs

  2002cited by this paper
• Quality Control in Spreadsheets: A Visual Approach using Color Codings to Reduce Errors in Formulae

  2001cited by this paper
• Locating Bugs in Java Programs - First Results of the Java Diagnosis Experiment Project

  2000cited by this paper
• WYSIWYT testing in the spreadsheet paradigm: an empirical evaluation

  2000cited by this paper
• Microsoft Corporation

  2000cited by this paper
• Model-Based Debugging of Java Programs

  2000cited by this paper
• Model-Based Diagnosis of Hardware Designs

  1999influential reference
• Debugging Functional Programs

  1999cited by this paper
• Logic programs for consistency-based diagnosis

  1994cited by this paper
• Model-Based Diagnosis Meets Error Diagnosis in Logic Programs (Extended Abstract)

  1993cited by this paper
• A Theory of Diagnosis from First Principles

  1986cited by this paper
• Algorithmic Program Debugging

  1983cited by this paper
• Programmers use slices when debugging

  1982cited by this paper
• Program Slicing

  1981cited by this paper

• Spreadsheet quality assurance: a literature review

  2024cites this paper
• Improving Feedback from Automated Reviews of Student Spreadsheets

  2023influential citation
• The application perspective of mutatoin testing

  2020cites this paper
• A systematic literature review of how mutation testing supports quality assurance processes

  2018cites this paper
• Fragment-based spreadsheet debugging

  2018cites this paper
• AI for Localizing Faults in Spreadsheets

  2017cites this paper
• Qualitative deviation models vs. quantitative models for fault localization in spreadsheets

  2017cites this paper
• Improving Spectrum-Based Fault Localization for Spreadsheet Debugging

  2017cites this paper
• Qualitative Deviation Models for Spreadsheet Debugging

  2017cites this paper
• Combining Models for Improved Fault Localization in Spreadsheets

  2017influential citation
• Removing Coincidental Correctness in Spectrum-Based Fault Localization for Circuit and Spreadsheet Debugging

  2017cites this paper
• On the use of qualitative deviation models for diagnosis

  2016cites this paper
• Fragment-Based Diagnosis of Spreadsheets

  2016cites this paper
• A systematic literature review of how mutation testing supports test activities

  2016cites this paper
• Combining Smells and Fault Localization in Spreadsheets

  2016cites this paper