Author

Jia-Wan Wang

2 papers indexed here

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

Preprint Oct 2026

SpecAgent: Empowering Program Verification with Agentic Synthesis of Formal Program Specifications

Formal specifications are essential for deductive program verification, providing semantic abstractions for compositional verification of complex software. However, manually constructing specifications is labor-intensive, motivating automated synthesis. Despite recent advances in large language models (LLMs), existing...

Le-Zhi Ma, Han Wang, Shang-Qing Liu et al. · 0 citations

Open access Oct 2026

MG-Fuzz: Model-Guided Fuzzing for Unsafe Scenario Discovery in Autonomous Driving Systems

As autonomous driving systems (ADS) are increasingly deployed in real-world environments, discovering diverse unsafe driving scenarios remains a fundamental yet difficult problem. Existing scenario generation and testing approaches often rely on black-box exploration or externally-observed heuristic feedback, which str...

Yulong Lyu, Rui-Qi Hong, Jia-Wan Wang et al. · Proceedings of the ACM on So... · 0 citations