Palus: A hybrid automated test generation tool for java

Proceedings - International Conference on Software Engineering

Volumn , Issue , 2011, Pages 1182-1184

  Zhang, Sai ^a  

^a University of Washington   (United States)

Author keywords

automated test generation; static and dynamic analyses

Indexed keywords

AUTOMATED TEST GENERATIONS; DEPENDENCE RELATION; DYNAMIC PHASE; FORMAL SPECIFICATION; JAVA PROGRAM; OBJECT-ORIENTED PROGRAM; OPEN-SOURCE; PROGRAM STATE; RANDOM TESTS; STATIC AND DYNAMIC; STATIC AND DYNAMIC ANALYSES; STATIC PHASE; UNIT TESTS;

CONFERENCE CALLS; DYNAMIC ANALYSIS; JAVA PROGRAMMING LANGUAGE; OBJECT ORIENTED PROGRAMMING; SOFTWARE ENGINEERING; STATIC ANALYSIS; TESTING;

SOFTWARE TESTING;

EID: 79959885144     PISSN: 02705257     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1985793.1986036     Document Type: Conference Paper

References (17)

1. S. Artzi, M. D. Ernst, A. Kieżun, C. Pacheco, and J. H. Perkins. Finding the needles in the haystack: Generating legal test inputs for object-oriented programs. In 1st Workshop on Model-Based Testing and Object-Oriented Systems (M-TOOS), Portland, OR, October 23, 2006.
2. C. Boyapati, S. Khurshid, and D. Marinov. Korat: automated testing based on java predicates. In Proc. ISSTA '02, pages 123-133, 2002.
3. C.Csallner and Y. Smaragdakis. JCrasher: an automatic robustness tester for Java. In Software: Practice and Experience, 34(11), pages 1025-1050, 2004.
4. C. Csallner, Y. Smaragdakis, and T. Xie. DSD-Crasher: A hybrid analysis tool for bug finding. ACM Trans. Softw. Eng. Methodol., 17(2):1-37, 2008.
5. V. Dallmeier, N. Knopp, C. Mallon, S. Hack, and A. Zeller. Generating test cases for specification mining. In ISSTA '10, pages 85-96, 2010.
6. M. D. Ernst. Static and dynamic analysis: Synergy and duality. In WODA 2003: ICSE Workshop on Dynamic Analysis, pages 24-27, May 9, 2003.
7. P. Godefroid, N. Klarlund, and K. Sen. DART: directed automated random testing. In Proc.PLDI '05, pages 213-223, New York, NY, USA, 2005. ACM.
8. K. S. Jones. A statistical interpretation of term specificity and its application in retrieval. Journal of Documentation, 28:11-21, 1972.
9. K.Claessen and J.Hughes. QuickCheck: a lightweight tool for random testing of Haskell programs. In Proc. ICFP '00, pages 268-279, Sept.2000.
10. D. Marinov and S. Khurshid. TestEra: A novel framework for automated testing of java programs. In Proc. ASE '01, page 22, 2001.
11. C. Pacheco, S. K. Lahiri, and T. Ball. Finding errors in .NET with feedback-directed random testing. In Proc. ISSTA 2008, July 20-24, 2008.
12. C. Pacheco, S. K. Lahiri, M. D. Ernst, and T. Ball. Feedback-directed random test generation. In ICSE '07, pages 75-84, Minneapolis, MN, USA, 2007.
13. C. S. Pǎsǎreanu, P. C. Mehlitz, D. H. Bushnell, K. Gundy-Burlet, M. Lowry, S. Person, and M. Pape. Combining unit-level symbolic execution and system-level concrete execution for testing nasa software. In ISSTA '08, pages 15-26, New York, NY, USA, 2008. ACM.
14. D. Saff, M. Boshernitsan, and M. D. Ernst. Theories in practice: Easy-to-write specifications that catch bugs. Technical Report MIT-CSAIL-TR-2008-002, MIT CSAIL, Cambridge, MA, January 14, 2008.
15. K. Sen, D. Marinov, and G. Agha. CUTE: a concolic unit testing engine for C. In Proc. ESEC/FSE-13, pages 263-272, 2005.
16. N. Tillmann and W. Schulte. Parameterized unit tests. SIGSOFT Softw. Eng. Notes, 30(5):253-262, 2005. (Pubitemid 43218835)
17. W. Zheng, Q. Zhang, M. Lyu, and T. Xie. Random unit-test generation with MUT-aware sequence recommendation. In Proc. ASE 2010, September 2010.