Automated Mining and Checking of Formal Properties in Natural Language Requirements. - Xingxing Pi; Jianqi Shi; Yanhong Huang; Hansheng Wei (KSEM (2), 2019)