Solving Complex Path Conditions through Heuristic Search on Induced Polytopes Download Tags: Concolic Testing; Local Search; Non-Linear Constraints UIUC License: Creative Commons 2.5 Submitted by Amy Clay on Mon, 11/23/2015 - 16:37