Dynamic validation of programs using assertion checking facilities.

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

Published in: COMPSAC (1978)

Keyphrases

computer programs
artificial intelligence
real world
data mining
dynamic environments
intermediate level
primitive operations