已发表成果:
WOK 论文 27 篇;中文核心 1 篇;
smartPip: A Smart Approach to Resolving Python Dependency Conflict Issues
Accelerating Build Dependency Error Detection via Virtual Build
Targeting Requirements Violations of Autonomous Driving Systems by Dynamic Evolutionary Search (HOP at GECCO'22)
BEACON: Directed Grey-Box Fuzzing with Provable Path Pruning
MVD: Memory-Related Vulnerability Detection Based on Flow-Sensitive Graph Neural Networks