CUTE verifier

[Google Scholar]

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

Concolic execution

Symbolic execution for software testing: Three decades later [cadar:cacm:2013]
Symbolic execution with SymCC: Don't interpret, compile! [poeplau:usenix:2020]

The opinions expressed are my own views and not my employer’s.