Higher-order symbolic execution via contracts (2012)

by S Tobin-Hochstadt, D Van Horn
Venue:In Proceedings of the ACM International Conference on Object Oriented Programming Systems Languages and Applications. ACM