2 citations · 3 across the 3 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…