Model-based testing of networked applications.

Yishuai Li, Benjamin C. Pierce, Steve Zdancewic

Browse the full ISSTA paper archive.