This is a replication package for the article "Software Verification with PDR: An Implementation of the State of the Art" by Dirk Beyer and Matthias Dangl
This is the replication artifact for our work on "Trust Enhancement Issues in Program Repair". The c...
This is the replication package for the paper titled "Clearing the Air: Debunking the False Alarms M...
This replication package contains the data and the code to generate the results reported in "Patent ...
This is a replication package for the article "Software Verification with PDR: An Implementation of ...
This package contains code and data needed for reproducing results reported in the following paper: ...
This archive contains the components to replicate the experiments of the paper 'Domain-Independent ...
This replication package contains all data files necessary to verify and replicate our findings pres...
Replication package for the paper "Moderator Factors of Software Security and Performance Verificati...
This is the replication package for the paper: "Gamify4Fun: Evidence-based Method for Gamifying Exis...
Replication package for ArchDocs paperIf you use this software, please cite it as below
Replication package for ICSE'21 paper: Representation of Developer Expertise in Open Source Software...
This artifact provides the replication package for the article Marie-Christine Jakobs, TU Darmstadt...
The present upload constitute the Replicability Package for the "Uncovering the Hidden Risks: The Im...
This is the replication artifact for our work on "Trust Enhancement Issues in Program Repair". The c...
This is the replication package for the paper titled "Clearing the Air: Debunking the False Alarms M...
This replication package contains the data and the code to generate the results reported in "Patent ...
This is a replication package for the article "Software Verification with PDR: An Implementation of ...
This package contains code and data needed for reproducing results reported in the following paper: ...
This archive contains the components to replicate the experiments of the paper 'Domain-Independent ...
This replication package contains all data files necessary to verify and replicate our findings pres...
Replication package for the paper "Moderator Factors of Software Security and Performance Verificati...
This is the replication package for the paper: "Gamify4Fun: Evidence-based Method for Gamifying Exis...
Replication package for ArchDocs paperIf you use this software, please cite it as below
Replication package for ICSE'21 paper: Representation of Developer Expertise in Open Source Software...
This artifact provides the replication package for the article Marie-Christine Jakobs, TU Darmstadt...
The present upload constitute the Replicability Package for the "Uncovering the Hidden Risks: The Im...
This is the replication artifact for our work on "Trust Enhancement Issues in Program Repair". The c...
This is the replication package for the paper titled "Clearing the Air: Debunking the False Alarms M...
This replication package contains the data and the code to generate the results reported in "Patent ...
DOI
Add to ORKG