Inner oracles: input-specific assertions on internal states.
https://doi.org/10.1145/2786805.2803204
@inproceedings{DBLP:conf/sigsoft/XiongH0ZZL15,
author = {Yingfei Xiong and
Dan Hao and
Lu Zhang and
Tao Zhu and
Muyao Zhu and
Tian Lan},
editor = {Elisabetta Di Nitto and
Mark Harman and
Patrick Heymans},
title = {Inner oracles: input-specific assertions on internal states},
booktitle = {Proceedings of the 2015 10th Joint Meeting on Foundations of Software
Engineering, {ESEC/FSE} 2015, Bergamo, Italy, August 30 - September
4, 2015},
pages = {902--905},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2786805.2803204},
doi = {10.1145/2786805.2803204},
timestamp = {Tue, 06 Nov 2018 16:59:22 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/XiongH0ZZL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
本页面没有标签