Effective random testing of concurrent programs

ASE'07 - 2007 ACM/IEEE International Conference on Automated Software Engineering

Volumn , Issue , 2007, Pages 323-332

  Sen, Koushik ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

concurrent programs; random testing

Indexed keywords

ALTERNATIVE APPROACH; CONCURRENT PROGRAM; CONCURRENT THREADS; HIGH CONFIDENCE; HIGH PROBABILITY; LARGE PROGRAMS; MODEL-CHECKING TECHNIQUES; MULTITHREADED; NONUNIFORMITY; PARTIAL ORDER; PARTIAL ORDER TECHNIQUES; RANDOM TESTING; SAMPLING ALGORITHM; STATE EXPLOSION PROBLEMS; STATE SPACE;

COMPUTER SOFTWARE; LEARNING ALGORITHMS;

MODEL CHECKING;

EID: 70349778309     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1321631.1321679     Document Type: Conference Paper

References (33)

1. D. Bird and C. Muñoz. Automatic Generation of Random Self-Checking Test Cases. IBM Systems Journal, 22(3):229-245, 1983.
2. D. Bruening. Systematic testing of multithreaded Java programs. Master's thesis, MIT, 1999.
3. R. H. Carver and Y. Lei. A general model for reachability testing of concurrent programs. In 6th International Conference on Formal Engineering Methods (ICFEM'04), volume 3308 of LNCS, pages 76-98, 2004.
4. K. Claessen and J. Hughes. Quickcheck: A lightweight tool for random testing of Haskell programs. In ICFP 00, pages 268-279. ACM, 2000.
5. C. Csallner and Y. Smaragdakis. JCrasher: an automatic robustness tester for Java. Software: Practice and Experience, 34:1025-1050, 2004.
6. M. d'Amorim, C. Pacheco, T. Xie, D. Marinov, and M. D. Ernst. An empirical comparison of automated generation and classification techniques for object-oriented unit testing. In ASE 06: Automated Software Engineering, pages 59-68. IEEE, 2006.
7. 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. IEEE, 2007.
8. M. B. Dwyer, J. Hatcliff, Robby, and V. P. Ranganath. Exploiting object escape and locking information in partial-order reductions for concurrent object-oriented programs. Form. Methods Syst. Des., 25(2-3):199-240, 2004.
9. J. E. M. Clarke, O. Grumberg, and D. A. Peled. Model checking. MIT Press, 1999.
10. O. Edelstein, E. Farchi, Y. Nir, G. Ratsaby, , and S. Ur. Multithreaded Java program test generation. IBM Systems Journal, 41(1):111-125, 2002. (Pubitemid 34811656)
11. C. Flanagan and P. Godefroid. Dynamic partial-order reduction for model checking software. In Proc. of the 32nd Symposium on Principles of Programming Languages (POPL'05), pages 110-121, 2005.
12. J. E. Forrester and B. P. Miller. An Empirical Study of the Robustness of Windows NT Applications Using Random Testing. In Proceedings of the 4th USENIX Windows System Symposium, 2000.
13. P. Godefroid. Partial-Order Methods for the Verification of Concurrent Systems - An Approach to the State-Explosion Problem, volume 1032 of LNCS. Springer-Verlag, 1996.
14. P. Godefroid. Model checking for programming languages using verisoft. In 24th Symposium on Principles of Programming Languages, pages 174-186, 1997.
15. R. Grosu and S. A. Smolka. Monte carlo model checking. In 11th International Conference Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2005), volume 3440 of LNCS, pages 271-286, 2005.
16. K. Havelund and T. Pressburger. Model Checking Java Programs using Java PathFinder. Int. Journal on Software Tools for Technology Transfer, 2(4):366-381, 2000.
17. G. Holzmann. The Spin model checker. IEEE Transactions on Software Engineering, 23(5):279-295, May 1997.
18. Y. Lei and J. H. Andrews. Minimization of randomized unit test cases. In ISSRE 05, pages 267-276, 2005.
19. R. Majumdar and K. Sen. Hybrid concolic testing. In ICSE 07: International Conference on Software Engineering. ACM, 2007.
20. A. W. Mazurkiewicz. Trace theory. In Petri Nets: Central Models and Their Properties, Advances in Petri Nets 1986, volume 255 of LNCS, pages 279-324. Springer, 1986.
21. M. Musuvathi and S. Qadeer. Iterative context bounding for systematic testing of multithreaded programs. In ACM Symposium on Programming Language Design and Implementation (PLDI'07), 2007. (To Appear).
22. J. Offut and J. Hayes. A Semantic Model of Program Faults. In ISSTA 96, pages 195-200. ACM, 1996.
23. C. Pacheco and M. D. Ernst. Eclat: Automatic generation and classification of test inputs. In ECOOP 05: European Conference Object-Oriented Programming, LNCS 3586, pages 504-527, 2005.
24. C. Pacheco, S. K. Lahiri, M. D. Ernst, and T. Ball. Feedback-directed random test generation. In ICSE '07: Proceedings of the 29th International Conference on Software Engineering. IEEE, 2007.
25. D. Peled. All from one, one for all: on model checking using representatives. In 5th Conference on Computer Aided Verification, pages 409-423, 1993.
26. K. Sen and G. Agha. A race-detection and flipping algorithm for automated testing of multi-threaded programs. In Haifa verification conference 2006 (HVC'06), Lecture Notes in Computer Science. Springer, 2006.
27. K. Sen, M. Viswanathan, and G. Agha. Statistical model checking of black-box probabilistic systems. In 16th International Conference on Computer Aided Verification (CAV'04), volume 3114 of LNCS, pages 202-215, 2004.
28. S. F. Siegel, A. Mironova, G. S. Avrunin, and L. A. Clarke. Using model checking with symbolic execution to verify parallel numerical programs. In ISSTA '06: Proceedings of the 2006 international symposium on Software testing and analysis, pages 157-168. ACM Press, 2006.
29. S. D. Stoller. Testing concurrent Java programs using randomized scheduling. In Workshop on Runtime Verification (RV'02), volume 70 of ENTCS, 2002.
30. R. Vallee-Rai, L. Hendren, V. Sundaresan, P. Lam, E. Gagnon, and P. Co. Soot - a Java optimization framework. In CASCON 1999, pages 125-135, 1999.
31. A. Valmari. Stubborn sets for reduced state space generation. In 10th Conference on Applications and Theory of Petri Nets, pages 491-515, 1991.
32. W. Visser, K. Havelund, G. Brat, and S. Park. Model checking programs. In Proceedings of the 15th International Conference on Automated Software Engineering. IEEE Computer Science Press, Sept. 2000.
33. H. L. S. Younes and R. G. Simmons. Probabilistic verification of discrete event systems using acceptance sampling. In 14th International Conference on Computer Aided Verification (CAV'02), volume 2404 of LNCS, pages 223-235. Springer, 2002.