Search-based Testing using State-based Fitness | IEEE Conference Publication | IEEE Xplore