Project Group: edu.illinois

NonDex

edu.illinois : nondex

A tool for finding strong assumptions on APIs with non-deterministic specifications.

Last Version: 1.1.2

Release Date: Apr 16, 2020

nondex-common

edu.illinois : nondex-common

A tool for finding strong assumptions on APIs with non-deterministic specifications.

Last Version: 1.1.2

Release Date: Apr 14, 2020

nondex-annotations

edu.illinois : nondex-annotations

A tool for finding strong assumptions on APIs with non-deterministic specifications.

Last Version: 1.1.2

Release Date: Apr 14, 2020

nondex-instrumentation

edu.illinois : nondex-instrumentation

A tool for finding strong assumptions on APIs with non-deterministic specifications.

Last Version: 1.1.2

Release Date: Apr 14, 2020

NonDex Maven Plugin

edu.illinois : nondex-maven-plugin

A tool for finding strong assumptions on APIs with non-deterministic specifications.

Last Version: 1.1.2

Release Date: Apr 14, 2020

nondex-core

edu.illinois : nondex-core

A tool for finding strong assumptions on APIs with non-deterministic specifications.

Last Version: 1.1.2

Release Date: Apr 14, 2020

edu.illinois:incremental-builder-with-ekstazi

edu.illinois : incremental-builder-with-ekstazi

A maven extension for incremental building of multi-module projects and using Ekstazi for test selection.

Last Version: 3.5.7

Release Date: Jun 8, 2018

starts-core

edu.illinois : starts-core

A tool for performing STAtic Regression Test Selection

Last Version: 1.3

Release Date: Sep 6, 2017

STARTS Maven Plugin

edu.illinois : starts-maven-plugin

A tool for performing STAtic Regression Test Selection

Last Version: 1.3

Release Date: Sep 6, 2017

STARTS

edu.illinois : starts

A tool for performing STAtic Regression Test Selection

Last Version: 1.3

Release Date: Sep 6, 2017

yasgl

edu.illinois : yasgl

Yet Another Simple Graph Library

Last Version: 1.2

Release Date: Jul 25, 2017