Formalizing Path Explosion for Recursive Functions via Asymptotic Path Complexity.

Metrinome: Path Complexity Predicts Symbolic Execution Path Explosion.