Tools and Partial Analysis.

Edmund M. Clarke Jeannette M. Wing

Published in: ACM Comput. Surv. (1996)

Keyphrases

quantitative analysis
user friendly
data mining
information systems
data sets
neural network
metadata
case study
three dimensional
building blocks
software tools
automatic analysis