Hey NOX developers, Our research group at UC Berkeley is developing a troubleshooting tool<http://www.eecs.berkeley.edu/~rcs/research/sts.pdf> for SDN controllers, and we now have a working prototype<http://ucb-sts.github.com/sts/> .
What we don't have is enough real bugs to valide on! If you have horror stories of nasty bugs (race conditions, distribution errors, incorrect virtualization logic, etc.) or are currently grappling with one, let us know! Hopefully our tool will be able to help. Thanks, Colin and the sts team
