基于数据库事务的不变式推导 (Deriving Invariants from Database Transactions). - Hongchi Zeng; Xin Peng 001; Wenyun Zhao (计算机科学, 2017)

MashReDroid: enabling end-user creation of Android mashups based on record and replay. - Jiahuan Zheng; Liwei Shen; Xin Peng 001; Hongchi Zeng; Wenyun Zhao (Sci. China Inf. Sci., 2020)