![](/img/cover-not-exists.png)
[IEEE 2016 23rd Asia-Pacific Software Engineering Conference (APSEC) - Hamilton, New Zealand (2016.12.6-2016.12.9)] 2016 23rd Asia-Pacific Software Engineering Conference (APSEC) - Compositional Symbolic Execution: Incremental Solving Revisited
Lin, Yude, Miller, Tim, Sondergaard, HaraldYear:
2016
Language:
english
DOI:
10.1109/apsec.2016.046
File:
PDF, 260 KB
english, 2016