Model-Based Testing of Networked Applications.

Yishuai Li Benjamin C. Pierce Steve Zdancewic

Published in: CoRR (2021)

Keyphrases

model based testing
test cases
software development
software design
security policies
sequence diagrams
testing process
software testing
software systems
regression testing
case study
data structure
software engineering
distributed systems
test data