Prospects and Limitations of Automatic Assertion Generation for Loop Programs.

Published in: SIAM J. Comput. (1977)

Keyphrases

fully automatic
semi automatic
video sequences
data driven
databases
neural network
social networks
decision making
web services
case study