An Empirical Study on the Scalability of Selective Mutation Testing. - Jie Zhang 050; Muyao Zhu; Dan Hao 001; Lu Zhang 023 (ISSRE, 2014)

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