Tobin-Hochstadt, Horn, 2012. Higher-Order Symbolic Execution via Contracts.