JarCastingProject Group: edu.illinois
NonDex
edu.illinois : nondexA tool for finding strong assumptions on APIs with non-deterministic specifications.
Last Version: 1.1.2
Release Date:
nondex-common
edu.illinois : nondex-commonA tool for finding strong assumptions on APIs with non-deterministic specifications.
Last Version: 1.1.2
Release Date:
nondex-annotations
edu.illinois : nondex-annotationsA tool for finding strong assumptions on APIs with non-deterministic specifications.
Last Version: 1.1.2
Release Date:
nondex-instrumentation
edu.illinois : nondex-instrumentationA tool for finding strong assumptions on APIs with non-deterministic specifications.
Last Version: 1.1.2
Release Date:
NonDex Maven Plugin
edu.illinois : nondex-maven-pluginA tool for finding strong assumptions on APIs with non-deterministic specifications.
Last Version: 1.1.2
Release Date:
nondex-core
edu.illinois : nondex-coreA tool for finding strong assumptions on APIs with non-deterministic specifications.
Last Version: 1.1.2
Release Date:edu.illinois:incremental-builder-with-ekstazi
edu.illinois : incremental-builder-with-ekstaziA maven extension for incremental building of multi-module projects and using Ekstazi for test selection.
Last Version: 3.5.7
Release Date:
Last Version: 1.3
Release Date:
STARTS Maven Plugin
edu.illinois : starts-maven-pluginA tool for performing STAtic Regression Test Selection
Last Version: 1.3
Release Date:
Last Version: 1.3
Release Date:Last Version: 1.2
Release Date:- 1