Definitely. Although instead of sending network packets to the fuzz tester, the idea is to apply a testing module to the network stack functor that introduces a deterministic random number generator. This makes it much easier to write assertions about how the state machine should behave within the stack, to catch bugs much more easily.
I actually had in mind something else (code that just does TCP connections/HTTP requests and you run that against mirage / against a Linux stack and compare), but this sounds even better.
Someone could still do that comparison (not on the TCP state though, just the reply) with the functor approach.
