Group: edu.illinois - All Dependencies

yasgl · Yet Another Simple Graph Library

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

STARTS · A tool for performing STAtic Regression Test Selection

${project.groupId}:${project.artifactId} · A maven extension for incremental building of multi-module projects and using Ekstazi for test selection.

NIOInspector · A tool for detecting and fixing non-idempotent flaky tests