Automated Test Oracle Generation via Denotational Semantics.

Hai-Feng Guo Liang Cao Yushu Song Zongyan Qiu

Published in: QSIC (2014)

Keyphrases

denotational semantics
programming language
query language
general purpose
high level
relational databases
operational semantics