Automated Test Oracle Generation via Denotational Semantics

Hai-Feng Guo, Liang Cao, Yushu Song, Zongyan Qiu. Automated Test Oracle Generation via Denotational Semantics. In 2014 14th International Conference on Quality Software, Allen, TX, USA, October 2-3, 2014. pages 139-144, IEEE, 2014. [doi]

Abstract

Abstract is missing.