This archive contains the artifacts belonging to the MODELS'23 paper “Automatic Security-Flaw Detection – Replication and Comparison”. Documentation is included in the archive
Artifact for the ICSE 2022 paper titled "Practical Automated Detection of Malicious npm Packages
There is a newer version of this eprint, available at: http://philsci-archive.pitt.edu/archive/00005...
This artifact contains the accompanying experiment data for the submission "Applicability of Model C...
This archive contains the artifacts belonging to the MODELS'23 paper “Automatic Security-Flaw Detect...
This is an artifact for the CAV'23 tool paper "Kratos2: an SMT-Based Model Checker for Imperative Pr...
This is the archival artifact intended for artefact evaluation of the paper "An Experimental Evaluat...
This artifact contains the Docker image with the WiSE and PyWiSE prototypes presented in the paper "...
This is the replication package for the paper "Automated Reporting of Anti-Patterns and Decay in Con...
This is the anonymized artifact for the PLDI'23 Artifact Evaluation for the submission "Compound Mem...
This is an artifact for the TACAS'23 paper "Modular Mix-and-Match Complementation of Büchi Automata"...
This artifact contains 3 compressed folders for the code, data, and VM that accompany the paper. The...
Artifacts produced for the paper "Regulator: dynamic analysis to detect ReDoS" published in USENIX S...
This is the artifact repo for paper: On the Effectiveness of Automated Program Repair: An Extensive ...
This is the artifact of our paper "Pensieve: Microarchitectural Modeling for Security Evaluation". ...
This is the replication package of the paper "Yet Another Model! A Study on Model's Similarities for...
Artifact for the ICSE 2022 paper titled "Practical Automated Detection of Malicious npm Packages
There is a newer version of this eprint, available at: http://philsci-archive.pitt.edu/archive/00005...
This artifact contains the accompanying experiment data for the submission "Applicability of Model C...
This archive contains the artifacts belonging to the MODELS'23 paper “Automatic Security-Flaw Detect...
This is an artifact for the CAV'23 tool paper "Kratos2: an SMT-Based Model Checker for Imperative Pr...
This is the archival artifact intended for artefact evaluation of the paper "An Experimental Evaluat...
This artifact contains the Docker image with the WiSE and PyWiSE prototypes presented in the paper "...
This is the replication package for the paper "Automated Reporting of Anti-Patterns and Decay in Con...
This is the anonymized artifact for the PLDI'23 Artifact Evaluation for the submission "Compound Mem...
This is an artifact for the TACAS'23 paper "Modular Mix-and-Match Complementation of Büchi Automata"...
This artifact contains 3 compressed folders for the code, data, and VM that accompany the paper. The...
Artifacts produced for the paper "Regulator: dynamic analysis to detect ReDoS" published in USENIX S...
This is the artifact repo for paper: On the Effectiveness of Automated Program Repair: An Extensive ...
This is the artifact of our paper "Pensieve: Microarchitectural Modeling for Security Evaluation". ...
This is the replication package of the paper "Yet Another Model! A Study on Model's Similarities for...
Artifact for the ICSE 2022 paper titled "Practical Automated Detection of Malicious npm Packages
There is a newer version of this eprint, available at: http://philsci-archive.pitt.edu/archive/00005...
This artifact contains the accompanying experiment data for the submission "Applicability of Model C...
DOI
Add to ORKG