A tool for testing the correctness of a triplestore's transaction implementation - View it on GitHub