A Comparative Study of Invariants Generated by Daikon and User-Defined Design Contracts.

Farhana Rahman Yvan Labiche

Published in: QSIC (2014)

Keyphrases

user defined
data types
user interface
computer aided
neural network
design process
query processor
databases
relational databases
query language
building blocks
design principles
engineering design