An interactive testability analysis program - ITTAP.

Deepak K. Goel Robert M. McDermott

Published in: DAC (1982)

Keyphrases

static analysis
artificial intelligence
real time
databases
database
neural network
digital libraries
user interaction
computer graphics
programming environment