[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, HaraldРік:
2015
Мова:
english
DOI:
10.1109/aswec.2015.32
Файл:
PDF, 350 KB
english, 2015