Indexed Artifacts (24.6M)

Popular Categories

Group: Illinois

Sort: popular | newest
Group Illinois CS

2. NonDex Common4 usages

edu.illinois » nondex-commonMIT

NonDex Common
Last Release on Apr 13, 2020
NonDex Instrumentation
Last Release on Apr 13, 2020

4. Starts Core1 usages

edu.illinois » starts-core

Starts Core
Last Release on Sep 5, 2017
NonDex Annotations
Last Release on Apr 13, 2020

6. Yasgl1 usages

edu.illinois » yasglMIT

Yet Another Simple Graph Library
Last Release on Jul 24, 2017
Group Illinois LIS
NonDex Maven Plugin
Last Release on Apr 13, 2020

9. STARTS

edu.illinois » starts

A tool for performing STAtic Regression Test Selection
Last Release on Sep 5, 2017
STARTS Maven Plugin
Last Release on Sep 5, 2017

11. NonDex Core

edu.illinois » nondex-coreMIT

NonDex Core
Last Release on Apr 13, 2020
A maven extension for incremental building of multi-module projects and using Ekstazi for test selection.
Last Release on Jun 7, 2018

13. NonDex

edu.illinois » nondexMIT

A tool for finding strong assumptions on APIs with non-deterministic specifications.
Last Release on Apr 16, 2020
Group Illinois WALA
Group Illinois Library
Group Illinois NondexTest
Group Illinois NonDex