Contract-Checking Wrappers for C++ Classes.

Stephen H. Edwards Murali Sitaraman Bruce W. Weide Joseph E. Hollingsworth

Published in: IEEE Trans. Software Eng. (2004)

Keyphrases

data extraction
artificial intelligence
feature selection
decision trees
image sequences
supply chain
object classes
consistency checking