Cheng, Yixuan
Fan, Wenqing
Huang, Wei
Yang, Jingyu
Yu, Gaoqing
Liu, Wen
Funding for this research was provided by:
the major project of Science and Technology Innovation 2030 (2021ZD0111400)
Open project of the State Key Laboratory of Computer Architecture, Neural Network Enhanced Symbolic Execution Algorithm Research (CARCH201910)
the Fundamental Research Funds for the Central Universities (3132018XNG1814, 3132018XNG1815)
Article History
Received: 1 May 2023
Accepted: 29 August 2023
First Online: 7 November 2023
Declarations
:
: The authors declare that they have no competing interests.