1 code implementation • 23 Apr 2024 • Zhen Yang, Fang Liu, Zhongxing Yu, Jacky Wai Keung, Jia Li, Shuo Liu, Yifan Hong, Xiaoxue Ma, Zhi Jin, Ge Li
Specifically, UniTrans first craft a series of test cases for target programs with the assistance of source programs.