A bounded symbolic-size model for symbolic execution
- David Trabish
- , Shachar Itzhaky
- , Noam Rinetzky
- Technion-Israel Institute of Technology
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
8
Scopus
citations