Yushu Song

Publication Activity (10 Years)

Years Active: 2014-2014
Publications (10 Years): 0

Top Topics

Denotational Semantics

General Purpose

Top Venues

Publications

Hai-Feng Guo, Liang Cao, Yushu Song, Zongyan Qiu
Automated Test Oracle Generation via Denotational Semantics. QSIC (2014)