Boosting concolic testing via interpolation

由 Jaffar, J., Murali, V., Navas, J.A.
出版 2014

Unbounded symbolic execution for program verification

由 Jaffar, J., Navas, J.A., Santosa, A.E.
出版 2013

TRACER: A symbolic execution tool for verification

由 Jaffar, J., Murali, V., Navas, J.A., Santosa, A.E.
出版 2013