AutoTest: A tool for automatic test case generation in spreadsheets

Proceedings - IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2006

Volumn , Issue , 2006, Pages 43-50

  Abraham, Robin ^a   Erwig, Martin ^a  

^a OREGON STATE UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

AUTO-TEST; AUTOMATIC TESTCASE GENERATION; AUTOMATICALLY GENERATED; BACKWARD PROPAGATION; COMPARATIVE EVALUATIONS; TEST CASE;

AUTOMATIC TEST PATTERN GENERATION; SPREADSHEETS; TESTING; VISUALIZATION;

SOFTWARE TESTING;

EID: 34548751371     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/VLHCC.2006.11     Document Type: Conference Paper

References (26)

1. R. Abraham and M. Erwig. Header and Unit Inference for Spreadsheets Through Spatial Analyses. In IEEE Int. Symp. on Visual Languages and Human-Centric Computing, pages 165-172, 2004. (Pubitemid 40455747)
2. R. Abraham and M. Erwig. Goal-Directed Debugging of Spreadsheets. In IEEE Int. Symp. on Visual Languages and Human-Centric Computing, pages 37-44, 2005. (Pubitemid 44131248)
3. R. Abraham and M. Erwig. Inferring Templates from Spreadsheets. In 28th IEEE Int. Conf. on Software Engineering, pages 182-191, 2006. (Pubitemid 46600915)
4. R. Abraham, M. Erwig, S. Kollmansberger, and E. Seifert. Visual Specifications of Correct Spreadsheets. In IEEE Int. Symp. on Visual Languages and Human-Centric Computing, pages 189-196, 2005.
5. Y. Ahmad, T. Antoniu, S. Goldwater, and S. Krishnamurthi. A Type System for Statically Detecting Spreadsheet Errors. In 18th IEEE Int. Conf. on Automated Software Engineering, pages 174-183, 2003.
6. T. Antoniu, P. A. Steckler, S. Krishnamurthi, E. Neuwirth, and M. Felleisen. Validating the Unit Correctness of Spreadsheet Programs. In 26th IEEE Int. Conf. on Software Engineering, pages 439-448, 2004.
7. M. M. Burnett, J. Atwood, R. Djang, H. Gottfried, J. Reichwein, and S. Yang. Forms/3: A First-Order Visual Language to Explore the Boundaries of the Spreadsheet Paradigm. Journal of Functional Programming, 11:155-206, March 2001.
8. M. M. Burnett, C. Cook, J. Summet, G. Rothermel, and C. Wallace. End-User Software Engineering with Assertions. In 25th IEEE Int. Conf. on Software Engineering, pages 93-103, 2003.
9. R. A. DeMillo and A. J. Offutt. Constraint-Based Automatic Test Data Generation. IEEE Transactions on Software Engineering, 17:900-910, 1991. (Pubitemid 21717628)
10. S. Ditlea. Spreadsheets Can be Hazardous to Your Health. Personal Computing, 11(1):60-69, 1987.
11. G. Engels and M. Erwig. ClassSheets: Automatic Generation of Spreadsheet Applications from Object-Oriented Specifications. In 20th IEEE/ACM Int. Conf. on Automated Software Engineering, pages 124-133, 2005.
12. M. Erwig, R. Abraham, I. Cooperstein, and S. Kollmansberger. Gencel-A Program Generator for Correct Spreadsheets. Journal of Functional Programming, 16(3):293-325, May 2006. (Pubitemid 43682888)
13. M. Fisher, G. Rothermel, D. Brown, M. Cao, C. Cook, and B. Burnett. Integrating Automated Test Generation into the WYSIWYT Spreadsheet Testing Methodology. ACM Trans. on Software Engineering and Methodology, 2006. To appear.
14. K. Godfrey. Computing Error at Fidelity's Magellan Fund. In Forum on Risks to the Public in Computers and Related Systems, January 1995.
15. A. J. Offutt. An Integrated Automatic Test Data Generation System. Journal of Systems Integration, 1(3):391-409, 1991.
16. A. J. Offutt, J. Pan, K. Tewary, and T. Zhang. An Experimental Evaluation of Data Flow and Mutation Testing. Software Practice and Experience, 26(2):165-176, 1996. (Pubitemid 126594500)
17. R. R. Panko. Applying Code Inspection to Spreadsheet Testing. Journal of Management Information Systems, 16(2):159-176, 1999. (Pubitemid 32716802)
18. R. R. Panko. Spreadsheet Errors: WhatWe Know. WhatWe Think We Can Do. In Symp. of the European Spreadsheet Risks Interest Group (EuSpRIG), 2000.
19. S. Prabhakarao, C. Cook, J. Ruthruff, E. Creswick, M. Main, M. Durham, and M. Burnett. Strategies and Behaviors of End-User Programmers with Interactive Fault Localization. In IEEE Int. Symp. on Human-Centric Computing Languages and Environments, pages 203-210, 2003.
20. K. Rajalingham, D. Chadwick, B. Knight, and D. Edwards. Quality Control in Spreadsheets: A Software Engineering-Based Approach to Spreadsheet Development. In 33rd Hawaii Int. Conf. on System Sciences, pages 1-9, 2000.
21. G. Rothermel, M. M. Burnett, L. Li, C. DuPuis, and A. Sheretov. A Methodology for Testing Spreadsheets. ACM Transactions on Software Engineering and Methodology, pages 110-147, 2001. (Pubitemid 33631327)
22. C. Scaffidi, M. Shaw, and B. Myers. Estimating the Numbers of End Users and End User Programmers. In IEEE Symp. on Visual Languages and Human-Centric Computing, pages 207-214, 2005. (Pubitemid 44131267)
23. A. Scott. Shurgard Stock Dives After Auditor Quits Over Company's Accounting. The Seattle Times, November 2003.
24. R. E. Smith. University of Toledo loses $2.4M in projected revenue. Toledo Blade, May 2004.
25. E. J. Weyuker. More Experience with Data Flow Testing. IEEE Trans. on Software Engineering, 19(9):912-919, 1993.
26. E. J. Weyuker, S. N. Weiss, and D. Hamlet. Comparison of Program Testing Strategies. In Fourth Symposium on Software Testing, Analysis and Verification, pages 154-164, 1991.