PKorat: Parallel generation of structurally complex test inputs

Proceedings - 2nd International Conference on Software Testing, Verification, and Validation, ICST 2009

Volumn , Issue , 2009, Pages 250-259

  Siddiqui, Junaid Haroon ^a   Khurshid, Sarfraz ^a  

^a UNIVERSITY OF TEXAS AT AUSTIN   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATED TESTING; BOUNDED INPUT; CONSTRAINT SOLVING; INPUT SIZE; JAVA PROGRAM; PARALLEL VERSION; SEARCH SPACES; STATE SPACE; STRUCTURAL CONSTRAINTS; TEST INPUTS;

COMPUTER SOFTWARE SELECTION AND EVALUATION; JAVA PROGRAMMING LANGUAGE; SOFTWARE TESTING; VERIFICATION;

PARALLEL ALGORITHMS;

EID: 67650112172     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICST.2009.48     Document Type: Conference Paper

References (38)

1. C. Boyapati, S. Khurshid, and D. Marinov. Korat: automated testing based on java predicates. In ISSTA '02: Proceedings of the 2002 ACM SIGSOFT international symposium on Software testing and analysis, pages 123-133, New York, NY, USA, 2002. ACM.
2. L. A. Clarke. A system to generate test data and symbolically execute programs. IEEE Trans. Softw. Eng., 2(3):215- 222, 1976.
3. B. Daniel, D. Dig, K. Garcia, and D. Marinov. Automated testing of refactoring engines. In ESEC-FSE '07: Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering, pages 185-194, New York, NY, USA, 2007. ACM.
4. 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. (Pubitemid 47430636)
5. P. Godefroid. Model checking for programming languages using VeriSoft. In POPL'97: Proceedings of the Annual ACM Symposium on the Principles of Programming Languages, Paris, France, Jan. 1997.
6. P. Godefroid, N. Klarlund, and K. Sen. Dart: directed automated random testing. In PLDI '05: Proceedings of the 2005 ACM SIGPLAN conference on Programming language design and implementation, 2005.
7. A. Gotlieb, B. Botella, and M. Rueher. Automatic test data generation using constraint solving techniques. SIGSOFT Softw. Eng. Notes, 23(2):53-62, 1998.
8. A. Grama and V. Kumar. State of the art in parallel search techniques for discrete optimization problems. IEEE Trans. on Knowl. and Data Eng., 11(1):28-35, 1999.
9. G. J. Holzmann. The model checker spin. IEEE Trans. Softw. Eng., 23(5):279-295, 1997. (Pubitemid 127828295)
10. J. C. Huang. An approach to program testing. ACMComput. Surv., 7(3):113-128, 1975.
11. Message passing interface (mpi) library. http:// www-unix.mcs.anl.gov/ mpi.
12. D. Jackson. Software Abstractions: Logic, Language and Analysis. The MIT Press, Cambridge, MA, 2006.
13. V. K. Janakiram, D. P. Agrawal, and R.Mehrotra. A randomized parallel backtracking algorithm. IEEE Trans. Comput., 37(12):1665-1676, 1988.
14. M. D. Jones and J. Sorber. Parallel search for ltl violations. Int. J. Softw. Tools Technol. Transf., 7(1):31-42, 2005. (Pubitemid 40259403)
15. Texas advanced computing center (tacc). http://www. tacc.utexas.edu.
16. R. M. Karp and Y. Zhang. Randomized parallel algorithms for backtrack search and branch-and-bound computation. J. ACM, 40(3):765-789, 1993. (Pubitemid 23707878)
17. S. Khurshid and D. Marinov. Testera: Specification-based testing of java programs using sat. Automated Software Engg., 11(4):403-434, 2004.
18. S. Khurshid, C. Pasareanu, and W. Visser. Generalized symbolic execution for model checking and testing. In TACAS'03: Proceedings of the Conference on Tools and Algorithms for Construction and Analysis of Systems, Warsaw, Poland, April 2003.
19. J. C. King. Symbolic execution and program testing. Communications of the ACM, 19(7), 1976.
20. J. C. King. Symbolic execution and program testing. Commun. ACM, 19(7):385-394, 1976.
21. B. Korel. Automated test data generation for programs with procedures. In ISSTA '96: Proceedings of the 1996 ACM SIGSOFT international symposium on Software testing and analysis, pages 209-215, New York, NY, USA, 1996. ACM.
22. R. Kumar, D. Eric, G. Mercer, D. Quinn, O. Snell, D. Bryan, S. Morse, B. Y. University, B. Y. University, W. Embley, G. R. Bryce, and A. Dean. Load balancing parallel explicit state model checking. Electr. Notes Theor. Comput. Sci, 128, 2005.
23. V. Kumar, A. Grama, A. Gupta, and G. Karypis. Introduction to parallel computing: design and analysis of algorithms. Benjamin-Cummings Publishing Co., Inc., Redwood City, CA, USA, 1994.
24. F. Lerda and R. Sisto. Distributed-memory model checking with spin. In Proceedings of the 5th and 6th International SPIN Workshops on Theoretical and Practical Aspects of SPIN Model Checking, pages 22-39, London, UK, 1999. Springer-Verlag.
25. F. Lerda and W. Visser. Addressing dynamic issues of program model checking. In SPIN '01: Proceedings of the 8th international SPIN workshop on Model checking of software, pages 80-102, New York, NY, USA, 2001. Springer-Verlag New York, Inc. (Pubitemid 33276264)
26. B. Liskov and J. Guttag. Program Development in Java: Abstraction, Specification, and Object-Oriented Design. Addison-Wesley Longman Publishing Co., Inc., Boston, MA, USA, 2000.
27. D. Marinov. Automatic testing of software with structurally complex inputs. PhD thesis,Massachusetts Institute of Technology, Cambridge, MA, USA, 2005.
28. D. Marinov, A. Andoni, D. Daniliuc, S. Khurshid, and M. Rinard. An evaluation of exhaustive testing for data structures. Technical report, MIT Computer Science and Artificial Intelligence Laboratory Report MIT -LCS-TR-921, 2003.
29. D. Marinov and S. Khurshid. Testera: A novel framework for automated testing of java programs. In ASE '01: Proceedings of the 16th IEEE international conference on Automated software engineering, page 22, Washington, DC, USA, 2001. IEEE Computer Society.
30. A. Milicevic, S. Misailovic, D. Marinov, and S. Khurshid. Korat: A tool for generating structurally complex test inputs. In ICSE '07: Proceedings of the 29th international conference on Software Engineering, pages 771-774,Washington, DC, USA, 2007. IEEE Computer Society. (Pubitemid 47430717)
31. S. Misailovic, A. Milicevic, N. Petrovic, S. Khurshid, and D. Marinov. Parallel test generation and execution with korat. In ESEC-FSE '07: Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering, pages 135-144, New York, NY, USA, 2007. ACM.
32. R. Palmer and G. Gopalakrishnan. A distributed partial order reduction algorithm. In FORTE '02: Proceedings of the 22nd IFIP WG 6.1 International Conference Houston on Formal Techniques for Networked and Distributed Systems, page 370, London, UK, 2002. Springer-Verlag.
33. C. V. Ramamoorthy, S. B. F. Ho, andW. T. Chen. On the automated generation of program test data. IEEE Trans. Softw. Eng., 2(4):293-300, 1976.
34. K. Sen, D. Marinov, and G. Agha. CUTE: a concolic unit testing engine for C. In Proc. 13th ACM SIGSOFT International Symposium on Foundations of Software Engineering (FSE), 2005.
35. U. Stern and D. L. Dill. Parallelizing the murphi verifier. In CAV '97: Proceedings of the 9th International Conference on Computer Aided Verification, pages 256-278, London, UK, 1997. Springer-Verlag.
36. K. Stobie. Model based test generation and abstract state machine language, 2003. http://www.sasqag.org/ pastmeetings/asml.ppt.
37. K. Sullivan, J. Yang, D. Coppit, S. Khurshid, and D. Jackson. Software assurance by bounded exhaustive testing. In ISSTA '04: Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis, pages 133-142, New York, NY, USA, 2004. ACM. (Pubitemid 41121385)
38. W. Visser, K. Havelund, G. Brat, and S. Park. Model checking programs. In ASE '00: Proceedings of the 15th IEEE international conference on Automated software engineering, page 3, Washington, DC, USA, 2000. IEEE Computer Society.