Login / Signup

Solving complex path conditions through heuristic search on induced polytopes.

Peter DingesGul A. Agha
Published in: SIGSOFT FSE (2014)
Keyphrases