GitHub repository: Kiarahmani/CLOTHO
Primary language: Java
Created: 2019-07-02T22:44:54Z
Description: Directed Test Generation for Weakly Consistent Database Systems