Automated Requirements Validation for ATP Software via Specification Review and Testing. - Weikai Miao; Geguang Pu; Yinbo Yao; Ting Su 001; Danzhu Bao; Yang Liu 003; Shuohao Chen; Kunpeng Xiong (ICFEM, 2016)