13:40-14:00 Yanwei Ren, Youda Gu, Zongqing Ma, Hualiang Zhu and Fei Yin: Cross-Device Difference Detector for Mobile Application GUI Compatibility Testing 14:00-14:20 Qi Zhan, You Wu, Haipeng Qu and Xiaoqi Zhao: AcoFuzz: Adaptive Energy Allocation for Greybox Fuzzing