Memory indexing: Canonicalizing addresses across executions

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

Volumn , Issue , 2010, Pages 217-226

  Sumner, William N ^a   Zhang, Xiangyu ^a  

^a PURDUE UNIVERSITY   (United States)

Author keywords

aliasing; automated debugging; execution indexing; memory indexing

Indexed keywords

ALIASING; AUTOMATED DEBUGGING; CANONICAL REPRESENTATIONS; CONTROL FLOWS; COST EFFECTIVE DESIGN; EXECUTION INDEXING; MEMORY INDEXING; MEMORY LOCATIONS; NOVEL SOLUTIONS; PROGRAM COMPREHENSION; PROGRAM EXECUTION; REGRESSION TESTING; SEMANTIC DIFFERENCE;

AUTOMATION; INDEXING (OF INFORMATION); SEMANTICS; SOFTWARE ENGINEERING; SOFTWARE TESTING;

PROGRAM DEBUGGING;

EID: 78751492632     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1882291.1882324     Document Type: Conference Paper

References (23)

1. H. Boehm. Space efficient conservative garbage collection. In PLDI'93.
2. C. Bron and J. Kerbosch. Algorithm 457: finding all cliques of an undirected graph. CACM, 16(9), 1973.
3. Y. Brun and M. Ernst. Finding latent code errors via machine learning over program executions. In ICSE'04.
4. T. Chilimbi, B. Liblit, K. Mehra, A. Nori, and K. Vaswani. Holmes: Effective statistical debugging via efficient path profiling. ICSE'09.
5. H. Cleve and A. Zeller. Locating causes of program failures. In ICSE'05.
6. M. Diep, S. Elbaum, and M. Dwyer. Trace normalization. In ISSRE'08.
7. M. Feng and R. Gupta. Detecting virus mutations via dynamic matching. In ICSM'09.
8. J. Ferrante, K. Ottenstein, and J. Warren. The program dependence graph and its use in optimization. ACM Trans. Program. Lang. Syst., 9(3):319-349, 1987.
9. L. Guo, A. Roychoudhury, and T. Wang. Accurately choosing execution runs for software fault localization. In CC'06.
10. K. Hoffman, P. Eugster, and S. Jagannathan. Semantics-aware trace analysis. In PLDI'09.
11. H.Y. Hsu, J. Jones, and A. Orso. Rapid: Identifying bug signatures to support debugging activities. In ASE'08.
12. D. Jeffrey, N. Gupta, and R. Gupta. Fault localization using value replacement. In ISSTA'08.
13. L. Jiang and Z. Su. Context-aware statistical debugging: from bug predictors to faulty control flow paths. In ASE '07.
14. J. Jones and M.J. Harrold. Empirical evaluation of the tarantula automatic fault-localization technique. In ASE'05.
15. P. Joshi, C. Park, K. Sen, and M. Naik. A randomized dynamic program analysis technique for detecting real deadlocks. In PLDI'09.
16. B. Liblit, A. Aiken, A. Zheng, and M. Jordan. Bug isolation via remote program sampling. In PLDI'03.
17. M.K. Ramanathan, A. Grama, and S. Jagannathan. Sieve: A tool for automatically detecting variations across program versions. In ASE'06.
18. O. Shivers. Control-Flow Analysis of Higher-Order Languages. Ph.d. thesis, Carnegie Mellon University, 1991.
19. W.N. Sumner and X. Zhang. Algorithms for automatically computing the causal paths of failures. In FASE, 2009.
20. W.N. Sumner and X. Zhang. Memory indexing and its use in automated debugging. Technical report, Purdue University, 2010.
21. B. Xin, N. Sumner, and X. Zhang. Efficient program execution indexing. In PLDI'08.
22. A. Zeller. Isolating cause-effect chains from computer programs. In FSE'02.
23. X. Zhang, N. Gupta, and R. Gupta. Locating faults through automated predicate switching. In ICSE'06.