44 citations · 75 across the 9 of their papers we have counts for
1 paper · 1 filter
Yishuai Li, Benjamin C. Pierce, Steve Zdancewic
We present a principled automatic testing framework for application-layer protocols. The key innovation is a domain-specific embedded language for writing nondeterministic models o…