A Multi-Layer Fault Triggering Framework based on Evolutionary Strategy Guided Symbolic Execution for Automated Test Case Generation. - Zhiyu Duan; Yujia Li; Pubo Ma; Xiaodong Gou; Shunkun Yang (QRS Companion, 2022)