Compositional Symbolic Execution Using Fine-Grained Summaries - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Yude Lin' in GoogleThis author has not been identified. Look up 'Tim Miller' in GoogleThis author has not been identified. Look up 'Harald Søndergaard' in Google

runs on WebDSL