Qianshan Yu

According to our database, Qianshan Yu authored at least 5 papers between 2016 and 2022.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2022

Efficient Summary Reuse for Software Regression Verification.

Fei He, Qianshan Yu, Liming Cai

IEEE Trans. Software Eng., 2022

2020

Incremental predicate analysis for regression verification.

Qianshan Yu, Fei He, Bow-Yaw Wang

Proc. ACM Program. Lang., 2020

2019

Enhancing precision of structured merge by proper tree matching.

Fengmin Zhu, Fei He, Qianshan Yu

Proceedings of the 41st International Conference on Software Engineering: Companion Proceedings, 2019

2018

When Regression Verification Meets CEGAR.

Fei He, Qianshan Yu, Liming Cai

CoRR, 2018

2016

A platform for identifying experts and paper retrieval in citation networks.

Qianwei Wang, Qianshan Yu, Xinyue Yu

Proceedings of the 2016 IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining, 2016