Enhancing Symbolic Execution of Heap-based Programs with Separation Logic for Test Input Generation
- Long H. Pham
- , Quang Loc Le
- , Quoc-Sang Phan
- , Jun Sun
- , Shengchao Qin
Research output: Contribution to journal › Conference article › peer-review
143
Downloads
(Pure)