Towards a better collaboration of static and dynamic analyses for testing concurrent programs

2008 International Symposium on Software Testing and Analysis - Proceedings of the 6th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging 2008, PADTAD'08

Volumn , Issue , 2008, Pages

  Chen, Jun ^a   MacDonald, Steve ^a  

^a UNIVERSITY OF WATERLOO   (Canada)

Author keywords

Languages; Reliability; Verification

Indexed keywords

COMPUTER SOFTWARE; COMPUTER SOFTWARE SELECTION AND EVALUATION; CONCURRENCY CONTROL; ELECTRIC LOAD SHEDDING; MODEL CHECKING; PROGRAM DEBUGGING; RELIABILITY; RELIABILITY ANALYSIS; SOFTWARE RELIABILITY; SOFTWARE TESTING; STATIC ANALYSIS; TECHNICAL PRESENTATIONS; TESTING; VERIFICATION;

CONCURRENT EXECUTIONS; CONCURRENT PROGRAMS; GUIDED EXPLORATIONS; JAVA PATHFINDERS; LANGUAGES; MODULE BASED; RELEVANT INFORMATIONS; RUNTIME INFORMATIONS; SEARCH SPACES; STATIC AND DYNAMICS; TESTING PROCESSES; TESTING TECHNIQUES;

DYNAMIC ANALYSIS;

EID: 57349168682     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1390841.1390849     Document Type: Conference Paper

References (22)

1. M. Abadi, C. Flanagan, and S. N. Freund. Types for safe locking: Static race detection for Java. ACM Transactions on Programming Languages and Systems, 28(2):207-255, 2006.
2. R. Agarwal, A. Sasturkar, L. Wang, and S. D. Stoller. Optimized run-time race detection and atomicity checking using partial discovered types. In Proc. 20th IEEE/ACM International Conference on Automated Software Engineering, pages 233-242, 2005.
3. M. Biberstein, E. Farchi, and S. Ur. Choosing among alternative pasts. In Proc. 17th International Symposium on Parallel and Distributed Processing, page 289.1, 2003.
4. M. Biberstein, E. Farchi, and S. Ur. Fidgeting to the point of no return. In Proc. 18th International Parallel and Distributed Processing Symposium, page 266b, 2004.
5. G. Brat and W. Visser. Combining static analysis and model checking for software analysis. In Proc. 16th IEEE International Conference on Automated Software Engineering, pages 262-269, 2001.
6. J. Chen and S. MacDonald. Testing concurrent programs using value schedules. In Proc. 22nd IEEE/ACM International Conference on Automated Software Engineering, pages 313-322, 2007.
7. J. Chen and S. MacDonald. Incremental testing of concurrent programs using value schedules. Submitted to 23rd IEEE/ACM International Conference on Automated Software Engineering, 2008.
8. S. Copty and S. Ur. Multi-threaded testing with AOP is easy, and it finds bugs!. In Proc. 11th International Euro-Par Conference, volume 3648 of Lecture Notes in Computer Science, pages 740-749. Springer-Verlag, 2005.
9. B. Dufour, B. G. Ryder, and G. Sevitsky. Blended analysis for performance understanding of framework-based applications. In Proc. 2007 International Symposium on Software Testing and Analysis, pages 118-128, 2007.
10. D. Engler and K. Ashcraft. Racerx: Effective, static detection of race conditions and deadlocks. In Proc. 19th ACM Symposium on Operating Systems Principles, pages 237-252, 2003.
11. Y. Eytani, K. Havelund, S. D. Stoller, and S. Ur. Towards a framework and a benchmark for testing tools for multi-threaded programs. Concurrency and Computation: Practice and Experience, 19(3):267-279, 2007.
12. P. Godefroid. Model checking for programming languages using VeriSoft. In Proc. 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 174-186, 1997.
13. S. MacDonald, J. Chen, and D. Novillo. Choosing among alternative futures. In Haifa Verification Conference, volume 3875 of Lecture Notes in Computer Science, pages 247-264. Springer-Verlag, 2005.
14. M. Naik and A. Aiken. Conditional must not aliasing for static race detection. In Proc. 34th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 327-338, 2007.
15. M. Naik, A. Aiken, and J. Whaley. Effective static race detection for Java. In Proc. ACM SIGPLAN 2006 Conference on Programming Language Design and Implementation, pages 308-319, 2006.
16. R. O'Callahan and J.-D. Choi. Hybrid dynamic data race detection. In Proc. 9th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, pages 167-178, 2003.
17. G. Ramalingam. Context-sensitive synchronization-sensitive analysis is undecidable. ACM Transactions on Programming Languages and Systems, 22(2):416-430, 2000.
18. S. Savage, M. Burrows, G. Nelson, P. Sobalvarro, and T. Anderson. Eraser: A dynamic data race detector for multi-threaded programs. In Proc. 16th ACM Symposium on Operating Systems Principles, pages 27-37, 1997.
19. R. N. Taylor. Complexity of analyzing the synchronization structure of concurrent programs. Acta Informatica, 19(1):57-84, 1983.
20. R. Vallée-Rai, L. Hendren, V. Sundaresan, P. Lam, E. Gagnon, and P. Co. Soot - a Java bytecode optimization framework. In Proc. 1999 Conference of the Centre for Advanced Studies on Collaborative Research, pages 125-135, 1999.
21. W. Visser, K. Havelund, G. Brat, S. Park, and F. Lerda. Model checking programs. Automated Software Engineering, 10(2):203-232, 2003.
22. Y. Yu, T. Rodeheffer, and W. Chen. Racetrack: Efficient detection of data race conditions via adaptive tracking. In Proc. 20th ACM Symposium on Operating Systems Principles, pages 221-234, 2005.