A Fitness Function for Search-based Testing of Java Classes, which is Based on the States Reached by the Object under Test
