Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-01T15:04:48.289151Z
Paper Citation Record · LEDGER
LM2Alloy: Investigating LLM-Generated Formal Specifications for Automated Test Derivation in Production Software
As of 9 August 2026, this Paper Citation Record lists 8 of 8 outbound references and 0 inbound Pith citation observations for arXiv:2607.18555.
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-09T06:31:02.800959+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
8 of 8 outbound references displayed
- verified exact0
- verified fuzzy0
- unresolved8
- parse uncertain0
- malformed identifier0
- metadata mismatch0
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation e05db58b-c203-4f8d-b5f9-717c151c63ad · outbound
This paper cites TestEra: A novel framework for automated testing of Java programs,.
LM2Alloy: Investigating LLM-Generated Formal Specifications for Automated Test Derivation in Production Software TestEra: A novel framework for automated testing of Java programs,
Reference 1
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T15:04:47.102054Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 52007df9-f027-4deb-8e6a-f4899114a629 · outbound
This paper cites Alloy: A lightweight object modelling notation,.
LM2Alloy: Investigating LLM-Generated Formal Specifications for Automated Test Derivation in Production Software Alloy: A lightweight object modelling notation,
Reference 2
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T15:04:47.292367Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 6145b5e9-7705-4bb7-97e9-dfd90b5db7b0 · outbound
This paper cites On the Effectiveness of Large Language Models in Writing Alloy Formulas.
LM2Alloy: Investigating LLM-Generated Formal Specifications for Automated Test Derivation in Production Software On the Effectiveness of Large Language Models in Writing Alloy Formulas
Reference 3
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T15:04:47.530935Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 15bd62c8-78b3-4372-9bda-af244d0625f2 · outbound
This paper cites An Empirical Evaluation of Pre-trained Large Language Models for Repairing Declarative Formal Specifications.
LM2Alloy: Investigating LLM-Generated Formal Specifications for Automated Test Derivation in Production Software An Empirical Evaluation of Pre-trained Large Language Models for Repairing Declarative Formal Specifications
Reference 4
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T15:04:47.756227Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 5041ee1b-2cd3-4a44-a82e-1613f58dc3c5 · outbound
This paper cites SpecGen: Automated generation of formal program specifications via large language models,.
LM2Alloy: Investigating LLM-Generated Formal Specifications for Automated Test Derivation in Production Software SpecGen: Automated generation of formal program specifications via large language models,
Reference 5
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T15:04:47.895365Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation b7be9fab-ae52-44b3-aa72-df998d00f42c · outbound
This paper cites From particles to orbits: precise dark matter density profiles using dynamical information.
LM2Alloy: Investigating LLM-Generated Formal Specifications for Automated Test Derivation in Production Software From particles to orbits: precise dark matter density profiles using dynamical information
Reference 6
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T15:04:48.056132Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation f79877a3-25b2-4639-8a24-d0d77c128f3b · outbound
This paper cites flipper-client: A lightweight, flexible library for feature flags in Python,.
LM2Alloy: Investigating LLM-Generated Formal Specifications for Automated Test Derivation in Production Software flipper-client: A lightweight, flexible library for feature flags in Python,
Reference 7
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T15:04:48.172400Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation ac9b9c79-c0d9-4f5e-b6db-2a08acab09a7 · outbound
This paper cites Cerberus: Data validation library for Python,.
LM2Alloy: Investigating LLM-Generated Formal Specifications for Automated Test Derivation in Production Software Cerberus: Data validation library for Python,
Reference 8
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T15:04:48.289151Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Pith citing papers
No inbound Pith citation observations are available.