Xingxing Pi, Jianqi Shi, Yanhong Huang, Hansheng Wei. Automated Mining and Checking of Formal Properties in Natural Language Requirements. In Christos Douligeris, Dimitris Karagiannis, Dimitris Apostolou, editors, Knowledge Science, Engineering and Management - 12th International Conference, KSEM 2019, Athens, Greece, August 28-30, 2019, Proceedings, Part II. Volume 11776 of Lecture Notes in Computer Science, pages 75-87, Springer, 2019. [doi]
Abstract is missing.