Paper Citation Record · LEDGER

Towards Constraint Logic Programming over Strings for Test Data Generation

As of 18 August 2026, this Paper Citation Record lists 39 of 39 outbound references and 0 inbound Pith citation observations for arXiv:1908.10203.

A citation records a reference. It does not transfer a finding from one paper to another.

pith.paper-citation-record.v1
1908.10203 v1

Coverage vector

measured 39 of 39 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-14T10:54:15.356137Z

measured 39 of 39 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-18T06:34:40.430872+00:00

measured 0 of 0 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links

measured 0 of 1 external citation measurements

A source-named dated measurement, never combined with another source.

Source: cited_works

Reference resolution

39 of 39 outbound references displayed

verified exact3
verified fuzzy27
unresolved9
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 20e027a5-1f40-4bbb-b1a1-a39260846639 · outbound

This paper cites an unresolved cited work.

Towards Constraint Logic Programming over Strings for Test Data Generation Unresolved cited work

Reference 1

Resolution: unresolved; raw_fallback, observed 2026-08-14T10:54:15.826653Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation b324943d-6456-4abd-991b-294e3d3af575 · outbound

This paper cites an unresolved cited work.

Towards Constraint Logic Programming over Strings for Test Data Generation Unresolved cited work

Reference 2

Resolution: unresolved; raw_fallback, observed 2026-08-14T10:54:15.816199Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 34a08782-4bff-44d0-80bd-4b002d7d3086 · outbound

This paper cites MiniZinc with Strings.

Towards Constraint Logic Programming over Strings for Test Data Generation MiniZinc with Strings

Reference 3

Resolution: verified exact; local_arxiv, observed 2026-08-14T10:54:15.420127Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation e985af88-2283-4f54-861c-2506bddfb5de · outbound

This paper cites Amadini, G.

Towards Constraint Logic Programming over Strings for Test Data Generation Amadini, G

Reference 4

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T10:54:15.805227Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 28f4a147-7101-4608-a378-53dc961f480e · outbound

This paper cites Barrett, C.

Towards Constraint Logic Programming over Strings for Test Data Generation Barrett, C

Reference 5

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T10:54:15.794537Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 89d25be8-b7c2-4e45-bf87-603d768e2fd5 · outbound

This paper cites Berzish, V.

Towards Constraint Logic Programming over Strings for Test Data Generation Berzish, V

Reference 6

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T10:54:15.784031Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 9b21a363-7999-4324-b799-10f6eabc041a · outbound

This paper cites What Is Decidable about String Constraints with the ReplaceAll Function.

Towards Constraint Logic Programming over Strings for Test Data Generation What Is Decidable about String Constraints with the ReplaceAll Function

Reference 7

Resolution: verified exact; local_arxiv, observed 2026-08-14T10:54:15.404347Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation b8fbaf99-d650-4a88-af3a-05da4b4e2505 · outbound

This paper cites de Moura and N.

Towards Constraint Logic Programming over Strings for Test Data Generation de Moura and N

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T10:54:15.773799Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 3ef9aab8-fc4e-49aa-98e2-61509cc9186a · outbound

This paper cites ElGamal, A.

Towards Constraint Logic Programming over Strings for Test Data Generation ElGamal, A

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T10:54:15.761742Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 19eecda7-cee1-4bda-a2c4-a8ff41444c22 · outbound

This paper cites Friske and D.

Towards Constraint Logic Programming over Strings for Test Data Generation Friske and D

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T10:54:15.749934Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation ea547dae-b3bf-40c7-a5d2-cdf7ccf52354 · outbound

This paper cites Frühwirth.

Towards Constraint Logic Programming over Strings for Test Data Generation Frühwirth

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T10:54:15.739493Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation d5e5f1f1-30d7-4153-86f6-87d39b88d14a · outbound

This paper cites Fu and C.-C.

Towards Constraint Logic Programming over Strings for Test Data Generation Fu and C.-C

Reference 12

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T10:54:15.727334Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 79f9ad83-a0be-403f-a634-13d702a936d9 · outbound

This paper cites Ganesh and D.

Towards Constraint Logic Programming over Strings for Test Data Generation Ganesh and D

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T10:54:15.715159Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation f045010a-0462-4874-892e-f909911febdd · outbound

This paper cites Golden and W.

Towards Constraint Logic Programming over Strings for Test Data Generation Golden and W

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T10:54:15.703514Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 58d69a0d-16ec-4fed-abe8-743eaa920780 · outbound

This paper cites Haftmann, D.

Towards Constraint Logic Programming over Strings for Test Data Generation Haftmann, D

Reference 15

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T10:54:15.690730Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 789026ca-e1bd-4ffb-8f02-3441cc7c9d1e · outbound

This paper cites Houkjær, K.

Towards Constraint Logic Programming over Strings for Test Data Generation Houkjær, K

Reference 16

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T10:54:15.679949Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 185292bb-98ab-4a2a-b7e9-722e7bf2bfc3 · outbound

This paper cites Standard, International Organiza tion for Standardiza- tion, Geneva, CH, 6 2017.

Towards Constraint Logic Programming over Strings for Test Data Generation Standard, International Organiza tion for Standardiza- tion, Geneva, CH, 6 2017

Reference 17

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T10:54:15.670121Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 4ac64c03-8211-4d65-be6c-54af7258ccc4 · outbound

This paper cites an unresolved cited work.

Towards Constraint Logic Programming over Strings for Test Data Generation Unresolved cited work

Reference 18

Resolution: unresolved; raw_fallback, observed 2026-08-14T10:54:15.658179Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 04b20fb1-4ef5-424b-8703-f32ae266b109 · outbound

This paper cites Karttunen, J.-P.

Towards Constraint Logic Programming over Strings for Test Data Generation Karttunen, J.-P

Reference 19

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T10:54:15.649019Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 2c866be9-e788-4711-aa23-b921e63a4708 · outbound

This paper cites an unresolved cited work.

Towards Constraint Logic Programming over Strings for Test Data Generation Unresolved cited work

Reference 20

Resolution: unresolved; raw_fallback, observed 2026-08-14T10:54:15.639295Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation bfcb55c2-16fc-41ba-8f4f-ada35ec7db00 · outbound

This paper cites Kieżun, V.

Towards Constraint Logic Programming over Strings for Test Data Generation Kieżun, V

Reference 21

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T10:54:15.627700Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation e6506601-cba1-4dce-ba51-21f6680397ff · outbound

This paper cites an unresolved cited work.

Towards Constraint Logic Programming over Strings for Test Data Generation Unresolved cited work

Reference 22

Resolution: unresolved; raw_fallback, observed 2026-08-14T10:54:15.616270Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 0a1a19d9-c9cb-454c-b3ec-5fff32760c4d · outbound

This paper cites Krings and M.

Towards Constraint Logic Programming over Strings for Test Data Generation Krings and M

Reference 23

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T10:54:15.604082Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation bf1a59d8-07c1-4f72-80ac-739d722881f0 · outbound

This paper cites Liang, A.

Towards Constraint Logic Programming over Strings for Test Data Generation Liang, A

Reference 24

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T10:54:15.593631Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation a5c79c41-f1f4-4471-a598-80975134a954 · outbound

This paper cites Liang, A.

Towards Constraint Logic Programming over Strings for Test Data Generation Liang, A

Reference 25

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T10:54:15.582380Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 22695c3a-383f-451b-8129-7b03e99ad83e · outbound

This paper cites an unresolved cited work.

Towards Constraint Logic Programming over Strings for Test Data Generation Unresolved cited work

Reference 26

Resolution: unresolved; raw_fallback, observed 2026-08-14T10:54:15.572528Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 391324dd-1539-422a-91ad-d31dc04da7ef · outbound

This paper cites Pretschner.

Towards Constraint Logic Programming over Strings for Test Data Generation Pretschner

Reference 27

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T10:54:15.559191Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 1a75e0fd-d074-4f3b-b504-a3b401b13c24 · outbound

This paper cites Schulte, G.

Towards Constraint Logic Programming over Strings for Test Data Generation Schulte, G

Reference 28

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T10:54:15.548164Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 2cf567cd-2e6e-4377-adf0-a252b3baa54a · outbound

This paper cites Singh and K.

Towards Constraint Logic Programming over Strings for Test Data Generation Singh and K

Reference 29

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T10:54:15.537514Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 1d516f26-874c-4162-af8d-ebbb63823708 · outbound

This paper cites Spillner and T.

Towards Constraint Logic Programming over Strings for Test Data Generation Spillner and T

Reference 30

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T10:54:15.526455Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation fb38b978-fc1f-4859-9de0-56a65be4a0ef · outbound

This paper cites Tillmann and J.

Towards Constraint Logic Programming over Strings for Test Data Generation Tillmann and J

Reference 31

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T10:54:15.513724Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 3fc68cab-9e21-4b49-ad3f-930b3c1f80fa · outbound

This paper cites Tinelli, C.

Towards Constraint Logic Programming over Strings for Test Data Generation Tinelli, C

Reference 32

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T10:54:15.503420Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 4b9766dd-39ff-4b39-a413-0745bcff7403 · outbound

This paper cites Trinh, D.-H.

Towards Constraint Logic Programming over Strings for Test Data Generation Trinh, D.-H

Reference 33

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T10:54:15.493057Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 5e70434a-e0a1-4f92-bf2e-da884a8f6763 · outbound

This paper cites an unresolved cited work.

Towards Constraint Logic Programming over Strings for Test Data Generation Unresolved cited work

Reference 34

Resolution: unresolved; raw_fallback, observed 2026-08-14T10:54:15.479414Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation f5800133-9d6c-4a46-997b-16c282f093a1 · outbound

This paper cites an unresolved cited work.

Towards Constraint Logic Programming over Strings for Test Data Generation Unresolved cited work

Reference 35

Resolution: unresolved; raw_fallback, observed 2026-08-14T10:54:15.466057Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation f38a3896-a8bf-4ecc-b478-ed12f348cd02 · outbound

This paper cites an unresolved cited work.

Towards Constraint Logic Programming over Strings for Test Data Generation Unresolved cited work

Reference 36

Resolution: unresolved; raw_fallback, observed 2026-08-14T10:54:15.453671Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation bfdedcde-1416-4b35-b240-0161cdf58695 · outbound

This paper cites SWI-Prolog.

Towards Constraint Logic Programming over Strings for Test Data Generation SWI-Prolog

Reference 37

Resolution: verified exact; local_arxiv, observed 2026-08-14T10:54:15.386718Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation a8ce28cb-b2d3-4c82-a198-1dad03fbbb3a · outbound

This paper cites Zheng, V.

Towards Constraint Logic Programming over Strings for Test Data Generation Zheng, V

Reference 38

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T10:54:15.442640Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 396a34b0-9ae4-44f2-8cec-9b44e03e7a31 · outbound

This paper cites Zheng, X.

Towards Constraint Logic Programming over Strings for Test Data Generation Zheng, X

Reference 39

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T10:54:15.431507Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Pith citing papers

No inbound Pith citation observations are available.