This artifact accompanies the CAV 2022 paper with the same title. The artifact contains a docker file, which can be unzipped and then loaded with: docker load -i slurf_cav22_docker.tar Please refer to the README for more information
This is an artifact for the CAV'23 tool paper "Kratos2: an SMT-Based Model Checker for Imperative Pr...
This is the artifact accompanying our study of artifact evaluations at SE/PL conferences and their e...
This artifact aims to reproduce experiments from the paper Monitoring Hyperproperties With Prefix Tr...
This artifact accompanies the CAV 2022 paper with the same title. The artifact contains a docker fil...
This artifact accompanies the CAV 2023 paper with the title 'Efficient Sensitivity Analysis for Para...
This artefact accompanies the CAV 2021 paper with the same name. The artefact contains a docker fil...
The Docker image used for the Artifact Evaluation at the 34th International Conference on Computer-A...
Artifact accompanying the paper Compiling Universal Probabilistic Programming Languages with Efficie...
Artifact Evaluation Submission for R2U2 Version 3.0: Re-imagining a Toolchain for Specification, Re...
This upload is a docker image containing the artifact accompanying our ESEC/FSE'21 paper "Lightweigh...
This repo contains the artifact for the CAV 2022 paper with the same name. Please unpack the zip fi...
This is the archive of the full Docker image used for the artifact of the ICSE 2023 paper "On the Re...
The provided docker images contain pre-built VClinic and compared value profilers. For X86 platforms...
This upload is a docker image containing the artifact accompanying our OOPSLA-2023 paper "Inference ...
Artifact accompanying the CAV 2023 paper "Automatic Program Instrumentation for Automatic Verificati...
This is an artifact for the CAV'23 tool paper "Kratos2: an SMT-Based Model Checker for Imperative Pr...
This is the artifact accompanying our study of artifact evaluations at SE/PL conferences and their e...
This artifact aims to reproduce experiments from the paper Monitoring Hyperproperties With Prefix Tr...
This artifact accompanies the CAV 2022 paper with the same title. The artifact contains a docker fil...
This artifact accompanies the CAV 2023 paper with the title 'Efficient Sensitivity Analysis for Para...
This artefact accompanies the CAV 2021 paper with the same name. The artefact contains a docker fil...
The Docker image used for the Artifact Evaluation at the 34th International Conference on Computer-A...
Artifact accompanying the paper Compiling Universal Probabilistic Programming Languages with Efficie...
Artifact Evaluation Submission for R2U2 Version 3.0: Re-imagining a Toolchain for Specification, Re...
This upload is a docker image containing the artifact accompanying our ESEC/FSE'21 paper "Lightweigh...
This repo contains the artifact for the CAV 2022 paper with the same name. Please unpack the zip fi...
This is the archive of the full Docker image used for the artifact of the ICSE 2023 paper "On the Re...
The provided docker images contain pre-built VClinic and compared value profilers. For X86 platforms...
This upload is a docker image containing the artifact accompanying our OOPSLA-2023 paper "Inference ...
Artifact accompanying the CAV 2023 paper "Automatic Program Instrumentation for Automatic Verificati...
This is an artifact for the CAV'23 tool paper "Kratos2: an SMT-Based Model Checker for Imperative Pr...
This is the artifact accompanying our study of artifact evaluations at SE/PL conferences and their e...
This artifact aims to reproduce experiments from the paper Monitoring Hyperproperties With Prefix Tr...
DOI
Add to ORKG