A platform for identifying experts and paper retrieval in citation networks. - Qianwei Wang; Qianshan Yu; Xinyue Yu (ASONAM, 2016)

When Regression Verification Meets CEGAR. - Fei He 001; Qianshan Yu; Liming Cai (CoRR, 2018)

Enhancing precision of structured merge by proper tree matching. - Fengmin Zhu; Fei He 001; Qianshan Yu (ICSE (Companion Volume), 2019)

Incremental predicate analysis for regression verification. - Qianshan Yu; Fei He 001; Bow-Yaw Wang (Proc. ACM Program. Lang., 2020)

Efficient Summary Reuse for Software Regression Verification. - Fei He 001; Qianshan Yu; Liming Cai (IEEE Trans. Software Eng., 2022)