Interpolation

[Google Scholar]

Notes:
Papers:

A survey of symbolic execution techniques [baldoni:compsurv:2018]
TracerX: Dynamic symbolic execution with interpolation [jaffar:arxiv:2020]
Software model checking [jhala:compsurv:2009]

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