Anvesh Komuravelli, Srobona Mitra, Ansuman Banerjee, Pallab Dasgupta. Backward Reasoning with Formal Properties: A Methodology for Bug Isolation on Simulation Traces. In Proceedings of the 20th IEEE Asian Test Symposium, ATS 2011, New Delhi, India, November 20-23, 2011. pages 238-243, IEEE Computer Society, 2011. [doi]
Abstract is missing.