A hybrid program knowledge base for static program analyzers.

Stan Jarzabek Han Shen Hock Chuan Chan

Published in: APSEC (1994)

Keyphrases

knowledge base
knowledge acquisition
dynamic analysis
data sets
neural network
database
databases
expert systems
description logics
test cases
computer programs