Analyzing concurrency bugs using dual slicing

ISSTA'10 - Proceedings of the 2010 International Symposium on Software Testing and Analysis

Volumn , Issue , 2010, Pages 253-263

  Weeratunge, Dasarath ^a   Zhang, Xiangyu ^a   Sumner, William N ^a   Jagannathan, Suresh ^a  

^a Purdue University   (United States)

Author keywords

Concurrency bugs; Dual slicing; Execution indexing

Indexed keywords

ATOMICITY VIOLATIONS; CAUSAL PATHS; CAUSAL RELATIONS; CONCURRENCY BUGS; CONCURRENT FAILURES; DATA RACES; DUAL SLICING; EXECUTION INDEXING; LABOR INTENSIVE PROCESS; LARGE PROGRAMS; ORDER OF MAGNITUDE; PRECISE ANALYSIS; ROOT CAUSE; SLICING ALGORITHMS;

COMPUTER SOFTWARE SELECTION AND EVALUATION; DYNAMIC ANALYSIS; INDEXING (OF INFORMATION); QUALITY ASSURANCE; SOFTWARE TESTING;

PROGRAM DEBUGGING;

EID: 77955856665     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1831708.1831740     Document Type: Conference Paper

References (28)

1. Thomas Ball and James R. Larus. Efficient Path Profiling. In MICRO'96, pages 46-57.
2. F. Chen, T. F. Serbanuta, and G. Rosu. JPredictor: A Predictive Runtime Analysis Tool for Java. In ICSE'08.
3. J. D. Choi and A. Zeller. Isolating Failure-Inducing Thread Schedules. In ISSTA'02.
4. S. Chaki, A. Groce and O. Strichman. Explaining abstract counterexamples. In FSE'04.
5. C. Flanagan and S. N Freund. Atomizer: A Dynamic Atomicity Checker for Multithreaded Programs. In POPL'04.
6. T. Gyimothy, A. Beszedes, and I. Forgacs. An efficient relevant slicing method for debugging. In FSE'99.
7. C. Hammer, J. Dolby, M. Vaziri, and F. Tip. Dynamic Detection of Atomic-Set-Serializability Violations. In ICSE'08.
8. J. Hatcliff, J. C. Corbett, M. B. Dwyer, S. Sokolowski, and H. Zheng. A Formal Study of Slicing for Multi-Threaded Programs with JVM Concurrency Primitives. In SAS'99.
9. P. Joshi, C. S. Park, K. Sen, M. Naik. A Randomized Dynamic Program Analysis Technique for Detecting Real Deadlocks. In PLDI'09.
10. B. Korel and J. Laski. Dynamic Program Slicing. Information Processing Letters, 1988.
11. J. R. Larus. Whole Program Paths. In PLDI'99.
12. S. Lu, S. Park, E. Seo, and Y. Zhou. Learning from Mistakes: A Comprehensive Study on Real-World Concurrency Bug Characteristics. In ASPLOS'08.
13. M. Musuvathi and S. Qadeer. Fair Stateless Model Checking. In PLDI'08.
14. R. O'Callahan and J.-D. Choi. Hybrid Dynamic Data Race Detection. In PPoPP'03.
15. S. Park, S. Lu, and Y. Zhou. CTrigger: Exposing Atomicity Violation Bugs from their Hiding Places. In ASPLOS, 2009.
16. S. Savage, M. Burrows, G. Nelson, P. Sobalvarro, and T. Anderson. Eraser: A Dynamic Data Race Detector for Multithreaded Programs. ACM Trans. Comp. Sys., 1997.
17. K. Sen. Race Directed Random Testing of Concurrent Programs. In PLDI'08.
18. M. Sridharan, S. J. Fink, and R. Bodik. Thin Slicing. In PLDI'07.
19. S. Tallam, C. Tian, and R. Gupta. Dynamic Slicing of Multithreaded Programs for Race Detection. In ICSM'08.
20. A. Thakur, R. Sen, B. Liblit and S. Lu. Cooperative Crug Isolation. In WODA'09.
21. L. Wang and S. D. Stoller. Accurate and Efficient Runtime Detection of Atomicity Errors in Concurrent Programs. In PPoPP'06.
22. D. Weeratunge, X. Zhang, W. N. Sumner and S. Jagannathan. Analyzing Concurrency Bugs using Dual Slicing. Dept. of Computer Science, Tech. Rep. CSD TR 10-004, Purdue University, May 2010.
23. B. Xin, N. Sumner, and X. Zhang. Efficient Program Execution Indexing. In PLDI'08.
24. M. Xu, R. Bodik, and M. D. Hill. A Serializability Violation Detector for Shared-Memory Server Programs. In PLDI'05.
25. J. Yu and S. Narayanasamy. A case for an interleaving constrained shared-memory multi-processor. In ISCA'09.
26. Y. Yu, T. Rodeheffer, and W. Chen. Racetrack: Efficient Detection of Data Race Conditions via Adaptive Tracking. In SOSP'05.
27. A. Zeller. Isolating Cause-Effect Chains from Computer Programs. In FSE'02.
28. X. Zhang, S. Tallam, N. Gupta, and R. Gupta. Towards Locating Execution Omission Errors. In PLDI'07.