Yuan Chen, Anbang Wang, Junjie Wang, Luo Liu, Yuanzhang Song, Qinghua Ha. Automatic Test Transition Paths Generation Approach from EFSM Using State Tree. In 2018 IEEE International Conference on Software Quality, Reliability and Security Companion, QRS Companion 2018, Lisbon, Portugal, July 16-20, 2018. pages 87-93, IEEE, 2018. [doi]
Abstract is missing.