Thorough Checking Revisited.

Shiva Nejati Mihaela Gheorghiu Marsha Chechik

Published in: FMCAD (2006)

Keyphrases

website
database systems
machine learning
computer vision
domain knowledge
domain specific
consistency checking