1 paper
David Trabish, Noam Rinetzky, Sharon Shoham +1
We address the problem of constraint encoding explosion which hinders the applicability of state merging in symbolic execution. Specifically, our goal is to reduce the number of di…