Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-15T20:54:09.309347Z
Paper Citation Record · LEDGER
As of 20 August 2026, this Paper Citation Record lists 61 of 61 outbound references and 0 inbound Pith citation observations for arXiv:2505.11857.
A citation records a reference. It does not transfer a finding from one paper to another.
Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-15T20:54:09.309347Z
One-hop event checks from named stored sources.
Source: scholarly_work_events, retraction_status_cache, observed 2026-08-20T06:33:59.587034+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
61 of 61 outbound references displayed
External citation measurements
No source-named external measurement is stored.
Observation 1cb011b1-9625-48b8-8deb-724cb8035c76 · outbound
Incorporating Verification Standards for Security Requirements Generation from Functional Specifications ISO/IEC/IEEE Draft International Standard - Systems and Software Engineering – Life Cycle Processes – Requirements Engineering.ISO/IEC/IEEE P29148_FDIS, September 2018(2018), 1–104
Reference 1
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation d43fd38f-e75e-4236-8a62-b78d9fba204a · outbound
Incorporating Verification Standards for Security Requirements Generation from Functional Specifications GPT-4 Technical Report
Reference 2
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 6d8860d3-789e-4a9b-a3f0-0507d68d8951 · outbound
Incorporating Verification Standards for Security Requirements Generation from Functional Specifications Joint similarity to operators in noncommutative varieties
Reference 3
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 4be64f59-f3f1-4258-ad59-b7a277c07667 · outbound
Incorporating Verification Standards for Security Requirements Generation from Functional Specifications 2018.Risks, security, and privacy for HIV/AIDS data: Big data perspective
Reference 4
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation f8f4a287-fa3d-462b-9edd-7e9716966c15 · outbound
Incorporating Verification Standards for Security Requirements Generation from Functional Specifications Unresolved cited work
Reference 5
Source-reported events for the cited work
correction dated 2020-11-18. Source: crossref record 10.1016/j.jksuci.2020.10.028->10.1016/j.jksuci.2018.12.005:correction, observed 2026-07-11T03:17:17.15059+00:00. This notice travels one citation hop only.
Observation eaec3aec-9727-48f2-8a7d-91118feabf0e · outbound
Incorporating Verification Standards for Security Requirements Generation from Functional Specifications Unresolved cited work
Reference 6
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 735096d6-0792-4fe2-a0b1-18066c070185 · outbound
Incorporating Verification Standards for Security Requirements Generation from Functional Specifications Unresolved cited work
Reference 7
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 978d26b6-f307-4aa6-b2ea-afc45fea3817 · outbound
Incorporating Verification Standards for Security Requirements Generation from Functional Specifications InPars: Data Augmentation for Information Retrieval using Large Language Models
Reference 8
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation cdcfe270-85ad-4ffd-96c9-760589726fdc · outbound
Incorporating Verification Standards for Security Requirements Generation from Functional Specifications Unresolved cited work
Reference 9
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 541e62c1-9164-4b85-b4d1-d24bbb67f77d · outbound
Incorporating Verification Standards for Security Requirements Generation from Functional Specifications Bleistein, and June M
Reference 10
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 2cdd9e2c-f39e-44ad-b710-1740a9dc02e0 · outbound
Incorporating Verification Standards for Security Requirements Generation from Functional Specifications Promptagator: Few-shot Dense Retrieval From 8 Examples
Reference 11
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation b20bb26d-1bcf-4bbe-9296-96457b7ea44d · outbound
Incorporating Verification Standards for Security Requirements Generation from Functional Specifications The Llama 3 Herd of Models
Reference 12
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation bdf88c0f-3b51-4cb7-898b-d3242eec4164 · outbound
Incorporating Verification Standards for Security Requirements Generation from Functional Specifications Unresolved cited work
Reference 13
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 47d6be04-1898-4f12-8421-4d154faf7222 · outbound
Incorporating Verification Standards for Security Requirements Generation from Functional Specifications Méndez Fernández, S
Reference 14
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 0832dae1-1fe3-4dc2-b8f9-409e8d7e05ee · outbound
Incorporating Verification Standards for Security Requirements Generation from Functional Specifications Unresolved cited work
Reference 15
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation b3d18eff-0624-4474-b599-215843e40810 · outbound
Incorporating Verification Standards for Security Requirements Generation from Functional Specifications 2018.Software requirements classification using word embeddings and convolutional neural networks
Reference 16
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation d12da89a-44b0-4f53-8ed9-1fc979c3b5c0 · outbound
Incorporating Verification Standards for Security Requirements Generation from Functional Specifications Unresolved cited work
Reference 17
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 63e7d293-f794-45fa-92bb-f329faf02a51 · outbound
Incorporating Verification Standards for Security Requirements Generation from Functional Specifications Unresolved cited work
Reference 18
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation de226183-630f-4910-83d7-2d378062fcde · outbound
Incorporating Verification Standards for Security Requirements Generation from Functional Specifications Unresolved cited work
Reference 19
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 40d09d7d-cdec-4e93-9364-a0a85f0c526c · outbound
Incorporating Verification Standards for Security Requirements Generation from Functional Specifications Unresolved cited work
Reference 20
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 259b188b-be2d-43b6-be2e-3168011d9319 · outbound
Incorporating Verification Standards for Security Requirements Generation from Functional Specifications Unresolved cited work
Reference 21
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation cdd01627-fffe-46ce-ad98-751552ac6088 · outbound
Incorporating Verification Standards for Security Requirements Generation from Functional Specifications Unresolved cited work
Reference 22
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation fef49205-998c-48a8-8dee-e46d7ee596ed · outbound
Incorporating Verification Standards for Security Requirements Generation from Functional Specifications Unresolved cited work
Reference 23
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 45182540-98fe-4614-ad3a-ca91efad0ebf · outbound
Incorporating Verification Standards for Security Requirements Generation from Functional Specifications Unresolved cited work
Reference 24
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 8b030003-151c-4524-87fb-cf5590f17dea · outbound
Incorporating Verification Standards for Security Requirements Generation from Functional Specifications Unresolved cited work
Reference 25
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 381959e5-a682-4e0f-b0ad-3ec056219c1b · outbound
Incorporating Verification Standards for Security Requirements Generation from Functional Specifications 2021.The Cost of Poor Software Quality in the US: A 2020 Report
Reference 26
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation cb7d8a9f-740d-4e82-aa49-63d22380a930 · outbound
Incorporating Verification Standards for Security Requirements Generation from Functional Specifications 2009.Requirements engineering: from system goals to UML models to software specifications
Reference 27
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation eb644865-0a37-4d76-b356-fa1b6c4321f4 · outbound
Incorporating Verification Standards for Security Requirements Generation from Functional Specifications Unresolved cited work
Reference 28
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation dee8be1e-b0d9-44cb-a6ac-1b9ceaf4925b · outbound
Incorporating Verification Standards for Security Requirements Generation from Functional Specifications 2021.Software Architecture in Practice, 4th Edition
Reference 29
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 760a2ee7-e883-4986-a939-0c6c7e941ad5 · outbound
Incorporating Verification Standards for Security Requirements Generation from Functional Specifications Unresolved cited work
Reference 30
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation eed22885-89a7-44f3-9344-c74cd4135f3c · outbound
Incorporating Verification Standards for Security Requirements Generation from Functional Specifications Unresolved cited work
Reference 31
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation a51ced59-a1ce-4899-9f36-2574b65cc16f · outbound
Incorporating Verification Standards for Security Requirements Generation from Functional Specifications Unresolved cited work
Reference 32
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 95cbb321-6ae0-4ce4-8e25-51e5876ef5fe · outbound
Incorporating Verification Standards for Security Requirements Generation from Functional Specifications Unresolved cited work
Reference 33
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation d5d6f3b0-0a8a-4a53-ae98-6bbfb176f078 · outbound
Incorporating Verification Standards for Security Requirements Generation from Functional Specifications Mead and Ted Stehney
Reference 34
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation a9e8dc09-e108-43bd-90bf-295542d5e947 · outbound
Incorporating Verification Standards for Security Requirements Generation from Functional Specifications Unresolved cited work
Reference 35
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation b5230df1-8876-4d0d-9828-fdf452bb5c6d · outbound
Incorporating Verification Standards for Security Requirements Generation from Functional Specifications Unresolved cited work
Reference 36
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation fb4ae372-7a23-4e2b-8559-61095e183680 · outbound
Incorporating Verification Standards for Security Requirements Generation from Functional Specifications Unresolved cited work
Reference 37
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 2da188f1-a292-4496-bc37-75dee22bb7e2 · outbound
Incorporating Verification Standards for Security Requirements Generation from Functional Specifications Unresolved cited work
Reference 38
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 24f6e4f4-d1ee-4cdb-9b52-f5360251fd81 · outbound
Incorporating Verification Standards for Security Requirements Generation from Functional Specifications Unresolved cited work
Reference 39
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation bf4b38d6-554f-4bb9-856f-03042506e94a · outbound
Incorporating Verification Standards for Security Requirements Generation from Functional Specifications ColBERTv2: Effective and Efficient Retrieval via Lightweight Late Interaction
Reference 40
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 3d963fc3-6005-4ff8-a1b5-1288c4c96389 · outbound
Incorporating Verification Standards for Security Requirements Generation from Functional Specifications Khattab, Jon Saad-Falcon, Christopher Potts, and Matei A
Reference 41
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 3d39b425-028e-4911-8c8b-e5656bafcc57 · outbound
Incorporating Verification Standards for Security Requirements Generation from Functional Specifications Unresolved cited work
Reference 42
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation b74f2cce-4ee1-4ebd-b5c1-dec369349fde · outbound
Incorporating Verification Standards for Security Requirements Generation from Functional Specifications Unresolved cited work
Reference 43
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 122e2f40-9578-4d49-829b-2ac154e31388 · outbound
Incorporating Verification Standards for Security Requirements Generation from Functional Specifications Unresolved cited work
Reference 44
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation bb445bb1-9394-456f-a37e-e00744554843 · outbound
Incorporating Verification Standards for Security Requirements Generation from Functional Specifications Unresolved cited work
Reference 45
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation c314bbad-9a09-49ba-ac2e-6751ad03ef26 · outbound
Incorporating Verification Standards for Security Requirements Generation from Functional Specifications Unresolved cited work
Reference 46
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation a7990871-3dd5-4430-aa1d-aa129b2b57d8 · outbound
Incorporating Verification Standards for Security Requirements Generation from Functional Specifications Unresolved cited work
Reference 47
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation fb3d735f-c406-4baa-a229-8bb9fd1a9b39 · outbound
Incorporating Verification Standards for Security Requirements Generation from Functional Specifications Unresolved cited work
Reference 48
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation eaa2e75a-c596-4956-9a5b-dd643012d855 · outbound
Incorporating Verification Standards for Security Requirements Generation from Functional Specifications Unresolved cited work
Reference 49
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation b60e3c1c-f243-4ece-af2f-dd6812dd8984 · outbound
Incorporating Verification Standards for Security Requirements Generation from Functional Specifications Unresolved cited work
Reference 50
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 64771202-7f8d-4253-869c-7c89c5627d9b · outbound
Incorporating Verification Standards for Security Requirements Generation from Functional Specifications Unresolved cited work
Reference 51
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation ba9ecd10-9103-4b6e-9c0b-145f2f0f57d0 · outbound
Incorporating Verification Standards for Security Requirements Generation from Functional Specifications Unresolved cited work
Reference 52
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 38e18a56-f6d1-4979-8ba7-f17363f08831 · outbound
Incorporating Verification Standards for Security Requirements Generation from Functional Specifications A Comprehensive Capability Analysis of GPT-3 and GPT-3.5 Series Models
Reference 53
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 75aad5ee-4970-4d73-9aa5-9aef29a649ab · outbound
Incorporating Verification Standards for Security Requirements Generation from Functional Specifications Unresolved cited work
Reference 54
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 6146050b-ebfb-462d-8f3e-20a37b6e6946 · outbound
Incorporating Verification Standards for Security Requirements Generation from Functional Specifications Enhancing Automated Program Repair with Solution Design
Reference 55
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 23bfc1de-4dc5-4289-8261-1f0f45f555f8 · outbound
Incorporating Verification Standards for Security Requirements Generation from Functional Specifications A Novel Approach for Automated Design Information Mining from Issue Logs
Reference 56
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 031331fb-cecc-40d7-ad15-27290b54dd7e · outbound
Incorporating Verification Standards for Security Requirements Generation from Functional Specifications Unresolved cited work
Reference 57
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 752dfb73-f9ea-45fe-bf1e-d6a5379fc1c8 · outbound
Incorporating Verification Standards for Security Requirements Generation from Functional Specifications Unresolved cited work
Reference 58
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation d17c3cab-6c3e-44d0-82dd-12e3ad658526 · outbound
Incorporating Verification Standards for Security Requirements Generation from Functional Specifications Unresolved cited work
Reference 59
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 89be1516-2abd-4cd3-97fe-bb422f05c853 · outbound
Incorporating Verification Standards for Security Requirements Generation from Functional Specifications InPars-v2: Large Language Models as Efficient Dataset Generators for Information Retrieval
Reference 2023
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 959ea54a-3dda-4168-89c1-5aa2489df11b · outbound
Incorporating Verification Standards for Security Requirements Generation from Functional Specifications Unresolved cited work
Reference 2024
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
No inbound Pith citation observations are available.