CEDA: Control-flow Error Detection through Assertions.

Ramtilak Vemu, Jacob A. Abraham

Browse the full IOLTS paper archive.