2 citations · 2 across the 5 of their papers we have counts for
5 papers
Symbolon: Symbolic Execution by Learning Code Transformation
Jie Zhu, Penghui Li, Zhongxuan Li +4
Symbolic execution is a powerful program analysis technique with broad applications, such as vulnerability detection, security testing, and malware analysis. However, this techniqu…
Locus: Agentic Predicate Synthesis for Directed Fuzzing
Jie Zhu, Chihao Shen, Ziyang Li +3
Directed fuzzing aims to find program inputs that lead to specified target program states. It has broad applications, such as debugging system crashes, confirming reported bugs, an…
Commenting Higher-level Code Unit: Full Code, Reduced Code, or Hierarchical Code Summarization
Weisong Sun, Yiran Zhang, Jie Zhu +8
Commenting code is a crucial activity in software development, as it aids in facilitating future maintenance and updates. To enhance the efficiency of writing comments and reduce d…
Automating Method Naming with Context-Aware Prompt-Tuning
Jie Zhu, Lingwei Li, Li Yang +2
Method names are crucial to program comprehension and maintenance. Recently, many approaches have been proposed to automatically recommend method names and detect inconsistent name…
DeepRelease: Language-agnostic Release Notes Generation from Pull Requests of Open-source Software
Huaxi Jiang, Jie Zhu, Li Yang +2
The release note is an essential software artifact of open-source software that documents crucial information about changes, such as new features and bug fixes. With the help of re…