Debugging optimised code using function interpretation (1997)

by K ELMS
Venue:In Automated and Algorithmic Debugging