Cleanroom: Edit-time error detection with the uniqueness heuristic

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

Volumn , Issue , 2010, Pages 7-14

  Ko, Andrew J ^a   Wobbrock, Jacob O ^a  

^a UNIVERSITY OF WASHINGTON   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CODE GENERATION; DEBUGGING EFFORTS; DYNAMIC LANGUAGES; JAVASCRIPT; ONLINE EXPERIMENT; POTENTIAL ERRORS; PROGRAM ANALYSIS; PROGRAMMING LANGUAGE; SOURCE FILES;

CLEAN ROOMS; DYNAMIC PROGRAMMING; LABORATORIES; PROGRAM DEBUGGING; SEMANTICS;

ERROR DETECTION;

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

References (11)

1. Artzi S., Kiezun A., Dolby J., Tip F., Dig D., Paradkar A., Ernst M.D. 2010. Finding bugs in web applications using dynamic test generation and explicit state model checking. IEEE Transactions on Soft. Engineering, to appear.
2. Braband, C., Møller, A., and Schwartzbach, M. 2001. Static validation of dynamically generated HTML. Workshop on Program Analysis for Soft. Tools and Engineering, 38-45. (Pubitemid 32861390)
3. Elbaum, S., Karre, S., and Rothermel, G. 2003. Improving web application testing with user session data. Int'l Conf. on Soft. Engineering, 49-59.
4. Mesbah, A. and van Deursen, A. 2009. Invariant-based automatic testing of AJAX user interfaces. Int'l Conf. on Soft. Engineering, 210-220.
5. Kim, S. and Ernst, M. D. 2007. Which warnings should I fix first? ACM Foundations of Soft. Engineering, 45-54.
6. Levenshtein, V. I. 1965. Binary codes capable of correcting deletions, insertions, and reversals. Doklady Akademii Nauk SSSR 163(4), 845-848.
7. Rayner, K. (1998). Eye movements in reading and information processing: 20 years of research. Psychological Review, 124 (3), 372-422.
8. Sprenkle, S., Gibson, E., Sampath, S., and Pollock, L. 2005. Automated replay and failure detection for web applications. Automated Soft. Engineering, 253-262.
9. Stumpf S., Rajaram V., Li L., Wong W-K., Burnett M., Dietterich T., Sullivan E., and Herlocker J. 2009. Interacting meaningfully with machine learning systems: Three experiments. Int'l J. of Human-Computer Studies 67, 639-66.
10. Wagner R.A. and Fisher M. 1974. The string-to-string correction problem. J. of the ACM.
11. Wilson A., Burnett M.M., Beckwith L., Granatir O., Casburn L., Cook C., Durham M., and Rothermel G. 2003. Harnessing curiosity to increase correctness in end-user programming. ACM Conf. on Human Factors in Computing Systems, 305-312.