%0 Conference Paper %1 conf/qsic/GuoCSQ14 %A Guo, Hai-Feng %A Cao, Liang %A Song, Yushu %A Qiu, Zongyan %B QSIC %D 2014 %I IEEE %K dblp %P 139-144 %T Automated Test Oracle Generation via Denotational Semantics. %U http://dblp.uni-trier.de/db/conf/qsic/qsic2014.html#GuoCSQ14 %@ 978-1-4799-7197-8

@inproceedings{conf/qsic/GuoCSQ14, added-at = {2014-11-26T00:00:00.000+0100}, author = {Guo, Hai-Feng and Cao, Liang and Song, Yushu and Qiu, Zongyan}, biburl = {https://www.bibsonomy.org/bibtex/211a195626613bd6f30fa0a0ce374a252/dblp}, booktitle = {QSIC}, crossref = {conf/qsic/2014}, ee = {http://dx.doi.org/10.1109/QSIC.2014.38}, interhash = {e50f7b07297618c688b306d8c637c2df}, intrahash = {11a195626613bd6f30fa0a0ce374a252}, isbn = {978-1-4799-7197-8}, keywords = {dblp}, pages = {139-144}, publisher = {IEEE}, timestamp = {2015-06-18T14:33:00.000+0200}, title = {Automated Test Oracle Generation via Denotational Semantics.}, url = {http://dblp.uni-trier.de/db/conf/qsic/qsic2014.html#GuoCSQ14}, year = 2014 }