Automatically generate BibTex file from Zenodo archives to cite tools in their competition versions
Oftentimes one wants to use tools in the version used by some competition e.g. SV-COMP25 in a paper. Citing the correct version is then relevant to ensure that a reproduction of the results results in similar results. The version is already given with a DOI to a zenodo archive, which can be cited directly. But it is manual effort to find and build the citations for each tool and version. Therefore it would be good to a generated file checked into the repository which contains all the citations e.g. something like:
@software{SVCOMP23--CPA-BAM-SMG,
author = {Vasilyev, Anton},
title = {CPA-BAM-SMG (SV-COMP 2023)},
year = {2022},
howpublished = {Zenodo},
doi = {10.5281/zenodo.10396261},
}