In this space we provided files with the protocol we used, full references from the studies and the set of customized strings we used to retrieve relevant studies
This is the artifact of our ACM TECS paper Model-Based Diagnosis of Real-Time Systems: Robustness Ag...
This artifact contains an evaluation sample of the data necessary to independently validate and repl...
The artifact contains the software that is released for artifact evaluation of the "Benchmarking, An...
In this space we provided files with the protocol we used, full references from the studies and the ...
Artifacts for "Evaluating the Effect of Common Annotation Faults on Object Detection Techniques", PE...
Artifacts for the paper Comparing developer-provided to user-provided tests for fault localization a...
This is the software artifact for the paper "A Type System for Extracting Functional Specifications ...
Artifacts for the "Resilience Assessment of Large Language Models under Transient Hardware Faults" P...
This artifact consists of the analyzer Põder together with example programs (to be analyzed) from th...
This is a research artifact for the paper Disrupting Software Ecosystems: Case Studies on the Impact...
The artifact for An Extensive Empirical Study of Nondeterministic Behavior in Static Analysis Tools ...
Although repeatability and reproducibility are essential in science, failed attempts to replicate re...
artifact_detection A tool for NLP tasks on textual bug reports. Automated classification of text in...
Artifact packaging of source snapshot, evaluation case studies, and mechanized proofs for the aforem...
Artifact for the paper "BDDs Strike Back - Efficient Analysis of Static and Dynamic Fault Trees" Th...
This is the artifact of our ACM TECS paper Model-Based Diagnosis of Real-Time Systems: Robustness Ag...
This artifact contains an evaluation sample of the data necessary to independently validate and repl...
The artifact contains the software that is released for artifact evaluation of the "Benchmarking, An...
In this space we provided files with the protocol we used, full references from the studies and the ...
Artifacts for "Evaluating the Effect of Common Annotation Faults on Object Detection Techniques", PE...
Artifacts for the paper Comparing developer-provided to user-provided tests for fault localization a...
This is the software artifact for the paper "A Type System for Extracting Functional Specifications ...
Artifacts for the "Resilience Assessment of Large Language Models under Transient Hardware Faults" P...
This artifact consists of the analyzer Põder together with example programs (to be analyzed) from th...
This is a research artifact for the paper Disrupting Software Ecosystems: Case Studies on the Impact...
The artifact for An Extensive Empirical Study of Nondeterministic Behavior in Static Analysis Tools ...
Although repeatability and reproducibility are essential in science, failed attempts to replicate re...
artifact_detection A tool for NLP tasks on textual bug reports. Automated classification of text in...
Artifact packaging of source snapshot, evaluation case studies, and mechanized proofs for the aforem...
Artifact for the paper "BDDs Strike Back - Efficient Analysis of Static and Dynamic Fault Trees" Th...
This is the artifact of our ACM TECS paper Model-Based Diagnosis of Real-Time Systems: Robustness Ag...
This artifact contains an evaluation sample of the data necessary to independently validate and repl...
The artifact contains the software that is released for artifact evaluation of the "Benchmarking, An...