Ina Papadhopulli and Elinda Mece, “A Fitness Function for Search-based Testing of Java Classes, which is Based on the States Reached by the Object under Test”, GJCST, vol. 16, no. C2, pp. 5–15, Mar. 2016.