Yingfei Xiong, Dan Hao, Lu Zhang, Tao Zhu, Muyao Zhu, Tian Lan, “Inner Oracles: Input-Specific Assertions on Internal States,” Proceedings of 10th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC-FSE), (New Ideas and Emerging Results), August 31 – 7 September, 2015

@inproceedings{YingfeiXiongFSE-NIER15,

  author    = {Yingfei Xiong and Dan Hao and Lu Zhang and Tao Zhu and Muyao Zhu and Tian Lan},

  title     = {Inner Oracles: Input-Specific Assertions on Internal States},

  booktitle = {Proc. of ESEC-FSE},

year      = {2015}

}