Automatic Test Transition Paths Generation Approach from EFSM Using State Tree. - Yuan Chen; Anbang Wang; Junjie Wang; Luo Liu; Yuanzhang Song; Qinghua Ha (QRS Companion, 2018)