Practical fault localization for dynamic web applications

Proceedings - International Conference on Software Engineering

Volumn 1, Issue , 2010, Pages 265-274

  Artzi, Shay ^a   Dolby, Julian ^a   Tip, Frank ^a   Pistoia, Marco ^a  

^a IBM T J WATSON RESEARCH CENTER   (United States)

Author keywords

D.2.4 Software Engineering : Software Program Verification; D.2.5 Software Engineering : Testing and Debugging; Reliability; Verification

Indexed keywords

AUTOMATICALLY GENERATED; D.2.4 [SOFTWARE ENGINEERING]: SOFTWARE/PROGRAM VERIFICATION; D.2.5 [SOFTWARE ENGINEERING]: TESTING AND DEBUGGING; DYNAMIC WEB APPLICATIONS; FAULT LOCALIZATION; LOCALIZATION TECHNIQUE; SOFTWARE/PROGRAM VERIFICATION; SYMBOLIC EXECUTION; TESTING AND DEBUGGING;

AUTOMATIC TEST PATTERN GENERATION; COMPUTER SOFTWARE SELECTION AND EVALUATION; ENGINEERING; SAFETY ENGINEERING; SOFTWARE RELIABILITY; VERIFICATION;

PROGRAM DEBUGGING;

EID: 77954721052     PISSN: 02705257     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1806799.1806840     Document Type: Conference Paper

References (32)

1. R. Abreu, P. Zoeteweij, and A. J. C. van Gemund. An evaluation of similarity coefficients for software fault localization. In PRDC 2006, pages 39-46, 2006.
2. H. Agrawal, J. R. Horgan, S. London, and W. E.Wong. Fault localization using execution slices and dataflow tests. In ISSRE, Toulouse, France, 1995.
3. S. Artzi, A. Kieżun, J. Dolby, F. Tip, D. Dig, A. Paradkar, and M. D. Ernst. Finding bugs in dynamic web applications. In ISSTA, pages 261-272, 2008.
4. S. Artzi, A. Kieżun, J. Dolby, F. Tip, D. Dig, A. Paradkar, and M. D. Ernst. Finding bugs in web applications using dynamic test generation and explicit state model checking. IEEE Transactions on Software Engineering, 2010. To appear.
5. C. Cadar, V. Ganesh, P. M. Pawlowski, D. L. Dill, and D. R. Engler. EXE: automatically generating inputs of death. In CCS, 2006.
6. T. M. Chilimbi, B. Liblit, K. K. Mehra, A. V. Nori, and K. Vaswani. Holmes: Effective statistical debugging via efficient path profiling. In ICSE, 2009.
7. H. Cleve and A. Zeller. Locating causes of program failures. In ICSE, pages 342-351, May 2005.
8. V. Dallmeier, C. Lindig, and A. Zeller. Lightweight defect localization for java. In ECOOP, pages 528-550, 2005.
9. P. Godefroid, N. Klarlund, and K. Sen. DART: Directed automated random testing. In PLDI, 2005.
10. P. Godefroid, M. Y. Levin, and D. Molnar. Automated whitebox fuzz testing. In NDSS, 2008.
11. S. Horwitz, T. Reps, and D. Binkley. Interprocedural slicing using dependence graphs. ACM Trans. Program. Lang. Syst., 12(1):26-60, 1990.
12. M. Hutchins, H. Foster, T. Goradia, and T. Ostrand. Experiments of the effectiveness of dataflow- and controlflow-based test adequacy criteria. In ICSE, pages 191-200, 1994.
13. D. Jeffrey, N. Gupta, and R. Gupta. Fault localization using value replacement. In ISSTA, pages 167-178, 2008.
14. J. A. Jones and M. J. Harrold. Empirical evaluation of the tarantula automatic fault-localization technique. In ASE, pages 273-282, 2005.
15. J. A. Jones, M. J. Harrold, and J. Stasko. Visualization of test information to assist fault localization. In ICSE, pages 467-477, 2002.
16. B. Liblit, A. Aiken, A. X. Zheng, and M. I. Jordan. Bug isolation via remote program sampling. In PLDI, pages 141-154, 2003.
17. B. Liblit, M. Naik, A. X. Zheng, A. Aiken, and M. I. Jordan. Scalable statistical bug isolation. In PLDI'05, pages 15-26, 2005.
18. C. Liu, X. Yan, L. Fei, J. Han, and S. P. Midkiff. Sober: statistical model-based bug localization. In FSE, pages 286-295, 2005.
19. J. Lyle and M. Weiser. Automatic bug location by program slicing. In ICCEA, pages 877-883, Beijing (Peking), China, 1987.
20. Y. Minamide. Static approximation of dynamically generated Web pages. In WWW, 2005.
21. H. Pan and E. H. Spafford. Heuristics for automatic localization of software faults. Technical Report SERC-TR-116-P, Purdue University, July 1992.
22. X. Ren and B. G. Ryder. Heuristic ranking of java program edits for fault localization. In ISSTA, pages 239-249, 2007.
23. M. Renieris and S. P. Reiss. Fault localization with nearest neighbor queries. In ASE, pages 30-39, 2003.
24. R. Santelices, J. A. Jones, Y. Yu, and M. J. Harrold. Lightweight fault-localization using multiple coverage types. In ICSE, pages 56-66, 2009.
25. K. Sen, D. Marinov, and G. Agha. CUTE: A concolic unit testing engine for C. In FSE, 2005.
26. M. Stoerzer, B. G. Ryder, X. Ren, and F. Tip. Finding Failure-inducing Changes in Java Programs Using Change Classification. In FSE, pages 57-68, Portland, OR, USA, Nov. 7-9, 2006.
27. F. Tip. A survey of program slicing techniques. Journal of Programming Languages, 3(3):121-189, 1995.
28. G. Wassermann, D. Yu, A. Chander, D. Dhurjati, H. Inamura, and Z. Su. Dynamic test input generation for web applications. In ISSTA, 2008.
29. C. Yilmaz, A. M. Paradkar, and C.Williams. Time will tell: fault localization using time spectra. In ICSE, pages 81-90, 2008.
30. A. Zeller. Isolating cause-effect chains from computer programs. In FSE, pages 1-10. ACM Press, November 2002.
31. X. Zhang, N. Gupta, and R. Gupta. Locating faults through automated predicate switching. In ICSE, pages 272-281, 2006.
32. Z. Zhang, W. K. Chan, T. H. Tse, B. Jiang, and X. Wang. Capturing propagation of infected program states. In ESEC/FSE, pages 43-52, 2009.