netarch / neo

A network testing tool combining formal model checking and container-based emulation that covers in-network non-determinism
Other
8 stars 4 forks source link

Code coverage analysis of NFs #26

Closed kyechou closed 1 year ago

kyechou commented 1 year ago

As a comparison with traditional testing methods like manually injecting packets.