SymCC

[Google Scholar]

Notes: symbolic execution, concolic execution
Papers: poeplau:usenix:2020

Hybrid testing