Weikai Miao, Geguang Pu, Yinbo Yao, Ting Su, Danzhu Bao, Yang Liu 0003, Shuohao Chen, Kunpeng Xiong. Automated Requirements Validation for ATP Software via Specification Review and Testing. In Kazuhiro Ogata, Mark Lawford, Shaoying Liu, editors, Formal Methods and Software Engineering - 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings. Volume 10009 of Lecture Notes in Computer Science, pages 26-40, 2016. [doi]
Abstract is missing.