Automatic State-Based Test Generation Using Genetic Algorithms | IEEE Conference Publication | IEEE Xplore