Functional Search-based Testing from State Machines | IEEE Conference Publication | IEEE Xplore