Подписаться
Yushan ZHANG
Yushan ZHANG
Tencent Inc.
Подтвержден адрес электронной почты в домене tencent.com - Главная страница
Название
Процитировано
Процитировано
Год
Duplicate-sensitivity Guided Transformation Synthesis for DBMS Correctness Bug Detection
Y Zhang, P Yao, R Wu, C Zhang
https://arxiv.org/abs/2107.03660, 2021
22021
EdSketch: execution-driven sketching for Java
J Hua, Y Zhang, Y Zhang, S Khurshid
International Journal on Software Tools for Technology Transfer 21 (3), 249-265, 2019
2019
В данный момент система не может выполнить эту операцию. Повторите попытку позднее.
Статьи 1–2