Clash of the Titans: Tools and techniques for hunting bugs in concurrent programs

Proceedings of the 7th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, PADTAD '09

Volumn , Issue , 2009, Pages

  Rungta, Neha ^a   Mercer, Eric G ^a  

^a 3361 TMCB   (United States)

Author keywords

Benchmarks; Concurrent programs; Empirical study; Evaluation; Testing and verification tools

Indexed keywords

ABSTRACTION REFINEMENT; BENCHMARK SUITES; BUG DETECTION; CONCURRENT PROGRAM; CONCURRENT PROGRAMS; DEPTH FIRST SEARCH; EMPIRICAL STUDIES; GUIDANCE STRATEGY; GUIDED SEARCH; JAVA PATHFINDER; PARTIAL ORDER REDUCTIONS; PROGRAMMING LANGUAGE; RANDOM WALK; RESEARCH COMMUNITIES; TOOLS AND TECHNIQUES; VERIFICATION TOOLS;

COMPUTER SOFTWARE SELECTION AND EVALUATION; LINGUISTICS; MODEL CHECKING; PROGRAM DEBUGGING; QUERY LANGUAGES; SOFTWARE TESTING;

JAVA PROGRAMMING LANGUAGE;

EID: 72049103414     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1639622.1639631     Document Type: Conference Paper

References (21)

1. M. B. Dwyer, S. Elbaum, S. Person, and R. Purandare. Parallel randomized state-space search. In ICSE '07: Proceedings of the 29th International Conference on Software Engineering, pages 3-12, Washington, DC, USA, 2007. IEEE Computer Society.
2. M. B. Dwyer, S. Person, and S. Elbaum. Controlling factors in evaluating path-sensitive error detection techniques. In SIGSOFT '06/FSE-14: Proceedings of the 14th ACM SIGSOFT international symposium on Foundations of software engineering, pages 92-104, New York, NY, USA, 2006. ACM Press.
3. D. Engler and K. Ashcraft. RacerX: effective, static detection of race conditions and deadlocks. In Proc. SOSP '03, pages 237-252, New York, NY, USA, 2003. ACM Press.
4. Y. Eytani, K. Havelund, S. D. Stoller, and S. Ur. Towards a framework and a benchmark for testing tools for multi-threaded programs: Research articles. Concurr. Comput. : Pract. Exper., 19(3):267-279, 2007.
5. Y. Eytani and S. Ur. Compiling a benchmark of documented multi-threaded bugs. In Proceedings of the Workshop on Parallel and Distributed Systems: Testing and Debugging, page 266a, Los Alamitos, CA, USA, 2004. IEEE Computer Society.
6. C. Flanagan and P. Godefroid. Dynamic partial-order reduction for model checking software. In Proc. POPL, pages 110-121, New York, NY, USA, 2005. ACM.
7. P. Haslum. Model checking by random walk. In Proceedings of ECSEL Workshop, 1999.
8. K. Havelund. Using runtime analysis to guide model checking of Java programs. In Proceedings of the 7th International SPIN Workshop on Software Model Checking, pages 245-264, London, UK, 2000. Springer-Verlag.
9. G. J. Holzmann. The SPIN Model Checker: Primer and Reference Manual. Addison-Wesley, 2003.
10. M. Musuvathi and S. Qadeer. Iterative context bounding for systematic testing of multithreaded programs. SIGPLAN Not., 42(6):446-455, 2007.
11. M. Musuvathi and S. Qadeer. Fair stateless model checking. In Proc. of PLDI, pages 362-371, New York, NY, USA, 2008. ACM.
12. R. Pelanek. BEEM: Benchmarks for explicit model checkers. Lecture Notes in Computer Science, 4595:263, 2007.
13. N. Rungta and E. G. Mercer. Generating counter-examples through randomized guided search. In C. S. Pasareanu, editor, Proceedings of the 14th International SPIN Workshop on Model Checking of Software, pages 39-57, Berlin, Germany, July 2007. Springer-Verlag.
14. N. Rungta and E. G. Mercer. Hardness for explicit state software model checking benchmarks. In 5th IEEE International Conference on Software Engineering and Formal Methods, pages 247-256, London, U.K, September 2007.
15. N. Rungta and E. G. Mercer. A meta heuristic for effectively detecting concurrency errors. In H. Chockler and A. J. Hu, editors, Haifa Verification Conference, volume 5394 of Lecture Notes in Computer Science, pages 23-37. Springer, 2008.
16. N. Rungta and E. G. Mercer. Guided model checking for programs with polymorphism. In PEPM '09: Proceedings of the 2009 ACM SIGPLAN workshop on Partial evaluation and program manipulation, pages 21-30, New York, NY, USA, 2009. ACM.
17. N. Rungta, E. G. Mercer, and W. Visser. Efficient testing of concurrent programs with abstraction-guided symbolic execution. In Proceedings of the 16th International SPIN Workshop on Model Checking of Software, pages 174-191, Grenoble, France, June 2009. Springer-Verlag.
18. K. Sen. Race directed random testing of concurrent programs. SIGPLAN Not., 43(6):11-21, 2008.
19. K. Sen and G. Agha. A race-detection and flipping algorithm for automated testing of multi-threaded programs. In Proc. HVC, volume 4383 of LNCS, pages 166-182. Springer, 2007.
20. S. D. Stoller. Testing concurrent Java programs using randomized scheduling. In Proc. Second Workshop on Runtime Verification (RV), volume 70(4) of Electronic Notes in Theoretical Computer Science. Elsevier, July 2002.
21. W. Visser, K. Havelund, G. Brat, and S. Park. Model checking programs. In Proc. ASE, Grenoble, France, September 2000.