Concolic execution

[Google Scholar]

Is a kind of: symbolic execution
Notes: DART verifier, CUTE verifier, SAGE verifier, QSYM, Driller verifier
Papers:

angr verifier, CUTE verifier, DART verifier, Driller verifier, Hybrid testing, QSYM verifier, SAGE verifier, SymCC