Recoverable Identifier

arXiv:2604.23035 · detector doi_compliance · incontrovertible · 2026-05-19 23:32:52.343920+00:00

advisory doi_compliance recoverable_identifier

DOI in the printed bibliography is fragmented by whitespace or line breaks. A longer candidate (10.1109/IEEESTD.2013.6515989.2) was visible in the surrounding text but could not be confirmed against doi.org as printed.

Paper page Integrity report arXiv Try DOI

Evidence text

1 IEEE Standard for Test Access Port and Boundary-Scan Architecture.IEEE Std 1149.1-2013 (Revision of IEEE Std 1149.1-2001), pages 1–444, May 2013.doi:10.1109/IEEESTD.2013. 6515989. 2 Roberto Baldoni, Emilio Coppa, Daniele Cono D’elia, Camil Demetrescu, and Irene Finocchi. A Survey of Symbolic Execution Techniques.ACM Comput. Surv., 51(3):50:1–50:39, May 2018.doi:10.1145/3182657. 3 Roberto Baldoni, Emilio Coppa, Daniele Cono D’elia, Camil Demetrescu, and Irene Finocchi. A Survey of Symbolic Execution Techniques. 51(3):1–39. URL:https://dl.acm.org/doi/10. 1145/3182657,doi:10.1145/3182657. 4 Karen L. Bernstein and Eugene W. Stark. Operational Semantics of a Focusing Debugger. Electronic Notes in Theoretical Computer Science, 1:13–31, January 1995.doi:10.1016/ S1571-0661(04)80002-1. 5 Cristian Cadar, Patrice Godefroid, Sarfraz Khurshid, Corina S. P ăsăreanu, Koushik Sen, Nikolai Tillmann, and Willem Visser. Symbolic execution for software testing in practice: Preliminary assessment. InProceedings of the 33rd International Conference on Software Engineering, ICSE ’11, pages 1066–1071, New York, NY, USA, May

Evidence payload

{
  "printed_excerpt": "1 IEEE Standard for Test Access Port and Boundary-Scan Architecture.IEEE Std 1149.1-2013 (Revision of IEEE Std 1149.1-2001), pages 1\u2013444, May 2013.doi:10.1109/IEEESTD.2013. 6515989. 2 Roberto Baldoni, Emilio Coppa, Daniele Cono D\u2019elia, Cami",
  "reconstructed_doi": "10.1109/IEEESTD.2013.6515989.2",
  "ref_index": 1,
  "resolved_title": null,
  "verdict_class": "incontrovertible"
}