Paper Citation Record · LEDGER

PROGRESS: Property-Guided Regression Search for Semantic Falsification

As of 8 August 2026, this Paper Citation Record lists 22 of 22 outbound references and 0 inbound Pith citation observations for arXiv:2607.27359.

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

pith.paper-citation-record.v1
2607.27359 v1

Coverage vector

measured 22 of 22 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-01T08:56:26.768460Z

measured 22 of 22 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-08T06:32:00.761636+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

22 of 22 outbound references displayed

verified exact0
verified fuzzy0
unresolved22
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation d1da09dd-f8e4-4629-9c02-c859ae4a7761 · outbound

This paper cites Evosuite: automatic test suite generation for object-oriented software,.

PROGRESS: Property-Guided Regression Search for Semantic Falsification Evosuite: automatic test suite generation for object-oriented software,

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-01T08:56:23.397537Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 30c2774a-f862-4bdc-8506-a7fbb7e64d91 · outbound

This paper cites QuickCheck: A lightweight tool for random testing of haskell programs,.

PROGRESS: Property-Guided Regression Search for Semantic Falsification QuickCheck: A lightweight tool for random testing of haskell programs,

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-01T08:56:23.469182Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3c615295-ebab-40ea-ad83-ebd1b87542d9 · outbound

This paper cites Property-based testing in practice,.

PROGRESS: Property-Guided Regression Search for Semantic Falsification Property-based testing in practice,

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-01T08:56:23.633139Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 640a1506-81cf-4338-a042-ead9f3d5c8c5 · outbound

This paper cites Targeted property-based testing,.

PROGRESS: Property-Guided Regression Search for Semantic Falsification Targeted property-based testing,

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-01T08:56:23.779986Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 163f1458-2822-411e-b15c-4e451a10d45d · outbound

This paper cites jqwik: Property-based testing on the jvm,.

PROGRESS: Property-Guided Regression Search for Semantic Falsification jqwik: Property-based testing on the jvm,

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-01T08:56:23.940006Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e016914b-2174-4d1e-9daf-4cae88f5b81d · outbound

This paper cites JQF: Coverage-guided property- based testing in java,.

PROGRESS: Property-Guided Regression Search for Semantic Falsification JQF: Coverage-guided property- based testing in java,

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-01T08:56:24.102048Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cb865357-5634-417b-ad01-a9b5da9a94cb · outbound

This paper cites Automated test case generation as a many-objective optimisation problem with dynamic selection of the targets,.

PROGRESS: Property-Guided Regression Search for Semantic Falsification Automated test case generation as a many-objective optimisation problem with dynamic selection of the targets,

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-01T08:56:24.446687Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 20910d80-84e8-422b-aa95-15bf9d26c932 · outbound

This paper cites Spoon: A library for implementing analyses and transformations of java source code,.

PROGRESS: Property-Guided Regression Search for Semantic Falsification Spoon: A library for implementing analyses and transformations of java source code,

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-01T08:56:24.640189Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 99af71d1-49f2-488b-a780-bd1de99ff557 · outbound

This paper cites Sootup: A redesign of the soot static analysis framework,.

PROGRESS: Property-Guided Regression Search for Semantic Falsification Sootup: A redesign of the soot static analysis framework,

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-01T08:56:25.032614Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 70d29bf8-1f5b-46c8-b0f8-6a01e8d2f89b · outbound

This paper cites Neural-based test oracle generation: A large-scale evaluation and lessons learned,.

PROGRESS: Property-Guided Regression Search for Semantic Falsification Neural-based test oracle generation: A large-scale evaluation and lessons learned,

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-01T08:56:25.211027Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c5fd9db9-1eac-4850-a422-97e1cb2ff19f · outbound

This paper cites Togll: Correct and strong test oracle generation with llms,.

PROGRESS: Property-Guided Regression Search for Semantic Falsification Togll: Correct and strong test oracle generation with llms,

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-01T08:56:25.350030Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6c39c19e-d30c-480c-8fe8-b117ddfc3048 · outbound

This paper cites Do LLMs generate test oracles that capture the actual or the expected program behaviour?.

PROGRESS: Property-Guided Regression Search for Semantic Falsification Do LLMs generate test oracles that capture the actual or the expected program behaviour?

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-01T08:56:25.490067Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0500e555-efb9-4510-9ab8-b199843a403b · outbound

This paper cites TOGBench: A developer- written multi-variant dataset and benchmark suite for test oracle gen- eration,.

PROGRESS: Property-Guided Regression Search for Semantic Falsification TOGBench: A developer- written multi-variant dataset and benchmark suite for test oracle gen- eration,

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-01T08:56:25.632454Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fe0100e7-37e8-4cc8-a9dc-893cdd8a4545 · outbound

This paper cites PITMuS: A tool for automated bug dataset generation via source-level mutant reconstruction,.

PROGRESS: Property-Guided Regression Search for Semantic Falsification PITMuS: A tool for automated bug dataset generation via source-level mutant reconstruction,

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-01T08:56:25.776259Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1ae7b8ed-ff74-4da1-b05e-c1b801bc77b2 · outbound

This paper cites Pit: a practical mutation testing tool for java,.

PROGRESS: Property-Guided Regression Search for Semantic Falsification Pit: a practical mutation testing tool for java,

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-01T08:56:25.951945Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e97dca2f-fea2-4ae6-bb99-c3148d2eab12 · outbound

This paper cites Large Language Models as Test Case Generators: Performance Evaluation and Enhancement.

PROGRESS: Property-Guided Regression Search for Semantic Falsification Large Language Models as Test Case Generators: Performance Evaluation and Enhancement

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-01T08:56:26.123848Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 989bed0d-529e-4c45-a270-353a677e26aa · outbound

This paper cites CoverUp: Effective High Coverage Test Generation for Python.

PROGRESS: Property-Guided Regression Search for Semantic Falsification CoverUp: Effective High Coverage Test Generation for Python

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-01T08:56:26.261196Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8e21cabb-040d-4027-9c23-e0492fec028a · outbound

This paper cites Testweaver: Execution-aware, feedback-driven regression testing generation with large language models,.

PROGRESS: Property-Guided Regression Search for Semantic Falsification Testweaver: Execution-aware, feedback-driven regression testing generation with large language models,

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-01T08:56:26.441078Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9b20246c-aaf9-4984-a044-d16ca7f664c5 · outbound

This paper cites Evaluating LLM-Based Regression Test Generation.

PROGRESS: Property-Guided Regression Search for Semantic Falsification Evaluating LLM-Based Regression Test Generation

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-01T08:56:26.573690Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 97ce2887-e9da-442b-9c46-c35b30100027 · outbound

This paper cites Doc2oracll: Investigating the impact of documentation on llm-based test oracle generation,.

PROGRESS: Property-Guided Regression Search for Semantic Falsification Doc2oracll: Investigating the impact of documentation on llm-based test oracle generation,

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-01T08:56:26.768460Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b2fa7213-916d-4fb9-835a-2114de20077d · outbound

This paper cites Available: https://doi.org/10.1002/spe.2346.

PROGRESS: Property-Guided Regression Search for Semantic Falsification Available: https://doi.org/10.1002/spe.2346

Reference 2016

Resolution: unresolved; no resolver link, observed 2026-08-01T08:56:24.841341Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c0bb4267-e45a-4e61-9d13-5d750b701cdf · outbound

This paper cites an unresolved cited work.

PROGRESS: Property-Guided Regression Search for Semantic Falsification Unresolved cited work

Reference 2019

Resolution: unresolved; no resolver link, observed 2026-08-01T08:56:24.271645Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

No inbound Pith citation observations are available.