Login / Signup

Automatically Calculating Quantitative Integrity Measures for Imperative Programs.

Tom ChothiaChris NovakovicRajiv Ranjan Singh
Published in: DPM/SETOP/QASA (2014)
Keyphrases
  • imperative programs
  • quantitative measures
  • automatically generated
  • data sets
  • dynamic logic
  • databases
  • integrity constraints
  • database
  • search engine
  • expert systems
  • qualitative and quantitative
  • evaluation measures