Semantics-aware trace analysis

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)

Volumn , Issue , 2009, Pages 453-464

  Hoffman, Kevin ^a   Eugster, Patrick ^a   Jagannathan, Suresh ^a  

^a PURDUE UNIVERSITY   (United States)

Author keywords

Orithms; Reliability

Indexed keywords

ANALYSIS TECHNIQUES; DYNAMIC CODE GENERATION; DYNAMIC PROGRAM ANALYSIS; EXECUTION TRACE; HIGH-LEVEL ABSTRACTION; HUMAN REASONING; JAVA PROGRAM; LARGE PROGRAMS; MULTI-THREADING; NONLOCAL; OPEN-SOURCE; ORITHMS; PROGRAM EXECUTION; PROGRAM PROPERTIES; REFACTORINGS; UNDERLYING CAUSE;

ABSTRACTING; AUTOMATA THEORY; C (PROGRAMMING LANGUAGE); COMPUTER SOFTWARE; DYNAMIC ANALYSIS; LINGUISTICS; PROGRAM COMPILERS; PROGRAM DEBUGGING; REGRESSION ANALYSIS; SEMANTICS; TRACE ANALYSIS;

JAVA PROGRAMMING LANGUAGE;

EID: 70450235111     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1542476.1542527     Document Type: Conference Paper

References (24)

1. H. Agrawal and J.R. Horgan. Dynamic Program Slicing. In PLDI'90, pages 246-256, 1990.
2. T. Apiwattanapong, A. Orso, and M.J. Harrold. JDiff: A Differencing Technique and Tool for Object-Oriented Programs. ASE'07, 14(1):3-36, 2007.
3. L. Bergroth, H. Hakonen, and T. Raita. A Survey of Longest Common Subsequence Algorithms. In SPIRE'00, page 39, 2000.
4. C. Csallner and Y. Smaragdakis. DSD-Crasher: A Hybrid Analysis Tool for Bug Finding. In ISSTA'06, pages 245-254, 2006.
5. Valentin Dallmeier and Thomas Zimmermann. Extraction of Bug Localization Benchmarks from History. In ASE, pages 433-436, 2007.
6. M. Ernst, J. Cockrell, W. Griswold, and D. Notkin. Dynamically Discovering Likely Program Invariants to Support Program Evolution. TSE, 27(2):1-25, 2001.
7. Matthew Flatt, Shriram Krishnamurthi, and Matthias Felleisen. Classes and Mixins. In Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of Programming Languages, pages 171-183. ACM Press, 1998.
8. Liang Guo, Abhik Roychoudhury, and Tao Wang. Accurately Choosing Execution Runs for Software Fault Localization. In CC, pages 80-95, 2006.
9. D. S. Hirschberg. A Linear Space Algorithm for Computing Maximal Common Subsequences. CACM, 18(6):341-343, 1975.
10. Kevin Hoffman, Patrick Eugster, and Suresh Jagannathan. RPrism: Efficient Regression Analysis Using View-Based Trace Differencing. Technical Report dynt-200811-1, Purdue University, 2008.
11. Atsushi Igarashi, Benjamin C. Pierce, and Philip Wadler. Featherweight Java: A Minimal Core Calculus for Java and GJ. ACM TOPLAS, 23(3):396-450, May 2001.
12. G. Kiczales, J. Lamping, A. Menhdhekar, C. Maeda, C. Lopes, J.-M. Loingtier, and J. Irwin. Aspect-Oriented Programming. In ECOOP'97, pages 220-242, 1997.
13. Zhenmin Li, Lin Tan, Xuanhui Wang, Shan Lu, Yuanyuan Zhou, and Chengxiang Zhai. Have Things Changed Now?: An Empirical Study of Bug Characteristics in Modern Open Source Software. In ASID, pages 25-33, 2006.
14. Ben Liblit, Alex Aiken, Alice X. Zheng, and Michael I. Jordan. Bug Isolation via Remote Program Sampling. In PLDI '03, pages 141-154, 2003.
15. G. Pothier, E. Tanter, and J. Piquer. Scalable Omniscient Debugging. In OOPSLA'07, pages 535-552, 2007.
16. X. Ren, F. Shah, F. Tip, B. Ryder, and O. Chesley. Chianti: A Tool for Change Impact Analysis of Java Programs. In OOPSLA'04, pages 432-448, 2004.
17. M. Stoerzer, B. Ryder, X. Ren, and F. Tip. Finding Failure-Inducing Changes in Java Programs Using Change Classification. In ESECFSE-14, pages 57-68, 2006.
18. F. Tip. A Survey of Program Slicing Techniques. Journal of programming languages, 3:121-189, 1995.
19. G. A. Venkatesh. Experimental results from dynamic slicing of C programs. ACM Transactions on Programming Languages and Systems, 17(2):197-216, 1995.
20. Bin Xin, William N. Sumner, and Xiangyu Zhang. Efficient Program Execution Indexing. In PLDI '08, pages 238-248, 2008.
21. Andreas Zeller. Isolating Cause-Effect Chains from Computer Programs. In FSE-10, pages 1-10, 2002.
22. Andreas Zeller and Ralf Hildebrandt. Simplifying and Isolating Failure-Inducing Input. TSE, 28(2):183-200, 2002.
23. X. Zhang and R. Gupta. Cost Effective Dynamic Program Slicing. In PLDI'04, pages 94-106, 2004.
24. X. Zhang and R. Gupta. Matching Execution Histories of Program Versions. In ESEC/FSE-13, pages 197-206, 2005.