10 citations · 11 across the 11 of their papers we have counts for
7 papers · 1 filter
Reachability Across the NL/PL Boundary: A Taxonomy-Driven Dataflow Model for LLM-Integrated Applications
Zihao Xu, Xiao Cheng, Ruijie Meng +1
LLM API calls have become a standard programming primitive, but they create a program boundary that disrupts traditional dataflow analysis. A runtime value may be inserted into a n…
Agentic Verification of Software Systems
Haoxin Tu, Huan Zhao, Yahui Song +3
Automatically generated code is gaining traction recently, owing to the prevalence of Large Language Models (LLMs). Further, the AlphaProof initiative has demonstrated the possibil…
AFLNet Five Years Later: On Coverage-Guided Protocol Fuzzing
Ruijie Meng, Van-Thuan Pham, Marcel Böhme +1
Protocol implementations are stateful which makes them difficult to test: Sending the same test input message twice might yield a different response every time. Our proposal to con…
Large Language Model assisted Hybrid Fuzzing
Ruijie Meng, Gregory J. Duck, Abhik Roychoudhury
Greybox fuzzing is one of the most popular methods for detecting software vulnerabilities, which conducts a biased random search within the program input space. To enhance its effe…
Program Environment Fuzzing
Ruijie Meng, Gregory J. Duck, Abhik Roychoudhury
Computer programs are not executed in isolation, but rather interact with the execution environment which drives the program behaviors. Software validation methods thus need to cap…
Greybox Fuzzing of Distributed Systems
Ruijie Meng, George Pîrlea, Abhik Roychoudhury +1
Grey-box fuzzing is the lightweight approach of choice for finding bugs in sequential programs. It provides a balance between efficiency and effectiveness by conducting a biased ra…
Linear-time Temporal Logic guided Greybox Fuzzing
Ruijie Meng, Zhen Dong, Jialin Li +2
Software model checking is a verification technique which is widely used for checking temporal properties of software systems. Even though it is a property verification technique,…