CUTE verifier

[Google Scholar]

Notes: concolic execution, symbolic execution
Papers: sen:fse:2005

Concolic execution