Test Data Generation from UML State Machine Diagrams using GAs | IEEE Conference Publication | IEEE Xplore