Analyzing graph-based algorithms employed to generate test cases from finite state machines | IEEE Conference Publication | IEEE Xplore