Author

Zhou-Yang Jia

h-index 14 View on Semantic Scholar

We have 2 of 48 papers

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 Aug 2026

Behavior Specification-Guided Program Synthesis for Binary Deobfuscation

BinMirror is introduced, an approach that reformulates binary deobfuscation as a behavior-specification-guided program synthesis task that synthesizes high-quality source code and validates it against runtime observations collected from heavily obfuscated binaries.

Kang-Chen Zhu, Shang-Wen Wang, Zhi-Liang Tian et al. · 0 citations

CTForge: Automatically Generating Test Suites for Software Configuration

CTForge is presented, an LLM-powered framework that automatically generates configuration-specific test suites and demonstrates that structured configuration-aware refinement is essential for LLM to produce effective test suites.

Yuanliang Zhang, Zhizheng Zheng, Shanshan Li et al. · 0 citations