Interpolation [Google Scholar] Notes: Papers: Papers related to Interpolation A survey of symbolic execution techniques [baldoni:compsurv:2018] TracerX: Dynamic symbolic execution with interpolation [jaffar:arxiv:2020] Software model checking [jhala:compsurv:2009]