Identification of structured automata for test evaluation | IEEE Conference Publication | IEEE Xplore