Inner oracles: input-specific assertions on internal states. - Xiong, Yingfei; Hao, Dan; Zhang, Lu; Zhu, Tao; Zhu, Muyao; Lan, Tian (2015)