Conference Proceedings

Compositional symbolic execution using fine-grained summaries

Y Lin, T Miller, H SONDERGAARD

2015 24th Australasian Software Engineering Conference | IEEE | Published : 2015