Published January 12, 2023 | Version v1
Dataset Open

Artifact for ICSE'23 paper: Which of My Assumptions are Unnecessary for Realizability and Why Should I Care?

Authors/Creators

  • 1. Tel Aviv University

Description

Artifact for ICSE'23 paper: Which of My Assumptions are Unnecessary for Realizability and Why Should I Care?

Files

ArtifactRealCoresICSE23.zip

Files (48.2 MB)

Name Size Download all
md5:2eeef24f80d0be915d06692ad0a90f0e
48.2 MB Preview Download