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