Skip to content
@osl

Open Systems Laboratory

Popular repositories Loading

  1. jcute jcute Public

    Java Concolic Unit Testing Engine

    Java 88 28

  2. concolic-walk concolic-walk Public

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

    Java 14 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

Repositories

Showing 3 of 3 repositories
  • concolic-walk Public

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

    osl/concolic-walk’s past year of commit activity
    Java 14 10 1 0 Updated Jul 11, 2014
  • jcute Public

    Java Concolic Unit Testing Engine

    osl/jcute’s past year of commit activity
    Java 88 28 1 0 Updated Jul 3, 2014
  • 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.

    osl/atomic-set-inference’s past year of commit activity
    Java 2 1 0 0 Updated Apr 4, 2013

Top languages

Loading…

Most used topics

Loading…