Accurate Specification Recovery for Effective Test Generation

Junda Zhao. SPLASH/ISSTA 2026 Doctoral Symposium.

A three-page overview of my dissertation research, presented at the SPLASH/ISSTA 2026 Doctoral Symposium on October 4, 2026.

• Paper (PDF)