An Enhanced Equivalence Checking Method to Handle Bugs in Programs with Recurrences

Sudakshina Dutta, Dipankar Sarkar. An Enhanced Equivalence Checking Method to Handle Bugs in Programs with Recurrences. In Leszek A. Maciaszek, Joaquim Filipe, editors, ENASE 2016 - Proceedings of the 11th International Conference on Evaluation of Novel Approaches to Software Engineering, Rome, Italy 27-28 April, 2016. pages 254-259, SciTePress, 2016. [doi]

Abstract

Abstract is missing.