Dynamic validation of programs using assertion checking facilities. - Wen-Tsuen Chen; Jone-Ping Ho; Chia-Hsien Wen (COMPSAC, 1978)