Pith. sign in

Paper Citation Record · LEDGER

Incorporating Verification Standards for Security Requirements Generation from Functional Specifications

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.

pith.paper-citation-record.v1
2505.11857 v1

Coverage vector

measured 61 of 61 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-15T20:54:09.309347Z

measured 61 of 61 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-20T06:33:59.587034+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

61 of 61 outbound references displayed

  • verified exact6
  • verified fuzzy7
  • unresolved48
  • parse uncertain0
  • malformed identifier0
  • metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 1cb011b1-9625-48b8-8deb-724cb8035c76 · outbound

This paper cites 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.

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

Resolution
verified fuzzy
raw_fallback, observed 2026-08-15T20:54:10.777629Z

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.

source=pdf_text observed=2026-08-15T20:54:09.009072Z digest=sha256:7a3d6bdf1bc6d0bf31f0fc4296e609aa917d639ef6d318fa9e99bf6e16bb1ab0

Observation d43fd38f-e75e-4236-8a62-b78d9fba204a · outbound

This paper cites GPT-4 Technical Report.

Incorporating Verification Standards for Security Requirements Generation from Functional Specifications GPT-4 Technical Report

Reference 2

Resolution
unresolved
no resolver link, observed 2026-08-15T20:54:09.014313Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-15T20:54:09.014313Z digest=sha256:a8015d9ae130e055ba140f9ae53a92b4e878116811a467c6781cd160ab4fefdf

Observation 6d8860d3-789e-4a9b-a3f0-0507d68d8951 · outbound

This paper cites Joint similarity to operators in noncommutative varieties.

Incorporating Verification Standards for Security Requirements Generation from Functional Specifications Joint similarity to operators in noncommutative varieties

Reference 3

Resolution
unresolved
no resolver link, observed 2026-08-15T20:54:09.020318Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-15T20:54:09.020318Z digest=sha256:43eea4520361da4ac3d89991b6ecd14965743279d3b1107dbe61896f57586408

Observation 4be64f59-f3f1-4258-ad59-b7a277c07667 · outbound

This paper cites 2018.Risks, security, and privacy for HIV/AIDS data: Big data perspective.

Incorporating Verification Standards for Security Requirements Generation from Functional Specifications 2018.Risks, security, and privacy for HIV/AIDS data: Big data perspective

Reference 4

Resolution
verified exact
doi, observed 2026-08-15T20:54:09.466307Z

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.

source=pdf_text observed=2026-08-15T20:54:09.025521Z digest=sha256:02e3b5034a1661368b7c17ccbbbc7ac9e1fb40aa27b41eb4a0d6da8f82b66341

Observation f8f4a287-fa3d-462b-9edd-7e9716966c15 · outbound

This paper cites an unresolved cited work.

Incorporating Verification Standards for Security Requirements Generation from Functional Specifications Unresolved cited work

Reference 5

Resolution
verified exact
doi, observed 2026-08-15T20:54:09.447703Z

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.

source=pdf_text observed=2026-08-15T20:54:09.029687Z digest=sha256:53163e50c9e57336092f1437d23059ecdfaa2648de5bfe871b07dd5d3c62e15e

Observation eaec3aec-9727-48f2-8a7d-91118feabf0e · outbound

This paper cites an unresolved cited work.

Incorporating Verification Standards for Security Requirements Generation from Functional Specifications Unresolved cited work

Reference 6

Resolution
unresolved
no resolver link, observed 2026-08-15T20:54:09.034035Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-15T20:54:09.034035Z digest=sha256:8224cea2aa6a39d3268fb4722d00719bd7e4b6e04c338451405f6b78d3d458f5

Observation 735096d6-0792-4fe2-a0b1-18066c070185 · outbound

This paper cites an unresolved cited work.

Incorporating Verification Standards for Security Requirements Generation from Functional Specifications Unresolved cited work

Reference 7

Resolution
unresolved
no resolver link, observed 2026-08-15T20:54:09.038354Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-15T20:54:09.038354Z digest=sha256:a5d233d3652e8ab1186b6bcb8ced4324b7d5bd568709b69984980f0c8f5ed708

Observation 978d26b6-f307-4aa6-b2ea-afc45fea3817 · outbound

This paper cites InPars: Data Augmentation for Information Retrieval using Large Language Models.

Incorporating Verification Standards for Security Requirements Generation from Functional Specifications InPars: Data Augmentation for Information Retrieval using Large Language Models

Reference 8

Resolution
unresolved
no resolver link, observed 2026-08-15T20:54:09.042226Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-15T20:54:09.042226Z digest=sha256:c9daf2541ea05adc7ae58593de2b1d136e35e18479f26c38ac6ad4f7ebe5d3b2

Observation cdcfe270-85ad-4ffd-96c9-760589726fdc · outbound

This paper cites an unresolved cited work.

Incorporating Verification Standards for Security Requirements Generation from Functional Specifications Unresolved cited work

Reference 9

Resolution
unresolved
raw_fallback, observed 2026-08-15T20:54:10.755103Z

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.

source=pdf_text observed=2026-08-15T20:54:09.046837Z digest=sha256:2b9a0c9fbb974f2e7382eed83cf4c2f527821e55c559fc64b59605ae66ad2b3d

Observation 541e62c1-9164-4b85-b4d1-d24bbb67f77d · outbound

This paper cites Bleistein, and June M.

Incorporating Verification Standards for Security Requirements Generation from Functional Specifications Bleistein, and June M

Reference 10

Resolution
verified fuzzy
raw_fallback, observed 2026-08-15T20:54:10.741162Z

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.

source=pdf_text observed=2026-08-15T20:54:09.051768Z digest=sha256:342ce920827ab69dd6bd1052595880d3dbc99829aec39d8dec22a84ac1741fed

Observation 2cdd9e2c-f39e-44ad-b710-1740a9dc02e0 · outbound

This paper cites Promptagator: Few-shot Dense Retrieval From 8 Examples.

Incorporating Verification Standards for Security Requirements Generation from Functional Specifications Promptagator: Few-shot Dense Retrieval From 8 Examples

Reference 11

Resolution
unresolved
no resolver link, observed 2026-08-15T20:54:09.056421Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-15T20:54:09.056421Z digest=sha256:a10efcb9670426788a82dc5fe6870f39a66d182c6fd96bb1a11597b4b90f12a6

Observation b20bb26d-1bcf-4bbe-9296-96457b7ea44d · outbound

This paper cites The Llama 3 Herd of Models.

Incorporating Verification Standards for Security Requirements Generation from Functional Specifications The Llama 3 Herd of Models

Reference 12

Resolution
unresolved
no resolver link, observed 2026-08-15T20:54:09.061842Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-15T20:54:09.061842Z digest=sha256:32141086b602af0f38228f7d6163381cacde30b7e445befea6c0001519ffb977

Observation bdf88c0f-3b51-4cb7-898b-d3242eec4164 · outbound

This paper cites an unresolved cited work.

Incorporating Verification Standards for Security Requirements Generation from Functional Specifications Unresolved cited work

Reference 13

Resolution
unresolved
no resolver link, observed 2026-08-15T20:54:09.066646Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-15T20:54:09.066646Z digest=sha256:354580456904536c3de5ce39f4b3d9341156c40fad2ec783a476ac947d71c78b

Observation 47d6be04-1898-4f12-8421-4d154faf7222 · outbound

This paper cites Méndez Fernández, S.

Incorporating Verification Standards for Security Requirements Generation from Functional Specifications Méndez Fernández, S

Reference 14

Resolution
unresolved
no resolver link, observed 2026-08-15T20:54:09.071627Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-15T20:54:09.071627Z digest=sha256:d42d5dc0d7085dc03d61667eabe72d1e77553f2ee7f04c79e4efb51a5efd4c84

Observation 0832dae1-1fe3-4dc2-b8f9-409e8d7e05ee · outbound

This paper cites an unresolved cited work.

Incorporating Verification Standards for Security Requirements Generation from Functional Specifications Unresolved cited work

Reference 15

Resolution
unresolved
no resolver link, observed 2026-08-15T20:54:09.076752Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-15T20:54:09.076752Z digest=sha256:b6f6b3ce111090613bfc922cf3160ab671f5ba216e1dc0d4528d484c722d52fd

Observation b3d18eff-0624-4474-b599-215843e40810 · outbound

This paper cites 2018.Software requirements classification using word embeddings and convolutional neural networks.

Incorporating Verification Standards for Security Requirements Generation from Functional Specifications 2018.Software requirements classification using word embeddings and convolutional neural networks

Reference 16

Resolution
verified fuzzy
raw_fallback, observed 2026-08-15T20:54:10.727037Z

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.

source=pdf_text observed=2026-08-15T20:54:09.081125Z digest=sha256:b9ba044b14237e1197cecac0d4300557e3857023a8b44051668011db3f02d169

Observation d12da89a-44b0-4f53-8ed9-1fc979c3b5c0 · outbound

This paper cites an unresolved cited work.

Incorporating Verification Standards for Security Requirements Generation from Functional Specifications Unresolved cited work

Reference 17

Resolution
unresolved
no resolver link, observed 2026-08-15T20:54:09.085310Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-15T20:54:09.085310Z digest=sha256:6d4e82311d25647866cca669e0786b3d97a624c01a29bd17284bc2ceb9b26bf0

Observation 63e7d293-f794-45fa-92bb-f329faf02a51 · outbound

This paper cites an unresolved cited work.

Incorporating Verification Standards for Security Requirements Generation from Functional Specifications Unresolved cited work

Reference 18

Resolution
unresolved
raw_fallback, observed 2026-08-15T20:54:10.713973Z

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.

source=pdf_text observed=2026-08-15T20:54:09.089167Z digest=sha256:dca49bb72637ad6f5c7268bebec738fe96f6c5a043443f437e48bab41478709a

Observation de226183-630f-4910-83d7-2d378062fcde · outbound

This paper cites an unresolved cited work.

Incorporating Verification Standards for Security Requirements Generation from Functional Specifications Unresolved cited work

Reference 19

Resolution
unresolved
raw_fallback, observed 2026-08-15T20:54:10.700751Z

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.

source=pdf_text observed=2026-08-15T20:54:09.095145Z digest=sha256:2fb3e9a548f7f1b14bbbd343ac1e7ce8ea5c7422c5e643e8062270044ec5f5d1

Observation 40d09d7d-cdec-4e93-9364-a0a85f0c526c · outbound

This paper cites an unresolved cited work.

Incorporating Verification Standards for Security Requirements Generation from Functional Specifications Unresolved cited work

Reference 20

Resolution
unresolved
raw_fallback, observed 2026-08-15T20:54:10.688253Z

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.

source=pdf_text observed=2026-08-15T20:54:09.099311Z digest=sha256:b77b2531473b477650e7ed949c516ca422790f983a9104cd0c5fdd63c81ee844

Observation 259b188b-be2d-43b6-be2e-3168011d9319 · outbound

This paper cites an unresolved cited work.

Incorporating Verification Standards for Security Requirements Generation from Functional Specifications Unresolved cited work

Reference 21

Resolution
unresolved
raw_fallback, observed 2026-08-15T20:54:10.674568Z

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.

source=pdf_text observed=2026-08-15T20:54:09.108712Z digest=sha256:547ee5e9cea4f1777dd0c8209240b23f723fdf056ee47f4324facd37f6a7f565

Observation cdd01627-fffe-46ce-ad98-751552ac6088 · outbound

This paper cites an unresolved cited work.

Incorporating Verification Standards for Security Requirements Generation from Functional Specifications Unresolved cited work

Reference 22

Resolution
unresolved
raw_fallback, observed 2026-08-15T20:54:10.657922Z

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.

source=pdf_text observed=2026-08-15T20:54:09.112876Z digest=sha256:bda246a50c260d434522db119a9ef566284d9efed69178bd12d758f6c3c90107

Observation fef49205-998c-48a8-8dee-e46d7ee596ed · outbound

This paper cites an unresolved cited work.

Incorporating Verification Standards for Security Requirements Generation from Functional Specifications Unresolved cited work

Reference 23

Resolution
unresolved
raw_fallback, observed 2026-08-15T20:54:10.642057Z

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.

source=pdf_text observed=2026-08-15T20:54:09.117196Z digest=sha256:8053af3fe32778ba6730da9d6c38ddc615bfa45517d7ecff045547b5858daedd

Observation 45182540-98fe-4614-ad3a-ca91efad0ebf · outbound

This paper cites an unresolved cited work.

Incorporating Verification Standards for Security Requirements Generation from Functional Specifications Unresolved cited work

Reference 24

Resolution
unresolved
raw_fallback, observed 2026-08-15T20:54:10.622602Z

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.

source=pdf_text observed=2026-08-15T20:54:09.125202Z digest=sha256:f6a14a015eeedbc9b1c71f00dc1708dd3a18087e49451dec05513757631fe6d6

Observation 8b030003-151c-4524-87fb-cf5590f17dea · outbound

This paper cites an unresolved cited work.

Incorporating Verification Standards for Security Requirements Generation from Functional Specifications Unresolved cited work

Reference 25

Resolution
unresolved
no resolver link, observed 2026-08-15T20:54:09.129768Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-15T20:54:09.129768Z digest=sha256:51687e3cfccafb3906f1215a5c10b4f2dd9d4f4d7abc934060ff59f9658cc8eb

Observation 381959e5-a682-4e0f-b0ad-3ec056219c1b · outbound

This paper cites 2021.The Cost of Poor Software Quality in the US: A 2020 Report.

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

Resolution
verified fuzzy
raw_fallback, observed 2026-08-15T20:54:10.605403Z

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.

source=pdf_text observed=2026-08-15T20:54:09.135256Z digest=sha256:638a980713f5a5e5c3991b8b39e974ca3a828b17519422c310697b4e6ce1827f

Observation cb7d8a9f-740d-4e82-aa49-63d22380a930 · outbound

This paper cites 2009.Requirements engineering: from system goals to UML models to software specifications.

Incorporating Verification Standards for Security Requirements Generation from Functional Specifications 2009.Requirements engineering: from system goals to UML models to software specifications

Reference 27

Resolution
verified fuzzy
raw_fallback, observed 2026-08-15T20:54:10.589496Z

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.

source=pdf_text observed=2026-08-15T20:54:09.139576Z digest=sha256:1adfa823c62594048972a7b1e3e140eb040e1872bca72a185d9b098bd327697e

Observation eb644865-0a37-4d76-b356-fa1b6c4321f4 · outbound

This paper cites an unresolved cited work.

Incorporating Verification Standards for Security Requirements Generation from Functional Specifications Unresolved cited work

Reference 28

Resolution
unresolved
no resolver link, observed 2026-08-15T20:54:09.144254Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-15T20:54:09.144254Z digest=sha256:47a2c564cd1f792d2717e358c8f0fa9016c735ae30458c123c9205846c194785

Observation dee8be1e-b0d9-44cb-a6ac-1b9ceaf4925b · outbound

This paper cites 2021.Software Architecture in Practice, 4th Edition.

Incorporating Verification Standards for Security Requirements Generation from Functional Specifications 2021.Software Architecture in Practice, 4th Edition

Reference 29

Resolution
verified fuzzy
raw_fallback, observed 2026-08-15T20:54:10.561918Z

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.

source=pdf_text observed=2026-08-15T20:54:09.149054Z digest=sha256:aa4b98ebbf007540143c098c2cba45260c7b48edc8fef159ba18585cf3ebbdd7

Observation 760a2ee7-e883-4986-a939-0c6c7e941ad5 · outbound

This paper cites an unresolved cited work.

Incorporating Verification Standards for Security Requirements Generation from Functional Specifications Unresolved cited work

Reference 30

Resolution
unresolved
no resolver link, observed 2026-08-15T20:54:09.153166Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-15T20:54:09.153166Z digest=sha256:729c4cf564d7d0dedc0581070499b6f8a671375d9faa786c54a53231ae7cf653

Observation eed22885-89a7-44f3-9344-c74cd4135f3c · outbound

This paper cites an unresolved cited work.

Incorporating Verification Standards for Security Requirements Generation from Functional Specifications Unresolved cited work

Reference 31

Resolution
verified exact
doi, observed 2026-08-15T20:54:09.403225Z

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.

source=pdf_text observed=2026-08-15T20:54:09.158084Z digest=sha256:4be6aab3b26415dab26cd9e624ce9a40c027cfb2d0f6195770bfa47f097315f6

Observation a51ced59-a1ce-4899-9f36-2574b65cc16f · outbound

This paper cites an unresolved cited work.

Incorporating Verification Standards for Security Requirements Generation from Functional Specifications Unresolved cited work

Reference 32

Resolution
unresolved
no resolver link, observed 2026-08-15T20:54:09.162542Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-15T20:54:09.162542Z digest=sha256:7458b6d1f5625229140964d1f72cd0ff0e27094df6efc56987ff16ff0176c055

Observation 95cbb321-6ae0-4ce4-8e25-51e5876ef5fe · outbound

This paper cites an unresolved cited work.

Incorporating Verification Standards for Security Requirements Generation from Functional Specifications Unresolved cited work

Reference 33

Resolution
unresolved
raw_fallback, observed 2026-08-15T20:54:10.523059Z

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.

source=pdf_text observed=2026-08-15T20:54:09.166428Z digest=sha256:6f93d46a8a8f3c5b787c55d715f1759cd28623596e530a008a3ea0f68e246afa

Observation d5d6f3b0-0a8a-4a53-ae98-6bbfb176f078 · outbound

This paper cites Mead and Ted Stehney.

Incorporating Verification Standards for Security Requirements Generation from Functional Specifications Mead and Ted Stehney

Reference 34

Resolution
unresolved
no resolver link, observed 2026-08-15T20:54:09.171202Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-15T20:54:09.171202Z digest=sha256:1b1a2e1fa99480690d9b5ef427f8640c269314c5bf0f9a2afa4177b26f7d1025

Observation a9e8dc09-e108-43bd-90bf-295542d5e947 · outbound

This paper cites an unresolved cited work.

Incorporating Verification Standards for Security Requirements Generation from Functional Specifications Unresolved cited work

Reference 35

Resolution
unresolved
raw_fallback, observed 2026-08-15T20:54:10.507777Z

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.

source=pdf_text observed=2026-08-15T20:54:09.178182Z digest=sha256:f032c8754dd56093069e017d9788d2f2e2cfc12c2287e12b9a4154a160e62010

Observation b5230df1-8876-4d0d-9828-fdf452bb5c6d · outbound

This paper cites an unresolved cited work.

Incorporating Verification Standards for Security Requirements Generation from Functional Specifications Unresolved cited work

Reference 36

Resolution
verified exact
raw_fallback, observed 2026-08-15T20:54:09.911545Z

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.

source=pdf_text observed=2026-08-15T20:54:09.182902Z digest=sha256:08fdb8fd128caaf94a2abbe0b2f5fa171e6983ef1b935b92d0dcdbb38f5f7eae

Observation fb4ae372-7a23-4e2b-8559-61095e183680 · outbound

This paper cites an unresolved cited work.

Incorporating Verification Standards for Security Requirements Generation from Functional Specifications Unresolved cited work

Reference 37

Resolution
unresolved
raw_fallback, observed 2026-08-15T20:54:10.492028Z

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.

source=pdf_text observed=2026-08-15T20:54:09.188267Z digest=sha256:5a0f448c0082e35dea67ed0677f7a87250f14f7d9719538ff55f68e4ef6597be

Observation 2da188f1-a292-4496-bc37-75dee22bb7e2 · outbound

This paper cites an unresolved cited work.

Incorporating Verification Standards for Security Requirements Generation from Functional Specifications Unresolved cited work

Reference 38

Resolution
unresolved
no resolver link, observed 2026-08-15T20:54:09.194171Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-15T20:54:09.194171Z digest=sha256:0cb42fd5b19608c59137b5dba4bbd51c8ec7f746e3823ef92451fe088e3de508

Observation 24f6e4f4-d1ee-4cdb-9b52-f5360251fd81 · outbound

This paper cites an unresolved cited work.

Incorporating Verification Standards for Security Requirements Generation from Functional Specifications Unresolved cited work

Reference 39

Resolution
unresolved
no resolver link, observed 2026-08-15T20:54:09.198677Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-15T20:54:09.198677Z digest=sha256:8d7695143263d16a735b50a4e99d8ea8d688d5cb842881bc55016bb5f6ca6434

Observation bf4b38d6-554f-4bb9-856f-03042506e94a · outbound

This paper cites ColBERTv2: Effective and Efficient Retrieval via Lightweight Late Interaction.

Incorporating Verification Standards for Security Requirements Generation from Functional Specifications ColBERTv2: Effective and Efficient Retrieval via Lightweight Late Interaction

Reference 40

Resolution
unresolved
no resolver link, observed 2026-08-15T20:54:09.202808Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-15T20:54:09.202808Z digest=sha256:7b9ec13cbe1fdae424ded956cea24112c0cde623261cc298f9a69e69d2450e35

Observation 3d963fc3-6005-4ff8-a1b5-1288c4c96389 · outbound

This paper cites Khattab, Jon Saad-Falcon, Christopher Potts, and Matei A.

Incorporating Verification Standards for Security Requirements Generation from Functional Specifications Khattab, Jon Saad-Falcon, Christopher Potts, and Matei A

Reference 41

Resolution
verified fuzzy
raw_fallback, observed 2026-08-15T20:54:10.478002Z

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.

source=pdf_text observed=2026-08-15T20:54:09.210335Z digest=sha256:6eed862e2a5e7484cb2b52eac1336ba933555594b4d61609b6998d5ca0cee095

Observation 3d39b425-028e-4911-8c8b-e5656bafcc57 · outbound

This paper cites an unresolved cited work.

Incorporating Verification Standards for Security Requirements Generation from Functional Specifications Unresolved cited work

Reference 42

Resolution
unresolved
raw_fallback, observed 2026-08-15T20:54:10.464314Z

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.

source=pdf_text observed=2026-08-15T20:54:09.215815Z digest=sha256:e52978e5da8b3693112df9a21681fbc9ae6629febaf80d62e21cbcf77b1503b2

Observation b74f2cce-4ee1-4ebd-b5c1-dec369349fde · outbound

This paper cites an unresolved cited work.

Incorporating Verification Standards for Security Requirements Generation from Functional Specifications Unresolved cited work

Reference 43

Resolution
unresolved
no resolver link, observed 2026-08-15T20:54:09.221125Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-15T20:54:09.221125Z digest=sha256:4930d8d4e111c9dcd88afd31a15a9fb9ffa8adbcc45e68afa54fb717e0e517c8

Observation 122e2f40-9578-4d49-829b-2ac154e31388 · outbound

This paper cites an unresolved cited work.

Incorporating Verification Standards for Security Requirements Generation from Functional Specifications Unresolved cited work

Reference 44

Resolution
verified exact
doi, observed 2026-08-15T20:54:09.374982Z

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.

source=pdf_text observed=2026-08-15T20:54:09.226606Z digest=sha256:1aab37776cfa10f9b8d3dce528a4982df39e5e1bb26182ef21c06cff0534feba

Observation bb445bb1-9394-456f-a37e-e00744554843 · outbound

This paper cites an unresolved cited work.

Incorporating Verification Standards for Security Requirements Generation from Functional Specifications Unresolved cited work

Reference 45

Resolution
unresolved
raw_fallback, observed 2026-08-15T20:54:10.449086Z

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.

source=pdf_text observed=2026-08-15T20:54:09.233594Z digest=sha256:d2c78e25eaac7385e185c61b96cc01e096e62cac24c2c9f31468b893eb83dd16

Observation c314bbad-9a09-49ba-ac2e-6751ad03ef26 · outbound

This paper cites an unresolved cited work.

Incorporating Verification Standards for Security Requirements Generation from Functional Specifications Unresolved cited work

Reference 46

Resolution
unresolved
no resolver link, observed 2026-08-15T20:54:09.238568Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-15T20:54:09.238568Z digest=sha256:00403ccbf9e9ee9e66031bbb36c51f2c6d6a64571242c15fc607ba8be8194b74

Observation a7990871-3dd5-4430-aa1d-aa129b2b57d8 · outbound

This paper cites an unresolved cited work.

Incorporating Verification Standards for Security Requirements Generation from Functional Specifications Unresolved cited work

Reference 47

Resolution
unresolved
raw_fallback, observed 2026-08-15T20:54:10.434945Z

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.

source=pdf_text observed=2026-08-15T20:54:09.243826Z digest=sha256:0c5bfb01c311341778055e48d7ad6bb7e4caa49ea8d430e2f565f9f8174da8c1

Observation fb3d735f-c406-4baa-a229-8bb9fd1a9b39 · outbound

This paper cites an unresolved cited work.

Incorporating Verification Standards for Security Requirements Generation from Functional Specifications Unresolved cited work

Reference 48

Resolution
unresolved
no resolver link, observed 2026-08-15T20:54:09.254564Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-15T20:54:09.254564Z digest=sha256:9c8d6c6a5f7350bb6c7288c0b6a9be00046890c1c0d841bdf58849a372ac7575

Observation eaa2e75a-c596-4956-9a5b-dd643012d855 · outbound

This paper cites an unresolved cited work.

Incorporating Verification Standards for Security Requirements Generation from Functional Specifications Unresolved cited work

Reference 49

Resolution
unresolved
raw_fallback, observed 2026-08-15T20:54:10.398762Z

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.

source=pdf_text observed=2026-08-15T20:54:09.259531Z digest=sha256:788a4afc4b36136455f8847d50d939e39e5cd083c860d1c4a78761c4a43fb3d8

Observation b60e3c1c-f243-4ece-af2f-dd6812dd8984 · outbound

This paper cites an unresolved cited work.

Incorporating Verification Standards for Security Requirements Generation from Functional Specifications Unresolved cited work

Reference 50

Resolution
unresolved
raw_fallback, observed 2026-08-15T20:54:10.385812Z

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.

source=pdf_text observed=2026-08-15T20:54:09.264278Z digest=sha256:5dfd795409f8adf35e071d76f1fc1021a3ffd16a37434d24bcdafa02c0d72ce7

Observation 64771202-7f8d-4253-869c-7c89c5627d9b · outbound

This paper cites an unresolved cited work.

Incorporating Verification Standards for Security Requirements Generation from Functional Specifications Unresolved cited work

Reference 51

Resolution
unresolved
no resolver link, observed 2026-08-15T20:54:09.268487Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-15T20:54:09.268487Z digest=sha256:0a9e7931d14d0f37995f551a72b64a3cec8b9a9317ff4d0409123f78d2f0a0dc

Observation ba9ecd10-9103-4b6e-9c0b-145f2f0f57d0 · outbound

This paper cites an unresolved cited work.

Incorporating Verification Standards for Security Requirements Generation from Functional Specifications Unresolved cited work

Reference 52

Resolution
unresolved
raw_fallback, observed 2026-08-15T20:54:10.364301Z

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.

source=pdf_text observed=2026-08-15T20:54:09.273371Z digest=sha256:b53d88c01cd0b3d4e2734bb71427439488c486f5fb2fc5757a0f2abd54e975d2

Observation 38e18a56-f6d1-4979-8ba7-f17363f08831 · outbound

This paper cites A Comprehensive Capability Analysis of GPT-3 and GPT-3.5 Series Models.

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

Resolution
unresolved
no resolver link, observed 2026-08-15T20:54:09.278742Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-15T20:54:09.278742Z digest=sha256:e06f00880431b0ae50cf7f8e7c9dec92c5861d35df9724b91d7542576ce184c8

Observation 75aad5ee-4970-4d73-9aa5-9aef29a649ab · outbound

This paper cites an unresolved cited work.

Incorporating Verification Standards for Security Requirements Generation from Functional Specifications Unresolved cited work

Reference 54

Resolution
unresolved
no resolver link, observed 2026-08-15T20:54:09.283129Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-15T20:54:09.283129Z digest=sha256:96a846c91444591233182240b523cda2dfcf9a88ec3928b90792c0ac376201c8

Observation 6146050b-ebfb-462d-8f3e-20a37b6e6946 · outbound

This paper cites Enhancing Automated Program Repair with Solution Design.

Incorporating Verification Standards for Security Requirements Generation from Functional Specifications Enhancing Automated Program Repair with Solution Design

Reference 55

Resolution
unresolved
no resolver link, observed 2026-08-15T20:54:09.287317Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-15T20:54:09.287317Z digest=sha256:46b483b624b9da6025a48076bd46d5b900ed8a3a1c1822864634a007cfc04497

Observation 23bfc1de-4dc5-4289-8261-1f0f45f555f8 · outbound

This paper cites A Novel Approach for Automated Design Information Mining from Issue Logs.

Incorporating Verification Standards for Security Requirements Generation from Functional Specifications A Novel Approach for Automated Design Information Mining from Issue Logs

Reference 56

Resolution
verified exact
local_arxiv, observed 2026-08-15T20:54:09.496283Z

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.

source=pdf_text observed=2026-08-15T20:54:09.292573Z digest=sha256:0c0a54e230a1be7b255f9791eed57c081ce2f31d3dc46e3a7487277e6276e976

Observation 031331fb-cecc-40d7-ad15-27290b54dd7e · outbound

This paper cites an unresolved cited work.

Incorporating Verification Standards for Security Requirements Generation from Functional Specifications Unresolved cited work

Reference 57

Resolution
unresolved
no resolver link, observed 2026-08-15T20:54:09.297776Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-15T20:54:09.297776Z digest=sha256:fa0645bcdd6865d1f05896743d28a0fe7c4ee9849aa1f9b3c726498000dcb3a2

Observation 752dfb73-f9ea-45fe-bf1e-d6a5379fc1c8 · outbound

This paper cites an unresolved cited work.

Incorporating Verification Standards for Security Requirements Generation from Functional Specifications Unresolved cited work

Reference 58

Resolution
unresolved
no resolver link, observed 2026-08-15T20:54:09.304015Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-15T20:54:09.304015Z digest=sha256:416f3cfae25e53cbb2a3b525cf9f256601d27cce639cc1e0ea104e43ba88c610

Observation d17c3cab-6c3e-44d0-82dd-12e3ad658526 · outbound

This paper cites an unresolved cited work.

Incorporating Verification Standards for Security Requirements Generation from Functional Specifications Unresolved cited work

Reference 59

Resolution
unresolved
raw_fallback, observed 2026-08-15T20:54:10.331443Z

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.

source=pdf_text observed=2026-08-15T20:54:09.309347Z digest=sha256:bc45a2a7c8d93f588cb675f6d403669a7fc6826efcee637c3ac3b5a24f1ad788

Observation 89be1516-2abd-4cd3-97fe-bb422f05c853 · outbound

This paper cites InPars-v2: Large Language Models as Efficient Dataset Generators for Information Retrieval.

Incorporating Verification Standards for Security Requirements Generation from Functional Specifications InPars-v2: Large Language Models as Efficient Dataset Generators for Information Retrieval

Reference 2023

Resolution
unresolved
no resolver link, observed 2026-08-15T20:54:09.103675Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-15T20:54:09.103675Z digest=sha256:676567f7fb59d913e4fc609dedf66d67601d20982875da96d7fefd3d2b073c2e

Observation 959ea54a-3dda-4168-89c1-5aa2489df11b · outbound

This paper cites an unresolved cited work.

Incorporating Verification Standards for Security Requirements Generation from Functional Specifications Unresolved cited work

Reference 2024

Resolution
unresolved
raw_fallback, observed 2026-08-15T20:54:10.420077Z

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.

source=pdf_text observed=2026-08-15T20:54:09.249972Z digest=sha256:9dba9197d134a37bbca77d906ffc4dc21a8c13da282fa51b114a8dac7e6ed87e

Pith citing papers

No inbound Pith citation observations are available.