domains / families / research / tacas-artifact-evaluation

tacas-artifact-evaluation

separate

Use when packaging a TACAS (ETAPS) artifact for the ETAPS Artifact Badges (Available, Functional, Reusable), covering the two-round model (mandatory, PC-parallel evaluation for tool and tool-demo papers vs voluntary post-acceptance evaluation for research and case-study papers), what the AEC checks on the clean evaluation VM, DOI-issuing archives, and evaluator-proof documentation.

When to use

• packaging TACAS artifacts
• ETAPS Artifact Badges
• tool and tool-demo papers
• research and case-study papers
• clean evaluation VM testing
• DOI-issuing archives
• evaluator-proof documentation

Skill page

Source