Inner Oracles: Input-Specific Assertions on Internal States

@inproceedings{FSE15-NIER,
  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},
  year = {2015},
  month = {8},
  booktitle = {ESEC/FSE'15-NIER: New Idea Track at 10th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, pages 902-905, Bergamo, Italy},
  site_category = {otrack},
  site_hide_home = {true},
  site_legacy_file = {papers/ESECFSE15-NIER.pdf},
  site_slides = {papers/ESECFSE15-NIER-slides.pdf},
  site_tool = {http://ayzk.github.io/InnerTest/}
}