An UML Behavior Diagram Based Automatic Testing Approach | IEEE Conference Publication | IEEE Xplore