Automatic generation and maintenance of correct spreadsheets

Erwig, Martin; Abraham, Robin; Cooperstein, Irene; Kollmansberger, Steve

doi:10.1145/1062455.1062494

Cited by 45 publications

(29 citation statements)

References 17 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…This approach, implemented in the Gencel system [21], [69], captures a spreadsheet and all its possible evolutions in a template developed in the Visual Template Specification Language (ViTSL) [70]. In the case of spreadsheets generated using this approach, the user does not ever have to edit the spreadsheet formulas since they are automatically generated by the system based on the template.…”

Section: Related Workmentioning

confidence: 99%

Mutation Operators for Spreadsheets

Abraham

Erwig

2009

IIEEE Trans. Software Eng.

View full text Add to dashboard Cite

Abstract-Based on 1) research into mutation testing for general-purpose programming languages and 2) spreadsheet errors that have been reported in the literature, we have developed a suite of mutation operators for spreadsheets. We present an evaluation of the mutation adequacy of definition-use adequate test suites generated by a constraint-based automatic test-case generation system we have developed in previous work. The results of the evaluation suggest additional constraints that can be incorporated into the system to target mutation adequacy. In addition to being useful in mutation testing of spreadsheets, the operators can be used in the evaluation of error-detection tools and also for seeding spreadsheets with errors for empirical studies. We describe two case studies where the suite of mutation operators helped us carry out such empirical evaluations. The main contribution of this paper is a suite of mutation operators for spreadsheets that can be used for performing empirical evaluations of spreadsheet tools to indicate ways in which the tools can be improved.

show abstract

Section: Related Workmentioning

confidence: 99%

Mutation Operators for Spreadsheets

Abraham

Erwig

2009

IIEEE Trans. Software Eng.

View full text Add to dashboard Cite

show abstract

“…A block is analogue to a class in ClassSheets a rectangular composition of cells. Gencel ensures that the spreadsheet stays within the model defined by its input [EACK05a]. A visual representation, called ViTSL (Visual Template Specification Language) [AECK04], was defined to support the interactive editing of templates.…”

Section: The Tool Chainmentioning

confidence: 99%

ClassSheets - model-based, object-oriented design of spreadsheet applications.

Bals¹,

Christ²,

Engels³

et al. 2007

JOT

Self Cite

View full text Add to dashboard Cite

Using spreadsheets is the preferred method to calculate, display or store anything that fits into a table-like structure. They are often used by end users to create applications. But they have one critical drawback -they are very error-prone.To reduce the error-proneness, we purpose a new way of object-oriented modeling of spreadsheets prior to using them. These spreadsheet models, termed ClassSheets, are used to generate concrete spreadsheets on the instance level.By this approach sources of errors are reduced and spreadsheet applications are easier to understand.

show abstract

“…Since spreadsheets are also very likely to contain errors-some studies report that 90% or more of real-world spreadsheets contain errors [6], methods that can improve the level of correctness for spreadsheets can have an enormous positive impact. These methods may aim at detecting errors [2,3], correcting them [7], or even preventing them [4]. In any case, it is important that these methods can be integrated smoothly into the process of spreadsheet programming, because otherwise they would risk being not accepted by end users.…”

Section: Introductionmentioning

confidence: 99%