原文: 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