IsoPredict: Dynamic Predictive Analysis for Detecting Unserializable Behaviors in Weakly Isolated Transactional Data Store Applications

IsoPredict is a dynamic predictive analysis approach that can find feasible, unserializable executions of transactional data store applications running under weak isolation levels like causal consistency and read committed.