Back to Results
First PageMeta Content
Automated theorem proving / Concolic testing / Software testing / Equations / Z3 / Solver / Equation solving / Mathematics / Abstraction / Software engineering


DryadSynth: A Concolic SyGuS Solver Xiaokang Qiu (joint work with Kangjing Huang and Yanjun Wang) Purdue University SYNT Workshop
Add to Reading List

Document Date: 2017-08-02 04:54:12

Open Document

File Size: 57,66 KB

Share Result on Facebook