An empirical investigation into path divergences for concolic execution using CREST

Recently, concolic execution has become a hotspot in the domain of software testing and program analysis. However, a practical challenge, called path divergence, impairs the soundness and completen...