Memory slicing

Proceedings of the 18th International Symposium on Software Testing and Analysis, ISSTA 2009

Volumn , Issue , 2009, Pages 165-175

  Xin, Bin ^a   Zhang, Xiangyu ^a  

^a Purdue University   (United States)

Author keywords

Data centric slicing; Dynamic program slicing; Fault localization.; Memory dependence graph

Indexed keywords

DATA CENTRIC; DEPENDENCE GRAPHS; DYNAMIC PROGRAM SLICING; DYNAMIC PROGRAM SLICING TECHNIQUE; EFFECTIVENESS AND EFFICIENCIES; FAULT LOCALIZATION; NOCV2; SPACE COMPLEXITY; SPACE REQUIREMENTS;

SOFTWARE TESTING;

EID: 85008259868     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1572272.1572292     Document Type: Conference Paper

References (23)

1. H. Agrawal and J. R. Horgan. Dynamic Program Slicing. In Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 246-256, 1990.
2. M. Berndl and O. Lhotak and F. Qian and L. Hendren and N. Umanee. Points-to Analysis using BDDs. In Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 103-114, 2003.
3. A. Beszedes, T. Gergely, Z. M. Szabo, J. C., and T. Gyimothy. Dynamic slicing method for maintenance of large c programs. In CSMR '01: Proceedings of the 5th European Conference on Software Maintenance and Reengineering, pages 105-113, Lisbon, Portugal, March 2001.
4. R. E. Bryant. Graph-based algorithms for Boolean function manipulation. IEEE Transactions on Computers, 35(8), 677-691, 1986.
5. G. Z. Chrysos and J. S. Emer. Memory Dependence Prediction using Store Sets. In ISCA: Proceedings of the 25th Annual International Symposium on Computer Architecture, 142-153, 1998.
6. Diablo binary rewriting framework. http://www.elis.ugent.be/diablo/.
7. J. Ferrante, K. J. Ottenstein, and J. D. Warren. The program dependence graph and its use in optimization. In ACM Transactions on Programmming Languages and System (TOPLAS), 9(3):319-349, July 1987.
8. M. Gabel and Z. Su. Symbolic Mining of Temporal Specifications. In Proceeding of the International Conference on Software Engineering (ICSE), 51-60, 2008.
9. B. Korel and J. Laski. Dynamic program slicing, In Information Processing Letters, 29(3), 1988.
10. J. Lind-Nielsen. BuDDy, a binary decision diagram package. http://buddy.sourceforge.net.
11. S. Lu, Z. Li, F. Qin, L. Tan, P. Zhou, and Y. Zhou. Bugbench: a benchmark for evaluating bug detection tools. In Workshop on the Evaluation of Software Defect Detection Tools, Chicago, Illinois, 2005.
12. N. Nethercote and J. Seward. Valgrind: a framework for heavyweight dynamic binary instrumentation. In Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 89-100, 2007.
13. F. Qin and C. Wang and Z. Li and H. Kim and Y. Zhou and Y. Wu. LIFT: A Low-Overhead Practical Information Flow Tracking System for Detecting Security Attacks. In MICRO: Proceedings of the 38th International Symposium on Microarchitecture, 135-148,2006.
14. F. Tip. A Survey of Program Slicing Techniques. In Journal of Program Languages, 121-189, 1995.
15. M. Vaziri and F. Tip and J. Dolby. Associating Synchronization Constraints with Data in An Object-Oriented Language. In Proceedings of the Symposium on Principles of Programming Languages ( POPL), 334-345, 2006.
16. T. Wang and A. Roychoudhury. Hierarchical Dynamic Slicing. In ISSTA: International Symposium on Software Testing and Analysis, 228-238,2007.
17. T. Wang and A. Roychoudhury. Using Compressed Bytecode Traces for Slicing Java Programs. In Proceeding of the International Conference on Software Engineering (ICSE), 512-521, 2004.
18. M. Weiser. Program Slicing. In Proceeding of the International Conference on Software Engineering (ICSE), 439-449, San Diego, CA, 1981.
19. J. Whaley and D. Avots and M. Carbin and M. S. Lam. Using Datalog with Binary Decision Diagrams for Program Analysis. In Proceedings of Programming Languages and Systems: Third Asian Symposium, 2005.
20. B. Xin and X. Zhang. Efficient online detection of dynamic control dependence. In Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, pages 185-195. ACM, July 2007.
21. L. Yuan and J. Mai and Z. Su and H. Chen and C.-N. Chuah and P. Mohapatra. FIREMAN: A Toolkit for FIREwall Modeling and ANalysis. In IEEE Symposium on Security and Privacy, 199-213, 2006.
22. X. Zhang. Fault Localization via Precise Dynamic Slicing. Ph.D Dissertation, University of Arizona, 2006.
23. X. Zhang and R. Gupta and Y. Zhang. Efficient Forward Computation of Dynamic Slices Using Reduced Ordered Binary Decision Diagrams. In Proceeding of the International Conference on Software Engineering (ICSE), 502-511, 2004.