Automatic Generation Method of State Transition Mapping Tree | IEEE Conference Publication | IEEE Xplore