First Page | Document Content | |
---|---|---|
Date: 2017-08-02 04:54:12Automated 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 WorkshopAdd to Reading ListSource URL: www.react.uni-saarland.deDownload Document from Source WebsiteFile Size: 57,66 KBShare Document on Facebook |