Conference
Towards a Vertically Integrated Compiler Infrastructure to Improve Solver Time during Symbolic Execution
| Title: | Towards a Vertically Integrated Compiler Infrastructure to Improve Solver Time during Symbolic Execution |
|---|---|
| Authors: | Tempel, Sören, Dietrich, Christian |
| Source: | Proceedings of the 8th International Workshop on Automated and verifiable Software sYstem DEvelopment. :49-56 |
| Availability: | http://dl.acm.org/doi/10.1145/3843777.3844530 |
| Database: | ACM Full-Text Collection |
Be the first to leave a comment!