TRANSIT: Specifying Protocols with Concolic Snippets.

Published in ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2013, Seattle, WA, USA, June 16-19, 2013, 2013