1 paper
Polina Kozyreva, Endadul Hoque
Testing implementations of binary protocols for specification compliance requires inputs that satisfy both structural and semantic constraints. Purely random generation and primiti…