Repositories list

• clusterer

  Public
  Clusters fully qualified class names by name similarity.

  Java

  •

  MIT License

  •0•0•2•0•Updated Apr 3, 2021Apr 3, 2021

• integration-test2

  Public
  2nd big integration test of all tools

  Python

  •

  MIT License

  •7•2•1•0•Updated Jan 10, 2020Jan 10, 2020

• partitions

  Public
  partitions a list of projects (based on word intersections) into clusters

  Java

  •0•0•0•1•Updated Feb 14, 2018Feb 14, 2018

• sci_corpus

  Public
  scientific computing libraries

  0•0•0•1•Updated Sep 29, 2017Sep 29, 2017

• jump

  Public
  Java

  •

  BSD 3-Clause "New" or "Revised" License

  •1•0•0•0•Updated Jun 27, 2017Jun 27, 2017

• daikon-measurements

  Public
  Measurements of coverage of Daikon toolset on the corpus

  Perl

  •0•0•0•0•Updated May 24, 2017May 24, 2017

• imagej

  Public
  Git repo of imagej library (https://imagej.nih.gov/ij/)

  Java

  •0•0•0•0•Updated Apr 10, 2017Apr 10, 2017

• Sort10

  Public
  Java

  •0•0•0•0•Updated Apr 10, 2017Apr 10, 2017

• Sort09

  Public
  Java

  •0•0•0•0•Updated Apr 10, 2017Apr 10, 2017

• Sort07

  Public
  Example sorting algorithm

  Java

  •0•0•0•0•Updated Apr 10, 2017Apr 10, 2017

• prog2dfg

  Public
  proc2dfg version used for the experiments

  Java

  •

  MIT License

  •0•0•0•0•Updated Dec 14, 2016Dec 14, 2016

• daikon-tutorial

  Public
  Daikon tutorial for use by users of aas-integration repositories

  TeX

  •0•1•0•0•Updated Dec 11, 2016Dec 11, 2016

• integration-test

  Public
  Big integration test of all tools

  Python

  •

  MIT License

  •5•3•0•0•Updated Oct 10, 2016Oct 10, 2016

• dyn4j

  Public
  Java Collision Detection and Physics Engine

  Java

  •

  BSD 3-Clause "New" or "Revised" License

  •87•0•0•0•Updated Aug 23, 2016Aug 23, 2016

• mini_corpus

  Public
  Tiny set of java programs for benchmarking muse stuff. Programs in the same subfolder are assumed to be similar.

  Java

  •

  MIT License

  •0•0•0•0•Updated Mar 3, 2016Mar 3, 2016

• natural-software

  Public
  Common Lisp

  •0•0•0•0•Updated Feb 18, 2016Feb 18, 2016

• daikon

  Public
  Dynamic detection of likely invariants

  C

  •54•0•0•0•Updated Feb 13, 2016Feb 13, 2016

• randoop

  Public
  Automatic test generation for Java

  Java

  •

  Other

  •174•0•0•0•Updated Feb 11, 2016Feb 11, 2016

• jbx

  Public
  Java Benchmark Expressions

  Nix

  •2•0•0•0•Updated Feb 3, 2016Feb 3, 2016

• checker-framework-inference

  Public
  Inference of pluggable types for Java

  Java

  •33•0•0•0•Updated Feb 2, 2016Feb 2, 2016