Automatic Test Cases Generation Based on State Machine Diagram of Systems Modeling Language | IEEE Conference Publication | IEEE Xplore