Yingfei Xiong, Dan Hao, Lu Zhang, Tao Zhu, Muyao Zhu, Tian Lan
Inner oracles: input-specific assertions on internal states
ESEC-FSE, 2015.
@inproceedings{ESEC-FSE-2015-XiongH0ZZL,
author = "Yingfei Xiong and Dan Hao and Lu Zhang and Tao Zhu and Muyao Zhu and Tian Lan",
booktitle = "{Proceedings of the 10th Joint Meeting of the 15th European Software Engineering Conference and the 23rd Symposium on the Foundations of Software Engineering}",
doi = "10.1145/2786805.2803204",
isbn = "978-1-4503-3675-8",
pages = "902--905",
publisher = "{ACM}",
title = "{Inner oracles: input-specific assertions on internal states}",
year = 2015,
}