62 citations · 238 across the 21 of their papers we have counts for
11 papers · 1 filter
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…
On the Effectiveness of Large Language Models in Writing Alloy Formulas
Yang Hong, Shan Jiang, Yulei Fu +1
Declarative specifications have a vital role to play in developing safe and dependable software systems. Writing specifications correctly, however, remains particularly challenging…
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…
Detecting Multi-Parameter Constraint Inconsistencies in Python Data Science Libraries
Xiufeng Xu, Fuman Xie, Chenguang Zhu +3
Modern AI- and Data-intensive software systems rely heavily on data science and machine learning libraries that provide essential algorithmic implementations and computational fram…
Distributed Symbolic Execution using Test-Depth Partitioning
Shikhar Singh, Sarfraz Khurshid
Symbolic execution is a classic technique for systematic bug finding, which has seen many applications in recent years but remains hard to scale. Recent work introduced ranged symb…
Executable Trigger-Action Comments
Pengyu Nie, Rishabh Rai, Junyi Jessy Li +3
Natural language elements, e.g., todo comments, are frequently used to communicate among the developers and to describe tasks that need to be performed (actions) when specific cond…
Symbolic Execution for Deep Neural Networks
Divya Gopinath, Kaiyuan Wang, Mengshi Zhang +2
Deep Neural Networks (DNN) are increasingly used in a variety of applications, many of them with substantial safety and security concerns. This paper introduces DeepCheck, a new ap…
Fault Localization for Declarative Models in Alloy
Kaiyuan Wang, Allison Sullivan, Darko Marinov +1
Fault localization is a popular research topic and many techniques have been proposed to locate faults in imperative code, e.g. C and Java. In this paper, we focus on the problem o…
DeepRoad: GAN-based Metamorphic Autonomous Driving System Testing
Mengshi Zhang, Yuqun Zhang, Lingming Zhang +2
While Deep Neural Networks (DNNs) have established the fundamentals of DNN-based autonomous driving systems, they may exhibit erroneous behaviors and cause fatal accidents. To reso…