Conference Proceedings

Compositional Symbolic Execution: Incremental Solving Revisited

Y Lin, T Miller, H SONDERGAARD, A Potanin, G Murphy

2016 23rd Asia-Pacific Software Engineering Conference (APSEC) | IEEE | Published : 2016