1. Artifacts
  2. SymMC Artifact

SymMC Artifact

This artifact is based on paper SymMC: Approximate Model Enumeration and Counting Using Symmetry Information for Alloy Specifications that are published at joint conference ESEC/FSE in 2022

4 3 - 1 May. 17, 2025, 2:29 PM
reproducible research
Launch on Chameleon

Launching this artifact will open it within Chameleon’s shared Jupyter experiment environment, which is accessible to all Chameleon users with an active allocation.

Download Archive

Download an archive containing the files of this artifact.

Download with git

Clone the git repository for this artifact, and checkout the version's commit 

git clone https://github.com/faizqowy/SymMC-Tool
# cd into the created directory
git checkout b88dbaae30ca5a4963fb9f796c67c1888663d512
Feedback

Submit feedback through GitHub issues

Versions

  1. Version 2025-05-17 May. 17, 2025, 2:21 PM

Version Stats

4 3 -