Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-14T10:54:15.356137Z
Paper Citation Record · LEDGER
Towards Constraint Logic Programming over Strings for Test Data Generation
As of 17 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.
Coverage vector
One-hop event checks from named stored sources.
Source: scholarly_work_events, retraction_status_cache, observed 2026-08-17T06:30:58.91139+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
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-17T06:30:58.91139+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-17T06:30:58.91139+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-17T06:30:58.91139+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-17T06:30:58.91139+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-17T06:30:58.91139+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-17T06:30:58.91139+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-17T06:30:58.91139+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-17T06:30:58.91139+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-17T06:30:58.91139+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-17T06:30:58.91139+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-17T06:30:58.91139+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-17T06:30:58.91139+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-17T06:30:58.91139+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-17T06:30:58.91139+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-17T06:30:58.91139+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-17T06:30:58.91139+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-17T06:30:58.91139+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-17T06:30:58.91139+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-17T06:30:58.91139+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-17T06:30:58.91139+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-17T06:30:58.91139+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-17T06:30:58.91139+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-17T06:30:58.91139+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-17T06:30:58.91139+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-17T06:30:58.91139+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-17T06:30:58.91139+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-17T06:30:58.91139+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-17T06:30:58.91139+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-17T06:30:58.91139+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-17T06:30:58.91139+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-17T06:30:58.91139+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-17T06:30:58.91139+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-17T06:30:58.91139+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-17T06:30:58.91139+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-17T06:30:58.91139+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-17T06:30:58.91139+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-17T06:30:58.91139+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-17T06:30:58.91139+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-17T06:30:58.91139+00:00.
Pith citing papers
No inbound Pith citation observations are available.