Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-07T12:48:34.922716Z
Paper Citation Record · LEDGER
LLM-based Property-based Test Generation for Guardrailing Cyber-Physical Systems
As of 7 August 2026, this Paper Citation Record lists 100 of 101 outbound references and 1 inbound Pith citation observation for arXiv:2505.23549.
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-07T06:34:17.273281+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links, observed 2026-07-31T23:53:53.558270Z
A source-named dated measurement, never combined with another source.
Source: cited_works
Reference resolution
100 of 101 outbound references displayed
- verified exact0
- verified fuzzy6
- unresolved83
- parse uncertain11
- malformed identifier0
- metadata mismatch0
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation b75a0663-a750-4950-a1ad-902832f3d9da · outbound
This paper cites In: Companion Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering.
LLM-based Property-based Test Generation for Guardrailing Cyber-Physical Systems In: Companion Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering
Reference 1
- Resolution
- unresolved
- no resolver link, observed 2026-08-07T12:48:22.574400Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation f8e70db8-3bb1-4ee5-b546-2dd64270cf7d · outbound
This paper cites In: Companion Proceedings of the 32nd ACM In- ternational Conference on the Foundations of Software Engineering.
LLM-based Property-based Test Generation for Guardrailing Cyber-Physical Systems In: Companion Proceedings of the 32nd ACM In- ternational Conference on the Foundations of Software Engineering
Reference 2
- Resolution
- unresolved
- no resolver link, observed 2026-08-07T12:48:22.683915Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 71dda183-0346-45b4-9fea-6ab96daae385 · outbound
This paper cites In: Proceedings of the fifth ACM SIGPLAN international con- ference on Functional programming.
LLM-based Property-based Test Generation for Guardrailing Cyber-Physical Systems In: Proceedings of the fifth ACM SIGPLAN international con- ference on Functional programming
Reference 3
- Resolution
- unresolved
- no resolver link, observed 2026-08-07T12:48:22.784177Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 7ba053db-4aa7-4345-b567-96d5a4295c82 · outbound
This paper cites an unresolved cited work.
LLM-based Property-based Test Generation for Guardrailing Cyber-Physical Systems Unresolved cited work
Reference 4
- Resolution
- unresolved
- no resolver link, observed 2026-08-07T12:48:22.851994Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 6b90e617-bd9c-458b-88b4-1724833fbd43 · outbound
This paper cites ACM SIGSOFT Software Engineering Notes22(4), 74–80 (1997).
LLM-based Property-based Test Generation for Guardrailing Cyber-Physical Systems ACM SIGSOFT Software Engineering Notes22(4), 74–80 (1997)
Reference 5
- Resolution
- unresolved
- no resolver link, observed 2026-08-07T12:48:22.915888Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 652f078c-d143-4ac7-9c02-a8308f01a758 · outbound
This paper cites Enhancing Code Generation for Low-Resource Languages: No Silver Bullet.
LLM-based Property-based Test Generation for Guardrailing Cyber-Physical Systems Enhancing Code Generation for Low-Resource Languages: No Silver Bullet
Reference 6
- Resolution
- unresolved
- no resolver link, observed 2026-08-07T12:48:22.987720Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 57adf1b4-d97c-408e-92ce-6d53a4e6d7f3 · outbound
This paper cites an unresolved cited work.
LLM-based Property-based Test Generation for Guardrailing Cyber-Physical Systems Unresolved cited work
Reference 7
- Resolution
- unresolved
- no resolver link, observed 2026-08-07T12:48:23.079314Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation f6e1161d-b1b0-4a6b-8a9d-6a8db2f9f8b4 · outbound
This paper cites A Survey on Large Language Models for Code Generation.
LLM-based Property-based Test Generation for Guardrailing Cyber-Physical Systems A Survey on Large Language Models for Code Generation
Reference 8
- Resolution
- unresolved
- no resolver link, observed 2026-08-07T12:48:23.150235Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation b6881784-6e2e-4bf9-adf0-2ec3b9305255 · outbound
This paper cites In: 2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE).
LLM-based Property-based Test Generation for Guardrailing Cyber-Physical Systems In: 2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE)
Reference 9
- Resolution
- unresolved
- no resolver link, observed 2026-08-07T12:48:23.247071Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation e3942720-4e80-4914-8d42-470c7b92c603 · outbound
This paper cites Multimodal Large Language Model Driven Scenario Testing for Autonomous Vehicles.
LLM-based Property-based Test Generation for Guardrailing Cyber-Physical Systems Multimodal Large Language Model Driven Scenario Testing for Autonomous Vehicles
Reference 10
- Resolution
- unresolved
- no resolver link, observed 2026-08-07T12:48:23.308991Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 90322fa2-6ca0-4dad-b3ad-c5f8a075a007 · outbound
This paper cites Journal of Open Source Software4(43), 1891 (2019).
LLM-based Property-based Test Generation for Guardrailing Cyber-Physical Systems Journal of Open Source Software4(43), 1891 (2019)
Reference 11
- Resolution
- unresolved
- no resolver link, observed 2026-08-07T12:48:23.405811Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation a4512bfa-08da-4287-959c-cbbf906db39c · outbound
This paper cites Journal of Logical and Algebraic Methods in Programming139, 100965 (2024).
LLM-based Property-based Test Generation for Guardrailing Cyber-Physical Systems Journal of Logical and Algebraic Methods in Programming139, 100965 (2024)
Reference 12
- Resolution
- unresolved
- no resolver link, observed 2026-08-07T12:48:23.483891Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation bcbe7415-3ae9-452b-bc41-a9f1dc16a2a3 · outbound
This paper cites In: 2024 2nd International Conference on Foundation and Large Language Models (FLLM).
LLM-based Property-based Test Generation for Guardrailing Cyber-Physical Systems In: 2024 2nd International Conference on Foundation and Large Language Models (FLLM)
Reference 13
- Resolution
- unresolved
- no resolver link, observed 2026-08-07T12:48:23.551269Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 65133b04-fb4d-426c-8c0a-609e325d018b · outbound
This paper cites Automated User Story Generation with Test Case Specification Using Large Language Model.
LLM-based Property-based Test Generation for Guardrailing Cyber-Physical Systems Automated User Story Generation with Test Case Specification Using Large Language Model
Reference 14
- Resolution
- unresolved
- no resolver link, observed 2026-08-07T12:48:23.612232Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 5e25e637-765a-42c9-873a-24524a88cab1 · outbound
This paper cites raspberrypi.org/en/projects.
LLM-based Property-based Test Generation for Guardrailing Cyber-Physical Systems raspberrypi.org/en/projects
Reference 15
- Resolution
- unresolved
- no resolver link, observed 2026-08-07T12:48:23.738131Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 5c1c3fdb-f347-437d-8aa8-b293f290c91f · outbound
This paper cites Theory and Practice of Formal Methods: Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday pp.
LLM-based Property-based Test Generation for Guardrailing Cyber-Physical Systems Theory and Practice of Formal Methods: Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday pp
Reference 16
- Resolution
- unresolved
- no resolver link, observed 2026-08-07T12:48:23.807560Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 804e9309-26ae-406d-bd54-c65c03f6e493 · outbound
This paper cites (2025),https: //github.com/gpiozero/gpiozero.
LLM-based Property-based Test Generation for Guardrailing Cyber-Physical Systems (2025),https: //github.com/gpiozero/gpiozero
Reference 17
- Resolution
- unresolved
- no resolver link, observed 2026-08-07T12:48:23.939436Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation c849fd90-619f-4d51-af2b-fa8cdb36310e · outbound
This paper cites ACM SIGSOFT Software Engineering Notes 30(5), 253–262 (2005).
LLM-based Property-based Test Generation for Guardrailing Cyber-Physical Systems ACM SIGSOFT Software Engineering Notes 30(5), 253–262 (2005)
Reference 18
- Resolution
- unresolved
- no resolver link, observed 2026-08-07T12:48:24.034535Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 19e77dc8-6900-4505-a236-c3dd88d31e1d · outbound
This paper cites In: 2024 IEEE International Conference on Source Code Analysis and Manipulation (SCAM).
LLM-based Property-based Test Generation for Guardrailing Cyber-Physical Systems In: 2024 IEEE International Conference on Source Code Analysis and Manipulation (SCAM)
Reference 19
- Resolution
- unresolved
- no resolver link, observed 2026-08-07T12:48:24.126394Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 1b4d98bc-3fd0-4193-bdda-9a31704685df · outbound
This paper cites Can Large Language Models Write Good Property-Based Tests?.
LLM-based Property-based Test Generation for Guardrailing Cyber-Physical Systems Can Large Language Models Write Good Property-Based Tests?
Reference 20
- Resolution
- unresolved
- no resolver link, observed 2026-08-07T12:48:24.193763Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 7ffb456d-218e-40a0-b911-c31027abcbc0 · outbound
This paper cites IEEE Transactions on Software Engineering (2024).
LLM-based Property-based Test Generation for Guardrailing Cyber-Physical Systems IEEE Transactions on Software Engineering (2024)
Reference 21
- Resolution
- unresolved
- no resolver link, observed 2026-08-07T12:48:24.253112Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 46144891-d2dd-40b6-989f-0f11d31a1739 · outbound
This paper cites GenSim: Generating Robotic Simulation Tasks via Large Language Models.
LLM-based Property-based Test Generation for Guardrailing Cyber-Physical Systems GenSim: Generating Robotic Simulation Tasks via Large Language Models
Reference 22
- Resolution
- unresolved
- no resolver link, observed 2026-08-07T12:48:24.329855Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 36dbb8b8-63e9-426c-ae36-9ae85153c9f3 · outbound
This paper cites an unresolved cited work.
LLM-based Property-based Test Generation for Guardrailing Cyber-Physical Systems Unresolved cited work
Reference 23
- Resolution
- unresolved
- no resolver link, observed 2026-08-07T12:48:24.389838Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 6c76f370-aa35-4525-99c3-9d2f8c02aecc · outbound
This paper cites an unresolved cited work.
LLM-based Property-based Test Generation for Guardrailing Cyber-Physical Systems Unresolved cited work
Reference 24
- Resolution
- unresolved
- no resolver link, observed 2026-08-07T12:48:24.487016Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 7fc9eacd-3abf-4681-882e-07fab64ef586 · outbound
This paper cites You should generate property based tests for this code.
LLM-based Property-based Test Generation for Guardrailing Cyber-Physical Systems You should generate property based tests for this code
Reference 26
- Resolution
- unresolved
- no resolver link, observed 2026-08-07T12:48:24.648419Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 6670d8f8-4a47-47e4-af83-a282f270a9c2 · outbound
This paper cites an unresolved cited work.
LLM-based Property-based Test Generation for Guardrailing Cyber-Physical Systems Unresolved cited work
Reference 27
- Resolution
- unresolved
- no resolver link, observed 2026-08-07T12:48:24.716613Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation c2ad4a39-0e71-4213-a79c-32bfe682a332 · outbound
This paper cites an unresolved cited work.
LLM-based Property-based Test Generation for Guardrailing Cyber-Physical Systems Unresolved cited work
Reference 28
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T12:48:54.579956Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 4800c729-334a-4792-af84-20bf1d78c735 · outbound
This paper cites an unresolved cited work.
LLM-based Property-based Test Generation for Guardrailing Cyber-Physical Systems Unresolved cited work
Reference 29
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T12:48:54.317385Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 932f0ca7-c5d2-44c4-bb1a-9a72d557dfb5 · outbound
This paper cites an unresolved cited work.
LLM-based Property-based Test Generation for Guardrailing Cyber-Physical Systems Unresolved cited work
Reference 30
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T12:48:54.032241Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 69975d13-eb87-4282-ad0b-812d6df90bfd · outbound
This paper cites an unresolved cited work.
LLM-based Property-based Test Generation for Guardrailing Cyber-Physical Systems Unresolved cited work
Reference 31
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T12:48:53.747433Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 7e29bcbf-6b06-4ae8-a23f-dc1be753f1c5 · outbound
This paper cites an unresolved cited work.
LLM-based Property-based Test Generation for Guardrailing Cyber-Physical Systems Unresolved cited work
Reference 32
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T12:48:53.425953Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 9a0da68a-8556-4db9-b425-7d9fd4cbead4 · outbound
This paper cites an unresolved cited work.
LLM-based Property-based Test Generation for Guardrailing Cyber-Physical Systems Unresolved cited work
Reference 33
- Resolution
- parse uncertain
- raw_fallback, observed 2026-08-07T12:48:53.156951Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 3911bbc5-ef7d-4cb7-a21c-fe1cd2e56645 · outbound
This paper cites an unresolved cited work.
LLM-based Property-based Test Generation for Guardrailing Cyber-Physical Systems Unresolved cited work
Reference 34
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T12:48:52.817419Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation d1fa2bdc-e12b-4e9b-8ee1-1ea069e9bb30 · outbound
This paper cites an unresolved cited work.
LLM-based Property-based Test Generation for Guardrailing Cyber-Physical Systems Unresolved cited work
Reference 35
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T12:48:52.531419Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 7cf0c29c-828f-495d-9da6-1d357c621ad5 · outbound
This paper cites an unresolved cited work.
LLM-based Property-based Test Generation for Guardrailing Cyber-Physical Systems Unresolved cited work
Reference 36
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T12:48:52.147226Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation b9a56462-03bb-438d-bfce-77245f569710 · outbound
This paper cites an unresolved cited work.
LLM-based Property-based Test Generation for Guardrailing Cyber-Physical Systems Unresolved cited work
Reference 37
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T12:48:51.794728Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 518c4077-7103-4fbf-a936-fede41c2d31c · outbound
This paper cites an unresolved cited work.
LLM-based Property-based Test Generation for Guardrailing Cyber-Physical Systems Unresolved cited work
Reference 38
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T12:48:51.465157Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation a71a3cdb-b686-4382-a77e-1eaa6a892315 · outbound
This paper cites an unresolved cited work.
LLM-based Property-based Test Generation for Guardrailing Cyber-Physical Systems Unresolved cited work
Reference 39
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T12:48:51.044166Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 74b66c32-36aa-4dee-9d80-1910c35b343d · outbound
This paper cites an unresolved cited work.
LLM-based Property-based Test Generation for Guardrailing Cyber-Physical Systems Unresolved cited work
Reference 40
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T12:48:50.793956Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation c6c31ede-28d7-4fa5-85d3-25659812db92 · outbound
This paper cites an unresolved cited work.
LLM-based Property-based Test Generation for Guardrailing Cyber-Physical Systems Unresolved cited work
Reference 41
- Resolution
- parse uncertain
- raw_fallback, observed 2026-08-07T12:48:50.601423Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation dd2e39fc-9fc0-475e-bfe0-7883fb9f072c · outbound
This paper cites an unresolved cited work.
LLM-based Property-based Test Generation for Guardrailing Cyber-Physical Systems Unresolved cited work
Reference 42
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T12:48:50.405585Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation f4429a21-50a8-4353-aa71-af247890806b · outbound
This paper cites an unresolved cited work.
LLM-based Property-based Test Generation for Guardrailing Cyber-Physical Systems Unresolved cited work
Reference 44
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T12:48:50.003204Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 91f3d3a5-a297-4493-a08c-e96dcf291fc1 · outbound
This paper cites an unresolved cited work.
LLM-based Property-based Test Generation for Guardrailing Cyber-Physical Systems Unresolved cited work
Reference 45
- Resolution
- parse uncertain
- raw_fallback, observed 2026-08-07T12:48:40.836422Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation bf25dc22-0fe1-4315-a2fd-5a1b8611a7f0 · outbound
This paper cites an unresolved cited work.
LLM-based Property-based Test Generation for Guardrailing Cyber-Physical Systems Unresolved cited work
Reference 46
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T12:48:49.648219Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 15262c05-41f0-416b-9538-18a193f4a601 · outbound
This paper cites an unresolved cited work.
LLM-based Property-based Test Generation for Guardrailing Cyber-Physical Systems Unresolved cited work
Reference 48
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T12:48:49.010301Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation b4db30ea-4c6c-4d62-8d5e-fdfb68765933 · outbound
This paper cites an unresolved cited work.
LLM-based Property-based Test Generation for Guardrailing Cyber-Physical Systems Unresolved cited work
Reference 49
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T12:48:38.899044Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 5a0b3aec-5be3-4e63-9257-ff07eaf20ead · outbound
This paper cites an unresolved cited work.
LLM-based Property-based Test Generation for Guardrailing Cyber-Physical Systems Unresolved cited work
Reference 50
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T12:48:48.682352Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation d2f6093a-f73e-4eb9-b5f4-6658a9676248 · outbound
This paper cites an unresolved cited work.
LLM-based Property-based Test Generation for Guardrailing Cyber-Physical Systems Unresolved cited work
Reference 51
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T12:48:48.389308Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation d29c0cf7-d2c9-4a27-8b1b-44efcc713f87 · outbound
This paper cites an unresolved cited work.
LLM-based Property-based Test Generation for Guardrailing Cyber-Physical Systems Unresolved cited work
Reference 52
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T12:48:48.045019Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation abf66557-42a1-4e37-948c-9fb28ebfe33e · outbound
This paper cites an unresolved cited work.
LLM-based Property-based Test Generation for Guardrailing Cyber-Physical Systems Unresolved cited work
Reference 54
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T12:48:38.720047Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation e8a237e0-3179-4aa2-b474-09c1c31995ed · outbound
This paper cites an unresolved cited work.
LLM-based Property-based Test Generation for Guardrailing Cyber-Physical Systems Unresolved cited work
Reference 55
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T12:48:47.795134Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 0814976d-4913-4fa2-933f-f92f022f3db7 · outbound
This paper cites an unresolved cited work.
LLM-based Property-based Test Generation for Guardrailing Cyber-Physical Systems Unresolved cited work
Reference 57
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T12:48:47.484129Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 1805e028-14cd-445f-a810-1ed7d96af451 · outbound
This paper cites an unresolved cited work.
LLM-based Property-based Test Generation for Guardrailing Cyber-Physical Systems Unresolved cited work
Reference 59
- Resolution
- unresolved
- no resolver link, observed 2026-08-07T12:48:27.892056Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 9fd511bf-a2bd-4dcf-8b15-2fac144b0220 · outbound
This paper cites Fig.4: The prompt used byChekProp to generate PBTs for the line following robot program.
LLM-based Property-based Test Generation for Guardrailing Cyber-Physical Systems Fig.4: The prompt used byChekProp to generate PBTs for the line following robot program
Reference 61
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T12:48:46.143932Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 230b61dc-ae30-469e-a1cd-74996fd9085d · outbound
This paper cites an unresolved cited work.
LLM-based Property-based Test Generation for Guardrailing Cyber-Physical Systems Unresolved cited work
Reference 62
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T12:48:45.856916Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation bf91b4c2-ee37-4c0f-9fe0-d8213b25afb1 · outbound
This paper cites The constructor adds the optional *pull_up* parameter to specify how the pin should be pulled by the internal resistors.
LLM-based Property-based Test Generation for Guardrailing Cyber-Physical Systems The constructor adds the optional *pull_up* parameter to specify how the pin should be pulled by the internal resistors
Reference 63
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T12:48:45.569823Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 018eee06-ae32-4c74-8284-b8b863759e5c · outbound
This paper cites an unresolved cited work.
LLM-based Property-based Test Generation for Guardrailing Cyber-Physical Systems Unresolved cited work
Reference 64
- Resolution
- parse uncertain
- raw_fallback, observed 2026-08-07T12:48:45.281139Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 2a725afd-5349-4c29-a313-9d96ee7f37d4 · outbound
This paper cites See :ref:`pin-numbering` for valid pin numbers.
LLM-based Property-based Test Generation for Guardrailing Cyber-Physical Systems See :ref:`pin-numbering` for valid pin numbers
Reference 65
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T12:48:44.979855Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 11b62a0c-773b-45ae-b81b-8b5732f28812 · outbound
This paper cites an unresolved cited work.
LLM-based Property-based Test Generation for Guardrailing Cyber-Physical Systems Unresolved cited work
Reference 66
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T12:48:44.741355Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 67995c35-2dff-42b8-b88c-22537b5cf064 · outbound
This paper cites an unresolved cited work.
LLM-based Property-based Test Generation for Guardrailing Cyber-Physical Systems Unresolved cited work
Reference 67
- Resolution
- parse uncertain
- raw_fallback, observed 2026-08-07T12:48:44.473956Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation ff0420f2-d57e-4285-b4d9-7e3de0e13c98 · outbound
This paper cites If :data:`False`, the input polarity is reversed: when the hardware pin state is ``HIGH``, the software pin state is ``LOW``.
LLM-based Property-based Test Generation for Guardrailing Cyber-Physical Systems If :data:`False`, the input polarity is reversed: when the hardware pin state is ``HIGH``, the software pin state is ``LOW``
Reference 68
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T12:48:44.291692Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 03f77872-e5f2-4aa7-95bb-e889d3bab12e · outbound
This paper cites an unresolved cited work.
LLM-based Property-based Test Generation for Guardrailing Cyber-Physical Systems Unresolved cited work
Reference 69
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T12:48:44.069013Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation ac859f61-3874-4472-a8b7-72dba13f1c47 · outbound
This paper cites an unresolved cited work.
LLM-based Property-based Test Generation for Guardrailing Cyber-Physical Systems Unresolved cited work
Reference 70
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T12:48:43.792053Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 35fa998e-abde-4da7-99b5-685ccbadff78 · outbound
This paper cites an unresolved cited work.
LLM-based Property-based Test Generation for Guardrailing Cyber-Physical Systems Unresolved cited work
Reference 71
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T12:48:43.574191Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 2a6e6cbf-dafb-47be-83f4-42b0de982461 · outbound
This paper cites an unresolved cited work.
LLM-based Property-based Test Generation for Guardrailing Cyber-Physical Systems Unresolved cited work
Reference 73
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T12:48:43.098576Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation ed21cd31-2401-4be6-9b96-efcb158d829a · outbound
This paper cites an unresolved cited work.
LLM-based Property-based Test Generation for Guardrailing Cyber-Physical Systems Unresolved cited work
Reference 74
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T12:48:42.923303Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 9e836b24-efab-4bcc-8538-a81605a0b31c · outbound
This paper cites an unresolved cited work.
LLM-based Property-based Test Generation for Guardrailing Cyber-Physical Systems Unresolved cited work
Reference 75
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T12:48:42.722190Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 40cc4b2a-c8b8-42a3-9077-46cad67db328 · outbound
This paper cites an unresolved cited work.
LLM-based Property-based Test Generation for Guardrailing Cyber-Physical Systems Unresolved cited work
Reference 76
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T12:48:42.511975Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 16add30f-4118-4376-9068-fbe1f5817dca · outbound
This paper cites an unresolved cited work.
LLM-based Property-based Test Generation for Guardrailing Cyber-Physical Systems Unresolved cited work
Reference 77
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T12:48:42.177735Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 63f0e600-e986-4d3b-8b14-133e013a7121 · outbound
This paper cites an unresolved cited work.
LLM-based Property-based Test Generation for Guardrailing Cyber-Physical Systems Unresolved cited work
Reference 78
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T12:48:41.854939Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 327de98b-7a27-4e70-beda-36ab7b0fa10a · outbound
This paper cites an unresolved cited work.
LLM-based Property-based Test Generation for Guardrailing Cyber-Physical Systems Unresolved cited work
Reference 79
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T12:48:41.589706Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 662ca48a-5d8b-47dd-bdd9-bc7f9cdd7988 · outbound
This paper cites an unresolved cited work.
LLM-based Property-based Test Generation for Guardrailing Cyber-Physical Systems Unresolved cited work
Reference 80
- Resolution
- parse uncertain
- raw_fallback, observed 2026-08-07T12:48:41.345040Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 6b5a4d15-f0af-438e-af1d-57717cf3a64d · outbound
This paper cites an unresolved cited work.
LLM-based Property-based Test Generation for Guardrailing Cyber-Physical Systems Unresolved cited work
Reference 81
- Resolution
- parse uncertain
- raw_fallback, observed 2026-08-07T12:48:41.144210Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 59f7ea7b-58d6-4e51-b60b-2cf813019d38 · outbound
This paper cites an unresolved cited work.
LLM-based Property-based Test Generation for Guardrailing Cyber-Physical Systems Unresolved cited work
Reference 83
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T12:48:40.657070Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 52b545a0-1593-4762-9ae4-6d94fa11c7ae · outbound
This paper cites active_state.
LLM-based Property-based Test Generation for Guardrailing Cyber-Physical Systems active_state
Reference 84
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T12:48:40.449392Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 29f3107c-8d09-41ad-bc00-a718b4bc1e3b · outbound
This paper cites an unresolved cited work.
LLM-based Property-based Test Generation for Guardrailing Cyber-Physical Systems Unresolved cited work
Reference 85
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T12:48:40.245370Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 8d0176f7-0174-434c-9729-b5cbb1366b24 · outbound
This paper cites an unresolved cited work.
LLM-based Property-based Test Generation for Guardrailing Cyber-Physical Systems Unresolved cited work
Reference 86
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T12:48:39.992864Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation c066b861-ce32-48a4-866b-e65c03ef3276 · outbound
This paper cites an unresolved cited work.
LLM-based Property-based Test Generation for Guardrailing Cyber-Physical Systems Unresolved cited work
Reference 87
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T12:48:39.777087Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 989ac65b-c019-4d39-a8c2-a6518ba61f52 · outbound
This paper cites active_state.
LLM-based Property-based Test Generation for Guardrailing Cyber-Physical Systems active_state
Reference 88
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T12:48:39.510674Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 766067f1-cdbc-4461-a844-220158915dc2 · outbound
This paper cites an unresolved cited work.
LLM-based Property-based Test Generation for Guardrailing Cyber-Physical Systems Unresolved cited work
Reference 89
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T12:48:39.121642Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation ef5a1c11-7368-4900-9885-f3dd760656bf · outbound
This paper cites an unresolved cited work.
LLM-based Property-based Test Generation for Guardrailing Cyber-Physical Systems Unresolved cited work
Reference 90
- Resolution
- parse uncertain
- raw_fallback, observed 2026-08-07T12:48:38.550302Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation f17b4cc4-01d6-4a40-bd4b-501e481f21f7 · outbound
This paper cites an unresolved cited work.
LLM-based Property-based Test Generation for Guardrailing Cyber-Physical Systems Unresolved cited work
Reference 91
- Resolution
- parse uncertain
- raw_fallback, observed 2026-08-07T12:48:38.352779Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 1bafa3c0-ac3d-42ed-b785-5a5e5a40f5fe · outbound
This paper cites an unresolved cited work.
LLM-based Property-based Test Generation for Guardrailing Cyber-Physical Systems Unresolved cited work
Reference 92
- Resolution
- parse uncertain
- raw_fallback, observed 2026-08-07T12:48:38.199979Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation d61d5fd0-4aeb-4f3e-b4ca-d6311bd1463a · outbound
This paper cites an unresolved cited work.
LLM-based Property-based Test Generation for Guardrailing Cyber-Physical Systems Unresolved cited work
Reference 94
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T12:48:38.046968Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 1df88c28-48a5-4800-85af-b3f1b24c3db9 · outbound
This paper cites an unresolved cited work.
LLM-based Property-based Test Generation for Guardrailing Cyber-Physical Systems Unresolved cited work
Reference 95
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T12:48:37.786869Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 6fb98264-ce49-44ff-ab91-53d2755d4969 · outbound
This paper cites an unresolved cited work.
LLM-based Property-based Test Generation for Guardrailing Cyber-Physical Systems Unresolved cited work
Reference 96
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T12:48:49.307886Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 43d4648a-4c4f-415c-9c7d-31bb075206f6 · outbound
This paper cites an unresolved cited work.
LLM-based Property-based Test Generation for Guardrailing Cyber-Physical Systems Unresolved cited work
Reference 97
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T12:48:37.430214Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 00a4ed98-8310-41c6-a29f-d996e20742e9 · outbound
This paper cites an unresolved cited work.
LLM-based Property-based Test Generation for Guardrailing Cyber-Physical Systems Unresolved cited work
Reference 98
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T12:48:37.146405Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 9a83d782-eabb-44cc-bb65-5c4f69969095 · outbound
This paper cites an unresolved cited work.
LLM-based Property-based Test Generation for Guardrailing Cyber-Physical Systems Unresolved cited work
Reference 99
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T12:48:36.852906Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation d35831f4-0335-44c3-9506-f19feefbbfba · outbound
This paper cites an unresolved cited work.
LLM-based Property-based Test Generation for Guardrailing Cyber-Physical Systems Unresolved cited work
Reference 100
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T12:48:36.565972Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation f197df36-b9ed-4586-9e70-88f1c50639e7 · outbound
This paper cites an unresolved cited work.
LLM-based Property-based Test Generation for Guardrailing Cyber-Physical Systems Unresolved cited work
Reference 101
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T12:48:36.418951Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 85f4dd22-2a19-4b5d-94e8-bd4f5b0716c4 · outbound
This paper cites an unresolved cited work.
LLM-based Property-based Test Generation for Guardrailing Cyber-Physical Systems Unresolved cited work
Reference 102
- Resolution
- parse uncertain
- raw_fallback, observed 2026-08-07T12:48:36.238336Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 773d80b8-2b44-4815-b453-16ce43aa770d · outbound
This paper cites an unresolved cited work.
LLM-based Property-based Test Generation for Guardrailing Cyber-Physical Systems Unresolved cited work
Reference 103
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T12:48:36.043240Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation b157754a-3606-456d-9a7b-0adf89ebc7b9 · outbound
This paper cites an unresolved cited work.
LLM-based Property-based Test Generation for Guardrailing Cyber-Physical Systems Unresolved cited work
Reference 104
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T12:48:35.839280Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation eb3ed6e7-ea8d-4aed-a110-f59824be48d4 · outbound
This paper cites an unresolved cited work.
LLM-based Property-based Test Generation for Guardrailing Cyber-Physical Systems Unresolved cited work
Reference 105
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T12:48:35.642946Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation b1fd3287-0e37-46b0-ad0a-8bbaae56457b · outbound
This paper cites an unresolved cited work.
LLM-based Property-based Test Generation for Guardrailing Cyber-Physical Systems Unresolved cited work
Reference 106
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T12:48:35.465210Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation eb0a83a0-9c46-4ad2-ae1f-235ca3cf015f · outbound
This paper cites an unresolved cited work.
LLM-based Property-based Test Generation for Guardrailing Cyber-Physical Systems Unresolved cited work
Reference 107
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T12:48:43.297142Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 96bcb703-0725-41a9-93c4-5efdbfb392af · outbound
This paper cites an unresolved cited work.
LLM-based Property-based Test Generation for Guardrailing Cyber-Physical Systems Unresolved cited work
Reference 108
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T12:48:47.186167Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 567dcf07-91f5-4980-bf51-b722e20fee71 · outbound
This paper cites an unresolved cited work.
LLM-based Property-based Test Generation for Guardrailing Cyber-Physical Systems Unresolved cited work
Reference 109
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T12:48:46.818595Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 06302b80-87bd-4433-be37-78e1b34835be · outbound
This paper cites an unresolved cited work.
LLM-based Property-based Test Generation for Guardrailing Cyber-Physical Systems Unresolved cited work
Reference 110
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T12:48:46.474169Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Pith citing papers
Observation 06e5fde0-3efd-47c4-bdbc-a100afd5b0fb · inbound
Towards LLM-assisted High-Quality Property Generation for Solidity Smart Contracts cites this paper.
Towards LLM-assisted High-Quality Property Generation for Solidity Smart Contracts LLM-based Property-based Test Generation for Guardrailing Cyber-Physical Systems
Reference 47
- Resolution
- unresolved
- no resolver link, observed 2026-07-31T23:53:53.558270Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.