原文： https://www.veracode.com/blog/research/automated-unit-test-generation-java

作者使用EvoSuite为wox生成了一套test case

EvoSuite包含不同的生成策略：

• Search Based Test Generation : Uses a genetic algorithm to evolve the population of candidate test cases that satisfy a particular fitness function.

• Constraint Based Test Generation : Uses symbolic execution to generate constraints and solve those constraints to explore different paths in the program.

介绍这两个算法的paper：http://www.evosuite.org/wp-content/papercite-data/pdf/ase11.pdf

其他自动生成test case的框架： CATG， Randoop，Symbolic Pathfinder

EvoSuite和其他同类工具的比较：http://www.evosuite.org/wp-content/papercite-data/pdf/fittest2014.pdf