Sign in

Automated Test Oracle Generation via Denotational Semantics.

Hai-Feng GuoLiang CaoYushu SongZongyan Qiu
Published in: QSIC (2014)
Keyphrases
  • denotational semantics
  • programming language
  • query language
  • general purpose
  • high level
  • relational databases
  • operational semantics