Using assertions to help end-user programmers create dependable web macros

Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering

Volumn , Issue , 2008, Pages 124-134

  Koesnandar, Andhy ^a   Elbaum, Sebastian ^a   Rothermel, Gregg ^a   Hochstein, Lorin ^a   Scaffidi, Christopher ^b   Stolee, Kathryn T ^a  

^a UNIVERSITY OF NEBRASKA LINCOLN   (United States)

^b Carnegie Mellon University   (United States)

Author keywords

Assertions; Dependability; End user software engineering; Programming by demonstration; Web macros

Indexed keywords

DEPENDABILITY; EMPIRICAL STUDIES; END USER PROGRAMMERS; END-USER SOFTWARE ENGINEERING; MACRO-TOOLS; PROFESSIONAL SOFTWARE; PROGRAMMING BY DEMONSTRATION; SOFTWARE ENGINEERING METHODOLOGIES;

ENGINEERING; HUMAN COMPUTER INTERACTION; SAFETY ENGINEERING; SOFTWARE ENGINEERING; WEB BROWSERS; WORLD WIDE WEB;

MACROS;

EID: 74549195443     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1453101.1453119     Document Type: Conference Paper

References (23)

1. M. Bolin, M. Webber, P. Rha, T. Wilson, and R. C. Miller. Automation and customization of rendered web pages. In ACM Symp. User Int. Softw. Tech., pages 163-172, 2005.
2. M. Burnett, C. Cook, O. Pendse, G. Rothermel, J. Summet, and C. Wallace. End-user software engineering with assertions in the spreadsheet paradigm. In Int'l. Conf. Softw. Eng., pages 93-103, 2003.
3. CoScripter: Simplifying Web Processes. http://services.alphaworks.ibm. com/coscripter, Feb. 2008.
4. A. Cypher. EAGER: Programming repetitive tasks by example. In Conf. Human Fact. Comp. Sys., pages 33-39, 1991.
5. Deskperience Web Replay. http://www.deskperience.com/webreplay, Jan. 2007.
6. M. Erwig and M. Burnett. Adding apples and oranges. Int. Symp. Pract. Aspects Decl. Langs., pages 173-191, 2002.
7. Internet archive. http://www.archive.org, Mar. 2007.
8. iOpus iMacros. http://www.iopus.com/imacros, Jan. 2007.
9. iMacros Success Stories. http://www.iopus.com/imacros, Jan. 2007.
10. Connect, collect, mashup everything on the web. http://www.kapowtech.com/ products.html, Jan. 2007.
11. T. A. Lau and D. S. Weld. Programming by demonstration: An inductive learning formulation. In Int'l. Conf. Intelligent User Int., pages 145-152, 1999.
12. B. Meyer. Applying "Design by Contract". Computer, 25(10):40-51, 1992.
13. Newbie Web Automation. http://www.newbielabs.com, Jan. 2007.
14. J. W. Nimmer and M. D. Ernst. Automatic generation of program specifications. In Int'l. Symp. Softw. Test. Anal., pages 232-242, July 22-24, 2002.
15. HP QuickTest Professional. http://www.hp.com, Feb. 2008.
16. IBM Rational Functional Tester. http://www.ibm.com/software/awdtools/ tester/functional, Feb. 2008.
17. A. Repenning and C. Perrone. Programming by example: Programming by analogous examples. Comm. ACM, 43(3):90-97, 2000.
18. D. S. Rosenblum. A practical approach to programming with assertions. IEEE Trans. Softw. Eng., 21(1):19-31, 1995.
19. G. Rothermel, M. Burnett, L. Li, C. Dupuis, and A. Sheretov. A methodology for testing spreadsheets. ACM Trans. Softw. Eng. Meth., 10(1):110-147, 2001. (Pubitemid 33631327)
20. C. Scaffidi, A. Cypher, S. Elbaum, A. Koesnandar, and B. Myers. The EUSES web macro scenario corpus: Version 1.0. Technical report, School of CS, Carnegie Mellon University, 2006.
21. C. Scaffidi, A. Cypher, S. Elbaum, A. Koesnandar, and B. Myers. Using Scenario-Based Requirements to Direct Research on Web Macro Tools. Journal of Visual Languages and Computing, 19(4):485-498, 2008.
22. C. Scaffidi, B. Myers, and M. Shaw. Topes: Reusable abstractions for validating data. In Int'l. Conf. on Softw. Eng., pages 1-10, May 2008.
23. TestDrive-Gold. http://www.origsoft.com/Products/Testdrive-gold.htm, June 2008.