Applying algebraic specification and data mutation strategy to test class
YU Bo1,2,WANG Kun1
Computer Engineering and Applications . 2011, (21): 86 -89 .