Automated Validation of Class Invariants in C ++ Applications.

Tanton H. Gibbs Brian A. Malloy James F. Power

Published in: ASE (2002)

Keyphrases

semi automated
semi supervised
database
databases
artificial intelligence
information systems
image processing
three dimensional
image sequences
multiscale
digital libraries
training set
camera calibration