Qianshan Yu

Publication Activity (10 Years)

Years Active: 2016-2022
Publications (10 Years): 5

Top Topics

Citation Networks

Regression Methods

Top Venues

Proc. ACM Program. Lang.

ICSE (Companion Volume)

Publications

Fei He, Qianshan Yu, Liming Cai
Efficient Summary Reuse for Software Regression Verification. IEEE Trans. Software Eng. 48 (4) (2022)
Qianshan Yu, Fei He, Bow-Yaw Wang
Incremental predicate analysis for regression verification. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)
Fengmin Zhu, Fei He, Qianshan Yu
Enhancing precision of structured merge by proper tree matching. ICSE (Companion Volume) (2019)
Fei He, Qianshan Yu, Liming Cai
When Regression Verification Meets CEGAR. CoRR (2018)
Qianwei Wang, Qianshan Yu, Xinyue Yu
A platform for identifying experts and paper retrieval in citation networks. ASONAM (2016)