The GitHub repository for FACTEST can be found here. The VM and instructions created for the CAV2020 Artifact evaluation can be downloaded here.