Tang, Qiyi
344  results:
Search for persons X
?
 
?
4

Bridging formal methods and machine learning with model che..:

Bensalem, Saddek ; Huang, Xiaowei ; Ruan, Wenjie...
Journal of Logical and Algebraic Methods in Programming.  137 (2024)  - p. 100941 , 2024
 
?
7

BinaryAI: Binary Software Composition Analysis via Intellig..:

, In: Proceedings of the IEEE/ACM 46th International Conference on Software Engineering,
Jiang, Ling ; An, Junwen ; Huang, Huihui... - p. 1-13 , 2024
 
?
11

BinaryAI: Binary Software Composition Analysis via Intellig..:

, In: 2024 IEEE/ACM 46th International Conference on Software Engineering (ICSE),
Jiang, Ling ; An, Junwen ; Huang, Huihui... - p. 2771-2783 , 2024
 
?
13

Enhancing DNN-Based Binary Code Function Search With Low-Co..:

Wang, Huaijin ; Ma, Pingchuan ; Yuan, Yuanyuan...
IEEE Transactions on Software Engineering.  49 (2023)  1 - p. 226-250 , 2023
 
?
15

Third-Party Library Dependency for Large-Scale SCA in the C..:

, In: Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis,
Jiang, Ling ; Yuan, Hengchen ; Tang, Qiyi... - p. 1383-1395 , 2023
 
1-15