https://5dok.org/document/zkw71lp8-automating-the-testing-of-openflow-applications.html