Model-based testing of networked applications
Yishuai Li, Benjamin C. Pierce, Steve Zdancewic · 2021
We present a principled automatic testing framework for application-layer protocols. The key innovation is a domain-specific embedded language for writing nondeterministic models of the behavior of networked servers. These models are defined within the Coq interactive theorem prover, supporting a smooth transition from testing to formal verification.