A. Chakrapani Rao, A. Raouf, Gunwant Dhadyalla, V. Pasupuleti. Mutation Testing Based Evaluation of Formal Verification Tools. In International Conference on Dependable Systems and Their Applications, DSA 2017, Beijing, China, October 31 - November 2, 2017. pages 1-7, IEEE, 2017. [doi]
Abstract is missing.