1. JPF-S.E: a symbolic execution extension to java pathfinder;Anand,2007
2. Tool support for randomized unit testing;Andrews,2006
3. Symbolic execution of floating-point computations. The Software Testing;Botella;Verification and Reliability Journal,2006
4. Adaptive random testing with cg constraint;Chan,2004
5. Adaptive random testing;Chen,2004