there has a lot of work on this at U. Wisconsin, namely starting with: https://www.usenix.org/system/files/conference/osdi14/osdi14... The testing framework there is something you need to help establish confidence that what you are doing actually works...