![](/img/cover-not-exists.png)
[IEEE 2015 24th Australasian Software Engineering Conference (ASWEC) - Adelaide, SA, Australia (2015.9.28-2015.10.1)] 2015 24th Australasian Software Engineering Conference - Compositional Symbolic Execution Using Fine-Grained Summaries
Lin, Yude, Miller, Tim, Sondergaard, HaraldYear:
2015
Language:
english
DOI:
10.1109/aswec.2015.32
File:
PDF, 350 KB
english, 2015