Open Systems Laboratory

University of Illinois at Urbana--Champaign

Pinned Repositories

atomic-set-inference
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.
Language:Java2 2 01
concolic-walk
Implementation and evaluation data of the Concolic Walk heuristic for solving complex arithmetic path conditions.
Language:Java14 8 410
jcute
Java Concolic Unit Testing Engine
Language:Java88 13 328

Open Systems Laboratory's Repositories

osl/jcute
Java Concolic Unit Testing Engine
Language:Java88 13 328
osl/concolic-walk
Implementation and evaluation data of the Concolic Walk heuristic for solving complex arithmetic path conditions.
Language:Java14 8 410
osl/atomic-set-inference
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.
Language:Java2 2 01