4 papers
OBsmith: LLM-Powered JavaScript Obfuscator Testing
Shan Jiang, Chenguang Zhu, Sarfraz Khurshid
JavaScript obfuscators are widely deployed to protect intellectual property and resist reverse engineering, yet their correctness has been largely overlooked compared to performanc…
APRIL: API Synthesis with Automatic Prompt Optimization and Reinforcement Learning
Hua Zhong, Shan Jiang, Sarfraz Khurshid
APIs are central to modern software development, yet composing new APIs from large libraries is difficult due to the exponential search space; traditional component-based synthesis…
An approach for API synthesis using large language models
Hua Zhong, Shan Jiang, Sarfraz Khurshid
APIs play a pivotal role in modern software development by enabling seamless communication and integration between various systems, applications, and services. Component-based API…
Generating executable oracles to check conformance of client code to requirements of JDK Javadocs using LLMs
Shan Jiang, Chenguang Zhu, Sarfraz Khurshid
Software testing remains the most widely used methodology for validating quality of code. However, effectiveness of testing critically depends on the quality of test suites used. T…