DARWIN: An approach to debugging evolving programs

ACM Transactions on Software Engineering and Methodology

Volumn 21, Issue 3, 2012, Pages

  Qi, Dawei ^a   Roychoudhury, Abhik ^a   Liang, Zhenkai ^a  

^a NATIONAL UNIVERSITY OF SINGAPORE   (Singapore)

Author keywords

[No Author keywords available]

Indexed keywords

APACHE WEB SERVER; CONTROL FLOWS; CONTROL-FLOW; IDENTIFYING CODE; LINES OF CODE; REAL-WORLD APPLICATION; ROOT CAUSE; SYMBOLIC EXECUTION; TCP CONNECTIONS;

ERRORS; TRANSMISSION CONTROL PROTOCOL;

PROGRAM DEBUGGING;

EID: 84863954406     PISSN: 1049331X     EISSN: 15577392     Source Type: Journal    
DOI: 10.1145/2211616.2211622     Document Type: Article

References (45)

1. AGRAWAL, H. AND HORGAN, J. R. 1990. Dynamic program slicing. In Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI'90). ACM Press, New York, NY, 246-256.
2. APACHE. 2009. Apache Web server. http://httpd.apache.org/.
3. APIWATTANAPONG, T.,ORSO, A., AND HARROLD,M. 2004. A differencing algorithm for object-oriented programs. In Proceedings of the International Conference on Automated Software Engineering (ASE). IEEE Computer Society, Los Alamitos, CA.
4. BALL, T.,NAIK, M., AND RAJAMANI, S. 2003. From symptom to cause: Localizing errors in counterexample traces. In Proceedings of the International Symposium on Principles of Programming Languages (POPL). ACM Press, New York, NY.
5. BARRETT, C. AND TINELLI, C. 2007. CVC3. In Proceedings of the 19th International Conference on Computer- Aided Verification. 298-302.
6. BRUMLEY, D., CABALLERO, J., LIANG, Z., NEWSOME, J., AND SONG, D. 2007. Towards automatic discovery of deviations in binary implementations with applications to error detection and fingerprint generation. In Proceedings of the USENIX Security Conference. USENIX Association, Berkeley, CA.
7. BRUMMAYER, R. AND BIERE, A. 2009. Boolector: An efficient smt solver for bit-vectors and arrays. In Proceedings of the 15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'09). 174-177.
8. BRUTTOMESSO, R., CIMATTI, A., FRANŹeN, A., GRIGGIO, A., AND SEBASTIANI, R. 2008. The MathSAT 4 SMT Solver. In Proceedings of the International Conference on Computer Aided Verification. 299-303.
9. CHEN, Y., ROSENBLUM, D., AND VO, K. 1994. Testtube: A system for selective regression testing. In Proceedings of the International Conference on Software Engineering. IEEE Computer Society Press, Los Alamitos, CA.
10. CSALLNER, C. AND SMARAGDAKIS, Y. 2006. DSD-Crasher: A hybrid analysis tool for bug finding. In Proceedings of the International Symposium on Software Testing and Analysis (ISSTA). ACM Press, New York, NY.
11. DEMOURA, L. AND BJORNER,N. 2008. Z3: An efficient SMTsolver. In Proceedings of the International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS).
12. ELBAUM, S., MALISHEVSKY, A., AND ROTHERMEL, G. 2000. Prioritizing test cases for regression testing. In Proceedings of the International Symposium on Software Testing and Analysis (ISSTA). ACM Press, New York, NY.
13. GANESH, V. AND DILL, D. L. 2007. A decision procedure for bit-vectors and arrays. In Proceedings of the Computer Aided Verification Conference (CAV). 524-536. Available online at http://sites.google.com/site/stpfastprover/.
14. GIROUX, O. AND ROBILLARD, M. P. 2006. Detecting increases in feature coupling using regression tests. In Proceedings of the 14th ACM SIGSOFT International Symposium on Foundations of Software Engineering (SIGSOFT'06/FSE-14). ACM Press, New York, NY, 163-174. (Pubitemid 47129394)
15. GODEFROID, P.,KLARLUND, N., AND SEN, K. 2005. DART: Directed automated random testing. In Proceedings of the Conference on Programming Languages Design and Implementation (PLDI). ACM Press, New York. NY.
16. GUO, L., ROYCHOUDHURY, A., AND WANG, T. 2006. Accurately choosing execution runs for software fault localization. In Proceedings of the International Conference on Compiler Construction (CC).
17. HOROWITZ, S. 1990. Identifying the semantic and textual differences between two versions of a program. In Proceedings of the International Conference on Programming Language Design and Implementation (PLDI). ACM Press, New York, NY.
18. HOVEMEYER, D. AND PUGH, W. 2004. Finding bugs is easy. In Proceedings of the Companion to the 19th Annual ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA'04). ACM Press, New York, NY, 132-136.
19. HUANG, S. 2009. Miniweb Web server. http://miniweb.sourceforge.net/.
20. JACKSON, D. AND LADD, D. A. 1994. Semantic diff: A tool for summarizing the effects of modifications. In Proceedings of the International Conference on Software Maintenance. 243-252.
21. KOREL, B. AND LASKI, J. W. 1988. Dynamic program slicing. Inform. Process. Letters 29, 3, 155-163.
22. LIBLIT, B. 2005. Cooperative bug isolation. Ph.D. dissertation, UC Berkeley.
23. LIBLIT, B.,NAIK,M.,ZHENG, A.,AIKEN, A., AND JORDAN,M. 2005. Scalable statistical bug isolation. In Proceedings of the Conference on Programming Language Design and Implementation (PLDI). ACM Press, New York, NY.
24. LIBPNG. 2009. libPNG library. http://www.libpng.org.
25. PERSON, S., DWYER, M., ELBAUM, S., AND PASAREANU, C. 2008. Differential symbolic execution. In Proceedings of the International Conference on Foundations of Software Engineering (FSE). ACM Press, New York, NY.
26. QEMU. 2009. QEMU emulator. http://www.qemu.org.
27. QI, D., ROYCHOUDHURY, A., LIANG, Z., AND VASWANI, K. 2009. Darwin: An approach for debugging evolving programs. In Proceedings of the 7th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering (ESEC-FSE). ACM Press, New York, NY, 33-42.
28. RANISE, S. AND TINELLI, C. 2003. The SMT-LIB format: An initial proposal. In Proceedings of the Workshop on Pragmatics of Decision Procedures in Automated Reasoning (PDPAR).
29. REN, X., SHAH, F., TIP, F., RYDER, B. G., AND CHESLEY, O. 2004. Chianti: A tool for change impact analysis of java programs. In Proceedings of the 19th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA'04). ACM Press, New York, NY, 432-448.
30. RENIERIS,M. AND REISS, S. P. 2003. Fault localization with nearest neighbor queries. In Proceedings of the International Conference on Automated Software Engineering (ASE). IEEE Computer Society, Los Alamitos, CA.
31. ROTHERMEL, G. AND HARROLD, M. J. 1997. A safe, efficient regression test selection technique. ACM Trans. Softw. Eng. Methodol. 6, 2, 173-210. (Pubitemid 127684922)
32. SANTELICES, R., CHITTIMALLI, P., APIWATTANAPONG, T., ORSO, A., AND HARROLD, M. 2008. Test-suite augmentation for evolving software. In Proceedings of the International Conference on Automated Software Engineering (ASE). IEEE Computer Society, Los Alamitos, CA.
33. SAVANT. 2009. Savant Web server. http://savant.sourceforge.net/info.html.
34. SEACORD, R., PLAKOSH, D., AND LEWIS, G. 2003. Modernizing Legacy Systems: Software Technologies, Engineering Processes, and Business Practices. Addison-Wesley, Boston, MA.
35. SEN, K., MARINOV, D., AND AGHA, G. 2005. Cute: A concolic unit testing engine for c. In Proceedings of the 10th European Software Engineering Conference held jointly with 13th ACM SIGSOFT International Symposium on Foundations of Software Engineering. ACM Press, New York, NY, 263-272. (Pubitemid 43218836)
36. SILLITO, J.,MURPHY, G., AND DE VOLDER, K. 2006. Questions programmers ask during software evolution tasks. In Proceedings of the International Conference on Foundations of Software Engineering (FSE). ACM Press, New York, NY.
37. SONG, D., BRUMLEY, D., YIN, H., CABALLERO, J., JAGER, I., KANG, M. G., LIANG, Z., NEWSOME, J., POOSANKAM, P., AND SAXENA, P. 2008. BitBlaze: A new approach to computer security via binary analysis. In Proceedings of the 4th International Conference on Information Systems Security. Keynote invited paper.
38. SRIDHARAN, M., FINK, S. J., AND BODIK, R. 2007. Thin slicing. In Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI'07). ACM Press, New York, NY, 112-122. (Pubitemid 47630680)
39. SRIVASTAVA, A. AND THIAGARAJAN, J. 2002. Effectively prioritizing tests in development environment. In Proceedings of the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA). ACM Press, New York, NY, 97-106.
40. WANG, T. AND ROYCHOUDHURY, A. 2004. Using compressed bytecode traces for slicing Java programs. In Proceedings of the 26th International Conference on Software Engineering (ICSE). IEEE Computer Society, Los Alamitos, CA, 512-521.
41. ZELLER, A. 1999. Yesterday, my program worked. Today, it does not. Why? In Proceedings of the 7th European Software Engineering Conference held jointly with the ACM SIGSOFT International Symposium on Foundations of Software Engineering. 253-267.
42. ZELLER, A. 2002. Isolating cause-effect chains from computer programs. In Proceedings of the 10th ACM SIGSOFT Symposium on Foundations of Software Engineering. ACM Press, New York, NY, 1-10.
43. ZELLER, A. AND HILDEBRANDT, R. 2002. Simplifying and isolating failure-inducing input. IEEE Trans. Softw. Eng. 28, 2, 183-200. (Pubitemid 34198322)
44. ZHANG, X., GUPTA, N., AND GUPTA, R. 2006. Pruning dynamic slices with confidence. In Proceedings of the International Conference on Programming Language Design and Implementation (PLDI). ACM Press, New York, NY, 169-180.
45. ZHANG, X., TALLAM, S., GUPTA, N., AND GUPTA, R. 2007. Towards locating execution omission errors. In Proceedings of the International Conference on Programming Language Design and Implementation (PLDI). ACM Press, New York, NY, 415-424. (Pubitemid 47630708)