JCrasher: an automatic robustness tester for Java

This publication has 11 references indexed in Scilit:

• Tool-assisted unit test selection based on operational violations
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2004
• Eager Class Initialization for Java
  Published by Springer Nature ,2002
• An Informal Formal Method for Systematic JUnit Test Case Generation
  Published by Springer Nature ,2002
• Korat
  Published by Association for Computing Machinery (ACM) ,2002
• A framework for practical, automated black‐box testing of component‐based software†
  Software Testing, Verification and Reliability, 2001
• Hierarchical GUI test case generation using automated planning
  IEEE Transactions on Software Engineering, 2001
• QuickCheck
  Published by Association for Computing Machinery (ACM) ,2000
• Building a Java virtual machine for server applications: The Jvm on OS/390
  IBM Systems Journal, 2000
• Automated robustness testing of off-the-shelf software components
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1998
• ADL—an interface definition language for specifying and testing software
  ACM SIGPLAN Notices, 1994