Sign in

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

Farhana RahmanYvan 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