Boosting concolic testing via interpolation

by Jaffar, J., Murali, V., Navas, J.A.
Published 2014

Unbounded symbolic execution for program verification

by Jaffar, J., Navas, J.A., Santosa, A.E.
Published 2013

TRACER: A symbolic execution tool for verification

by Jaffar, J., Murali, V., Navas, J.A., Santosa, A.E.
Published 2013