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:

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:

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:

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:

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:

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:

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:

starts-core

edu.illinois : starts-core

A tool for performing STAtic Regression Test Selection

Last Version: 1.3

Release Date:

STARTS Maven Plugin

edu.illinois : starts-maven-plugin

A tool for performing STAtic Regression Test Selection

Last Version: 1.3

Release Date:

STARTS

edu.illinois : starts

A tool for performing STAtic Regression Test Selection

Last Version: 1.3

Release Date:

yasgl

edu.illinois : yasgl

Yet Another Simple Graph Library

Last Version: 1.2

Release Date:

  • 1