Mutation Testing Based Evaluation of Formal Verification Tools. - A. Chakrapani Rao; A. Raouf; Gunwant Dhadyalla; V. Pasupuleti (DSA, 2017)