Repositories list

• concolic-walk

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

  Java

  •10•14•1•0•Updated Jul 11, 2014Jul 11, 2014

• jcute

  Public
  Java Concolic Unit Testing Engine

  Java

  •

  Other

  •28•88•1•0•Updated Jul 3, 2014Jul 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.

  Java

  •

  Other

  •1•2•0•0•Updated Apr 4, 2013Apr 4, 2013