4 papers · 1 filter
Generics-Aware Fuzz Target Generation for Rust Libraries via Structured API Analysis
Yiming Chen, Kaiwen Zhang, Guanjun Liu +2
Fuzzing Rust library APIs requires constructing well-typed, compilable call sequences that satisfy ownership rules, generic parameters, and trait bounds; existing tools ignore thes…
From Resource Flow to Executable Tests: Petri-Net-Guided LLM Test Generation for Concurrent Stateful Rust APIs
Kaiwen Zhang, Guanjun Liu
Concurrent stateful library APIs expose behavior through evolving resource ownership, lifecycle states, and competing interleavings. Large language models can synthesize executable…
A Synthesis Method of Safe Rust Code Based on Pushdown Colored Petri Nets
Kaiwen Zhang, Guanjun Liu
Safe Rust guarantees memory safety through strict compile-time constraints: ownership can be transferred, borrowing can temporarily guarantee either shared read-only or exclusive w…
Deep Learning Based Concurrency Bug Detection and Localization
Zuocheng Feng, Kaiwen Zhang, Miaomiao Wang +4
Concurrency bugs, caused by improper synchronization of shared resources in multi-threaded or distributed systems, are notoriously hard to detect and thus compromise software relia…