Model-based testing of networked applications

Yishuai Li, Benjamin C. Pierce, Steve Zdancewic. Model-based testing of networked applications. In Cristian Cadar, Xiangyu Zhang 0001, editors, ISSTA '21: 30th ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, Denmark, July 11-17, 2021. pages 529-539, ACM, 2021. [doi]

Authors

Yishuai Li

This author has not been identified. Look up 'Yishuai Li' in Google

Benjamin C. Pierce

This author has not been identified. It may be one of the following persons: Look up 'Benjamin C. Pierce' in Google

Steve Zdancewic

This author has not been identified. Look up 'Steve Zdancewic' in Google