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

Sudakshina Dutta, Dipankar Sarkar

Browse the full ENASE paper archive.