packetdrill
A fork of packetdrill which adds support for
and generic bugfixes. This version especially fixes some bugs showing up when running packetdrill on FreeBSD. Currently it only supports single-homing.
There are some papers (;login: October 2013, USENIX ATC '13) and a presentation (ICCRG IETF87) describing packetdrill.