Weiwei Wang, Junxia Guo, Zheng Li, Ruilian Zhao: EFSM-Oriented Minimal Traces Set Generation Approach for Web Applications. COMPSAC (1) 2018: 12-21