Dynamic validation of programs using assertion checking facilities.

Wen-Tsuen Chen, Jone-Ping Ho, Chia-Hsien Wen

Browse the full COMPSAC paper archive.