Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-07-10T14:11:28.502786Z
Paper Citation Record · LEDGER
On the Correctness of Software Merge
As of 23 August 2026, this Paper Citation Record lists 41 of 41 outbound references and 0 inbound Pith citation observations for arXiv:2607.07987.
A citation records a reference. It does not transfer a finding from one paper to another.
Coverage vector
One-hop event checks from named stored sources.
Source: scholarly_work_events, retraction_status_cache, observed 2026-08-23T06:30:58.430688+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links
A source-named dated measurement, never combined with another source.
Source: cited_works
Reference resolution
41 of 41 outbound references displayed
- verified exact10
- verified fuzzy28
- unresolved0
- parse uncertain0
- malformed identifier0
- metadata mismatch3
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation ff7583b9-8c5a-4eb1-88d1-0d3756cddbcc · outbound
This paper cites An exploratory study of the pull-based software development model,.
On the Correctness of Software Merge An exploratory study of the pull-based software development model,
Reference 1
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-07-10T14:17:10.473161Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation 9719048c-42d2-4729-a1a8-28cbe7b554c3 · outbound
This paper cites Balancing precision and performance in structured merge,.
On the Correctness of Software Merge Balancing precision and performance in structured merge,
Reference 2
- Resolution
- verified exact
- doi, observed 2026-07-10T14:17:10.054835Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation 79df6de4-0972-4468-ab62-dc71742518c9 · outbound
This paper cites Spork: Struc- tured merge for java with formatting preservation,.
On the Correctness of Software Merge Spork: Struc- tured merge for java with formatting preservation,
Reference 3
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-07-10T14:17:10.467304Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation f0a538ec-2ce9-4550-8daa-801dd8e62758 · outbound
This paper cites Intellimerge: A refactoring-aware software merging technique,.
On the Correctness of Software Merge Intellimerge: A refactoring-aware software merging technique,
Reference 4
- Resolution
- verified exact
- doi, observed 2026-07-10T14:17:10.031694Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation 482fdc71-1134-4f1e-bf17-3047f3750a0e · outbound
This paper cites A three-way merge for XML documents,.
On the Correctness of Software Merge A three-way merge for XML documents,
Reference 5
- Resolution
- verified exact
- arxiv_id, observed 2026-07-10T14:17:10.061549Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation 417738aa-4d04-4365-ac33-dca7f34a2dbb · outbound
This paper cites On the methodology of three-way structured merge in version control systems: Top-down, bottom-up, or both,.
On the Correctness of Software Merge On the methodology of three-way structured merge in version control systems: Top-down, bottom-up, or both,
Reference 6
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-07-10T14:17:10.469504Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation ee85139b-8b20-4144-b2f9-3d175d399ac9 · outbound
This paper cites A formal investigation of diff3,.
On the Correctness of Software Merge A formal investigation of diff3,
Reference 7
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-07-10T14:17:10.471349Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation 44aacffe-4100-4155-b7cc-07f559846bf4 · outbound
This paper cites Categorical approaches to merging software changes,.
On the Correctness of Software Merge Categorical approaches to merging software changes,
Reference 8
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-07-10T14:17:10.475225Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation 3d6f0053-6845-4293-8e3c-ab4493aa678b · outbound
This paper cites A categorical theory of patches,.
On the Correctness of Software Merge A categorical theory of patches,
Reference 9
- Resolution
- verified exact
- doi, observed 2026-07-10T14:17:10.037266Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation 9d2a857a-3ba5-4d19-8f51-fc3c949e1666 · outbound
This paper cites Diaconescu,Implicit Partiality of Signature Morphisms in Institution Theory.
On the Correctness of Software Merge Diaconescu,Implicit Partiality of Signature Morphisms in Institution Theory
Reference 10
- Resolution
- verified exact
- doi, observed 2026-07-10T14:17:10.039625Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation ff142a4d-014b-4980-887c-c502041f312b · outbound
This paper cites Moerdijk and J.
On the Correctness of Software Merge Moerdijk and J
Reference 11
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-07-10T14:17:10.477021Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation 80788f18-8ec6-4da1-97a5-ca8b98e897eb · outbound
This paper cites What is Menhir?.
On the Correctness of Software Merge What is Menhir?
Reference 12
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-07-10T14:17:10.484669Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation 015de022-48a5-4ed6-820e-65bc709ad1ac · outbound
This paper cites Gosling, B.
On the Correctness of Software Merge Gosling, B
Reference 13
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-07-10T14:17:10.456885Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation a0dd2dae-0a59-4132-a156-07192fa2216b · outbound
This paper cites Gusfield,Algorithms on Strings, Trees, and Sequences: Computer Science and Computational Biology.
On the Correctness of Software Merge Gusfield,Algorithms on Strings, Trees, and Sequences: Computer Science and Computational Biology
Reference 14
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-07-10T14:17:10.482778Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation 00ace783-0dbc-403f-a4df-fe663f67447a · outbound
This paper cites A survey on tree edit distance and related problems,.
On the Correctness of Software Merge A survey on tree edit distance and related problems,
Reference 15
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-07-10T14:17:10.452921Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation ca1d22ba-bcc7-44f7-b37c-1766787eda63 · outbound
This paper cites Simple fast algorithms for the editing distance between trees and related problems,.
On the Correctness of Software Merge Simple fast algorithms for the editing distance between trees and related problems,
Reference 16
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-07-10T14:17:10.454991Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation 5e8e1c06-c78c-41e9-82e4-2e819668eaca · outbound
This paper cites Imediff - an interactive fullscreen merge tool for diff2/3,.
On the Correctness of Software Merge Imediff - an interactive fullscreen merge tool for diff2/3,
Reference 17
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-07-10T14:17:10.478865Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation 3f8b1062-6131-4fca-b5b6-4181383d066d · outbound
This paper cites Available: https://github.com/osamuaoki/imediff/.
On the Correctness of Software Merge Available: https://github.com/osamuaoki/imediff/
Reference 18
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-07-10T14:17:10.438495Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation cbce30b0-5790-4493-85d0-de01172727c7 · outbound
This paper cites Guilherme Cavalcanti, Paulo Borba, Leonardo dos Anjos, and Jonatas Clementino.
On the Correctness of Software Merge Guilherme Cavalcanti, Paulo Borba, Leonardo dos Anjos, and Jonatas Clementino
Reference 19
- Resolution
- metadata mismatch
- doi, observed 2026-07-10T14:17:10.042033Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation e28ff0a6-5f87-4160-afe7-05589a222d00 · outbound
This paper cites Enhancing precision of structured merge by proper tree matching,.
On the Correctness of Software Merge Enhancing precision of structured merge by proper tree matching,
Reference 20
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-07-10T14:17:10.446597Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation 6c9c1fd4-ad27-4fee-9d39-fc70b7d5ab2f · outbound
This paper cites ISBN 978-1-4503-0443-6.
On the Correctness of Software Merge ISBN 978-1-4503-0443-6
Reference 21
- Resolution
- metadata mismatch
- arxiv_id, observed 2026-07-10T14:17:10.058277Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation e966929b-82e3-45e0-b2b7-a3f2aa564996 · outbound
This paper cites Conflict resolution for structured merge via version space algebra,.
On the Correctness of Software Merge Conflict resolution for structured merge via version space algebra,
Reference 22
- Resolution
- verified exact
- doi, observed 2026-07-10T14:17:10.044472Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation 82148c5a-364f-4ca3-9b26-eefb200ad970 · outbound
This paper cites Fine-grained and accurate source code differencing,.
On the Correctness of Software Merge Fine-grained and accurate source code differencing,
Reference 23
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-07-10T14:17:10.450980Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation 898b20a8-867c-4e47-a548-0aefc8c6aabf · outbound
This paper cites Meaningful change detection in structured data,.
On the Correctness of Software Merge Meaningful change detection in structured data,
Reference 24
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-07-10T14:17:10.442342Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation c6b61e4c-79b8-477e-98c6-c1868118f213 · outbound
This paper cites Spoon: A Library for Implementing Analyses and Transformations of Java Source Code,.
On the Correctness of Software Merge Spoon: A Library for Implementing Analyses and Transformations of Java Source Code,
Reference 25
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-07-10T14:17:10.440412Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation 04b62756-cf09-4f66-ad20-2926883cab5c · outbound
This paper cites Type-safe generic differencing of mutually recursive families,.
On the Correctness of Software Merge Type-safe generic differencing of mutually recursive families,
Reference 26
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-07-10T14:17:10.463503Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation ec7fb635-803b-4c6c-bc4a-1e09f2894f76 · outbound
This paper cites On the nature of merge conflicts: A study of 2,731 open source java projects hosted by GitHub,.
On the Correctness of Software Merge On the nature of merge conflicts: A study of 2,731 open source java projects hosted by GitHub,
Reference 27
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-07-10T14:17:10.458786Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation 2822e60b-3c13-466f-b747-134d410222d2 · outbound
This paper cites DeepMerge: Learning to Merge Programs ,.
On the Correctness of Software Merge DeepMerge: Learning to Merge Programs ,
Reference 28
- Resolution
- metadata mismatch
- arxiv_id, observed 2026-07-10T14:17:10.091197Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation dc91330d-3428-4b6f-bf44-54f963a6d436 · outbound
This paper cites Are refactorings to blame? an empirical study of refactorings in merge conflicts,.
On the Correctness of Software Merge Are refactorings to blame? an empirical study of refactorings in merge conflicts,
Reference 29
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-07-10T14:17:10.436719Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation 7e572158-a501-4eaa-bcb5-6579b4b7eb4a · outbound
This paper cites Refactoringminer 2.0,.
On the Correctness of Software Merge Refactoringminer 2.0,
Reference 30
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-07-10T14:17:10.444195Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation 7c2f5eb4-72c7-4f2d-94c9-b6438fb01850 · outbound
This paper cites Operation-based refactoring-aware merging: An empirical evaluation,.
On the Correctness of Software Merge Operation-based refactoring-aware merging: An empirical evaluation,
Reference 31
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-07-10T14:17:10.448764Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation 8322d78f-2b1a-4d1e-a2b4-abfb488b1165 · outbound
This paper cites A state-of-the-art survey on software merging,.
On the Correctness of Software Merge A state-of-the-art survey on software merging,
Reference 32
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-07-10T14:17:10.461320Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation 7202db06-79c0-46c2-97e3-da6a3c550345 · outbound
This paper cites Structure-oriented merging of revisions of software documents,.
On the Correctness of Software Merge Structure-oriented merging of revisions of software documents,
Reference 33
- Resolution
- verified exact
- arxiv_id, observed 2026-07-10T14:17:10.048198Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation 3a0d6931-ea6d-4337-acd9-3c2b822bee85 · outbound
This paper cites Syntactic software merging,.
On the Correctness of Software Merge Syntactic software merging,
Reference 34
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-07-10T14:17:10.465292Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation 538ccf23-1fbc-4c67-9016-4fb3cc3e9a3f · outbound
This paper cites Evaluating software merge quality,.
On the Correctness of Software Merge Evaluating software merge quality,
Reference 35
- Resolution
- verified exact
- arxiv_id, observed 2026-07-10T14:17:10.035152Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation bb05c81b-4970-4c41-9119-f30ea23cb3f3 · outbound
This paper cites Precise version control of trees with line-based version control systems,.
On the Correctness of Software Merge Precise version control of trees with line-based version control systems,
Reference 36
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-07-10T14:17:10.434705Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation be3534d5-9dab-4b0b-9f91-48f25ab77c5d · outbound
This paper cites Verified three-way program merge,.
On the Correctness of Software Merge Verified three-way program merge,
Reference 37
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-07-10T14:17:10.480743Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation 36440d63-94ac-42c0-924c-aa570ba3b55f · outbound
This paper cites Deltaimpactfinder: Assessing semantic merge conflicts with dependency analysis,.
On the Correctness of Software Merge Deltaimpactfinder: Assessing semantic merge conflicts with dependency analysis,
Reference 38
- Resolution
- verified exact
- arxiv_id, observed 2026-07-10T14:17:10.064777Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation ba8f7d4c-1946-4e96-8d61-a4878ad50b42 · outbound
This paper cites Detecting semantic merge conflicts with variability-aware execution,.
On the Correctness of Software Merge Detecting semantic merge conflicts with variability-aware execution,
Reference 39
- Resolution
- verified exact
- arxiv_id, observed 2026-07-10T14:17:10.052215Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation 4b77a3cc-5f77-40dc-ba3a-b455b705565a · outbound
This paper cites Diff/TS: A tool for fine-grained structural change analysis,.
On the Correctness of Software Merge Diff/TS: A tool for fine-grained structural change analysis,
Reference 40
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-07-10T14:17:10.432718Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation 5b85e8d3-10f3-433a-99e7-9a0a14c8b15f · outbound
This paper cites Change distilling: Tree differencing for fine-grained source code change extraction,.
On the Correctness of Software Merge Change distilling: Tree differencing for fine-grained source code change extraction,
Reference 41
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-07-10T14:17:10.430694Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Pith citing papers
No inbound Pith citation observations are available.