Yude Lin, Tim Miller, Harald Søndergaard. Compositional Symbolic Execution Using Fine-Grained Summaries. In 24th Australasian Software Engineering Conference, ASWEC 2015, Adelaide, SA, Australia, September 28 - October 1, 2015. pages 213-222, IEEE Computer Society, 2015. [doi]
Abstract is missing.