1. On testing non-testable programs;Weyuker;Comput. J.,1982
2. Luciano Baresi, Michal Young, Test oracles, Technical report CIS-TR-01-02, University of Oregon, Department of Computer and Information Science, Eugene, OR, USA, August 2001. http://ix.cs.uoregon.edu/~michal/pubs/oracles.html.
3. Software Testing and Analysis: Process, Principles, and Techniques;Pezzè,2008
4. JCrasher: an automatic robustness tester for Java;Csallner;Softw. Pract. Exp.,2004
5. Check ‘n’ crash: combining static checking and testing;Csallner,2005