Yingfei Xiong, Dan Hao, Lu Zhang 0023, Tao Zhu, Muyao Zhu, Tian Lan. Inner oracles: input-specific assertions on internal states. In Elisabetta Di Nitto, Mark Harman, Patrick Heymans, editors, 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, ACM, 2015. [doi]
Abstract is missing.