Open Systems Laboratory

Popular repositories Loading

1. jcute jcute Public

   Java Concolic Unit Testing Engine

   Java 97 27

2. concolic-walk concolic-walk Public

   Implementation and evaluation data of the Concolic Walk heuristic for solving complex arithmetic path conditions.

   Java 13 10

3. atomic-set-inference atomic-set-inference Public

   Inference tool chain for automatically inferring atomic sets, a synchronization mechanism in which the programmer specifies the groups of data that must be accessed as a unit.

   Java 2 1