Skeletal approximation enumeration for SMT solver testing
- Peisen Yao
- , Heqing Huang*
- , Wensheng Tang
- , Qingkai Shi
- , Rongxin Wu
- , Charles Zhang
*Corresponding author for this work
Research output: Chapters, Conference Papers, Creative and Literary Works › RGC 32 - Refereed conference paper (with host publication) › peer-review
18
Link opens in a new tab
Citations
(Scopus)