GitHub repository: pdeligia/nekara-artifact
Primary language: C#
Description: Artifact for the "Nekara: Generalized Concurrency Testing" ASE 2021 paper.