JCrasher: An automatic robustness tester for Java

Software - Practice and Experience

Volumn 34, Issue 11, 2004, Pages 1025-1050

  Csallner, Christoph ^a   Smaragdakis, Yannis ^a  

^a Georgia Institute of Technology   (United States)

Author keywords

Java; Random testing; Software testing; State re initialization; Test case generation

Indexed keywords

RANDOM TESTING; SOFTWARE TESTING; STATE RE-INITIALIZATION; TEST CASE GENERATION;

CODES (SYMBOLS); COMPUTER PROGRAMMING; COMPUTER SOFTWARE; ERROR ANALYSIS; REGRESSION ANALYSIS; TESTING;

JAVA PROGRAMMING LANGUAGE;

EID: 4444334164     PISSN: 00380644     EISSN: None     Source Type: Journal    
DOI: 10.1002/spe.602     Document Type: Article

References (24)

1. Beizer B. Black-Box Testing: Techniques for Functional Testing of Software and Systems. Wiley: New York, 1995.
2. Claessen K, Hughes J. QuickCheck: A lightweight tool for random testing of Haskell programs. Proceedings of the 5th ACM SIGPLAN International Conference on Functional Programming (ICFP '00), Odersky M, Wadler P (eds.). ACM Press: New York, 2000; 268-279.
3. Forrester JE, Miller BP. An empirical study of the robustness of Windows NT applications using random testing. Proceedings of the 4th USENIX Windows Systems Symposium. USENIX Association, 2000; 59-68.
4. Howe AE, von Mayrhauser A, Mraz RT. Test case generation as an AI planning problem. Automated Software Engineering 1997; 4(1):77-106.
5. Kropp NP, Koopman PJ, Siewiorek DP. Automated robustness testing of off-the-shelf software components. Digest of Papers: FTCS-28, The 28th Annual International Symposium on Fault-Tolerant Computing. IEEE Computer Society Press: Los Alamitos, CA, 1998; 230-239.
6. Memon AM, Pollack ME, Soffa ML. Hierarchical GUI test case generation using automated planning. IEEE Transactions on Software Engineering 2001; 27(2):144-155.
7. Parasoft Jtest page. http://www.parasoft.com/jsp/products/home.jsp?product=Jtest [7 December 2003].
8. SilverMark Inc. Enhanced JUnit version 3.7 user reference. http://www.silvermark.com/Product/enhancedjunit/documentation/ enhancedjunitmanual.pdf [7 December 2003].
9. Beck K, Gamma E. Test infected: Programmers love writing tests. Java Report 1998; 3(7):37-50.
10. Chan P, Lee R, Kramer D. The Java Class Libraries (2nd edn.), vol. 1. Addison-Wesley: Reading, MA, 1998.
11. Cheon Y, Leavens G. A simple and practical approach to unit testing: The JML and JUnit way. Proceedings of ECOOP 2000 - 16th European Conference on Object-Oriented Programming, Magnusson B (ed.). Springer: Berlin, 2002; 231-255.
12. Dillenberger DN, Bordawekar R, Clark CW, Durand D, Emmes D, Gohda 0, Howard S, Oliver MF, Samuel F, St John RW. Building a Java virtual machine for server applications: The JVM on OS/390. IBM Systems Journal 2000; 39(1):194-210.
13. Lindholm T, Yellin F. The Java™ Virtual Machine Specification (2nd edn). Addison-Wesley: Reading, MA, 1999.
14. Bytecode Engineering Library (BCEL) page, http://jakarta.apache.org/bcel/ [7 December 2003].
15. Kozen D, Stillerman M. Eager class initialization for Java. Proceedings of the 7th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, (FTRTFT 2002), Damm W, Olderog ER (eds.). Springer: Berlin, 2002; 71-80.
16. Stotts D, Lindsey M, Antley A. An informal formal method for systematic JUnit test case generation. XP/Agile Universe 2002, Second XP Universe and First Agile Universe Conference, Wells D, Williams LA (eds.). Springer: Berlin, 2002; 131-143.
17. Xie T, Notkin D. Tool-assisted unit test selection based on operational violations. Proceedings 18th IEEE International Conference on Automated Software Engineering (ASE 2003). IEEE Computer Society Press: Los Alamitos, CA, 2003; 40-48.
18. Junit Test Generator page, http://sourceforge.net/projects/junittestmaker/ [7 December 2003].
19. Pan J, Koopman P, Siewiorek D, Huang Y, Gruber R, Jiang ML. Robustness testing and hardening of CORBA ORB implementations. The International Conference on Dependable Systems and Networks (DSN'01). IEEE Computer Society Press: Los Alamitos, CA, 2001; 141-150.
20. Edwards SH. A framework for practical, automated black-box testing of component-based software. Software Testing, Verification and Reliability 2001; 11(2):97-111.
21. Sankar S, Hayes R. ADL - an interface description language for specifying and testing software, ACM SIGPLAN Notices 1994; 29(8): 13-21.
22. Zweben SH, Heym WD, Kimmich J. Systematic testing of data abstractions based on software specifications. Software Testing, Verification and Reliability 1992; 1(4):39-55.
23. Boyapati C, Khurshid S, Marinov D. Korat: Automated testing based on Java predicates, Proceedings of the International Symposium on Software Testing and Analysis (ISSTA 2002), Frankl PG (ed.). ACM Press: New York, 2002; 123-133.
24. JCrasher page, http://www.cc.gatech.edu/̃csallnch/jcrasher/ [7 December 2003].