Reference change · event page

International Journal on Software Tools for Technology Transfer 25, 219–239 (2023) https://doi.org/10.1007/s10009-023-00696-0

Published notice on a work cited in the Pith corpus. Exact quotes below. No model judges whether any citation was load-bearing.

This page records that a citing paper's bibliography includes a work with a published notice. It is not a judgment on the citing paper.

Correction Crossref 1 open · 1 total · 0 disputed

DOI: 10.1007/s10009-023-00696-0
Notice DOI: 10.1007/s10009-023-00714-1
Event date: 2023-08-14
Machine twin: JSON

01One-hop citing occurrences

Correction Open

Application of AI to formal methods - an analysis of current trends

ref [131] · 2411.14870 · notice #9949 · dispute

Raw extraction · bibliography line

Scott, J., Niemetz, A., Preiner, M., Nejati, S., Ganesh, V.: Algorithm selection for SMT. International Journal on Software Tools for Technology Transfer 25, 219–239 (2023) https://doi.org/10.1007/s10009-023-00696-0

Status lifecycle on notices: open → disputed → (response attached on the notice page). Repaired counts matter as much as open counts. There is no “safe,” “invalid,” or “resolved” badge.