Program Repair Guided by Datalog-Defined Program Analysis
收藏相关数据集
Sabine Katharina Klaus (k2934)
-- Documentation --Name: Sabine Katharina KlausmusiXplora-ID: k2934musiXplora-URI: https://musixplora.de/mxp/k2934Gender: fFirst Mentioned: 1984Sectors: Hochschule, Medien, Museum, Musikforschung, Sam
Zenodo2024-06-12 更新00
Binary black-hole simulation SXS:BBH:0397
Simulation of a black-hole binary system evolved by the SpEC code.
Zenodo2020-07-29 更新00
The Artifacts for An Extensive Empirical Study of Nondeterministic Behavior in Static Analysis Tools.
This is the artifact for the ICSE 2025 paper, An Extensive Empirical Study of Nondeterministic Behavior in Static Analysis Tools. A pre-print of the original paper referencing this artifact can be fou
NIAID Data Ecosystem00
Data from: "Inter- and intraspecific variation in performance of thrips on Chrysanthemum accessions"
Data from "Inter- and intraspecific variation in performance of thrips on Chrysanthemum accessions"published as Bovio M, Voorrips RE, van Loon JJA, Vosman B & Caarls L (2025) Inter‐ and intraspecific
Zenodo2025-04-25 更新00
