Predictability by construction.

Paulo Merson, Scott A. Hissam

Browse the full OOPSLA paper archive.