ESP: Path-Sensitive Program Verification in Polynomial Time.

Manuvir Das Sorin Lerner Mark Seigle

Published in: PLDI (2002)

Keyphrases

special case
worst case
computational complexity
shortest path
genetic algorithm
machine learning
clustering algorithm
evolutionary algorithm
dynamic environments
endpoints
path selection