Experimental evaluation of certification trails using abstract data type validation.

Dwight S. Wilson, Gregory F. Sullivan, Gerald M. Masson

Browse the full COMPSAC paper archive.