Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-15T19:25:57.817662Z
Paper Citation Record · LEDGER
LLM-based Satisfiability Checking of String Requirements by Consistent Data and Checker Generation
As of 22 August 2026, this Paper Citation Record lists 63 of 63 outbound references and 0 inbound Pith citation observations for arXiv:2506.16639.
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-22T06:32:14.747728+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links
A source-named dated measurement, never combined with another source.
Source: cited_works
Reference resolution
63 of 63 outbound references displayed
- verified exact1
- verified fuzzy42
- unresolved20
- parse uncertain0
- malformed identifier0
- metadata mismatch0
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation 269f702a-a300-4725-a68c-a5fa933a3109 · outbound
This paper cites Normative requirements operationalization with large language models,.
LLM-based Satisfiability Checking of String Requirements by Consistent Data and Checker Generation Normative requirements operationalization with large language models,
Reference 1
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T19:25:58.421082Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 5efc1569-73e4-4f31-a0b7-f5a8dd196358 · outbound
This paper cites Inconsistency detection in natural language requirements using ChatGPT: a preliminary evaluation,.
LLM-based Satisfiability Checking of String Requirements by Consistent Data and Checker Generation Inconsistency detection in natural language requirements using ChatGPT: a preliminary evaluation,
Reference 2
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T19:25:58.411389Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation cfd4382f-23c3-4202-adcc-644f7ae6f91e · outbound
This paper cites Ambiguity and Generality in Natural Language Privacy Policies,.
LLM-based Satisfiability Checking of String Requirements by Consistent Data and Checker Generation Ambiguity and Generality in Natural Language Privacy Policies,
Reference 3
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T19:25:58.402115Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation bcbe8715-bee0-4ed8-9629-18f0ebf6686e · outbound
This paper cites Generation of Formal Requirements from Structured Natural Lan- guage,.
LLM-based Satisfiability Checking of String Requirements by Consistent Data and Checker Generation Generation of Formal Requirements from Structured Natural Lan- guage,
Reference 4
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T19:25:58.393266Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation d9319d93-efa6-4056-91b5-158fe473fd5d · outbound
This paper cites Ambiguity in Requirements Specifica- tion,.
LLM-based Satisfiability Checking of String Requirements by Consistent Data and Checker Generation Ambiguity in Requirements Specifica- tion,
Reference 5
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T19:25:58.383752Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 4f12d4bd-4569-48d8-8e44-0a9ce8978611 · outbound
This paper cites Z3: An efficient SMT solver,.
LLM-based Satisfiability Checking of String Requirements by Consistent Data and Checker Generation Z3: An efficient SMT solver,
Reference 6
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T19:25:58.374831Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 3abbb6cd-4014-4248-bbc5-c27ac0cb19dc · outbound
This paper cites Decision procedures for path feasibility of string-manipulating programs with complex operations,.
LLM-based Satisfiability Checking of String Requirements by Consistent Data and Checker Generation Decision procedures for path feasibility of string-manipulating programs with complex operations,
Reference 7
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T19:25:58.356501Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 883a22b6-09e1-4d47-afa7-f509ea8240a8 · outbound
This paper cites Towards reasoning in large language models: A survey,.
LLM-based Satisfiability Checking of String Requirements by Consistent Data and Checker Generation Towards reasoning in large language models: A survey,
Reference 8
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T19:25:58.347155Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation ec865c9e-13bd-4468-b8e4-7602dbc944de · outbound
This paper cites Exploring large language models for requirements on string values,.
LLM-based Satisfiability Checking of String Requirements by Consistent Data and Checker Generation Exploring large language models for requirements on string values,
Reference 9
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T19:25:58.337858Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation e0fa1957-2455-467b-8ff6-25472fc0c0e4 · outbound
This paper cites Guiding enumerative program synthesis with large language models,.
LLM-based Satisfiability Checking of String Requirements by Consistent Data and Checker Generation Guiding enumerative program synthesis with large language models,
Reference 10
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T19:25:58.318547Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 82217686-1e32-413d-b35f-3d862e272e1b · outbound
This paper cites Baldur: Whole-proof generation and repair with large language models,.
LLM-based Satisfiability Checking of String Requirements by Consistent Data and Checker Generation Baldur: Whole-proof generation and repair with large language models,
Reference 11
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T19:25:58.309091Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 0b0534e7-b856-43aa-b0b0-9fd5f27d555e · outbound
This paper cites Prover-Verifier Games improve legibility of LLM outputs.
LLM-based Satisfiability Checking of String Requirements by Consistent Data and Checker Generation Prover-Verifier Games improve legibility of LLM outputs
Reference 12
- Resolution
- unresolved
- no resolver link, observed 2026-08-15T19:25:57.657405Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 73d1fa74-3d5a-4068-a386-f049821287be · outbound
This paper cites GPT-4o System Card.
LLM-based Satisfiability Checking of String Requirements by Consistent Data and Checker Generation GPT-4o System Card
Reference 13
- Resolution
- unresolved
- no resolver link, observed 2026-08-15T19:25:57.660997Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 8566f157-feea-4162-8ae0-0d342f007a76 · outbound
This paper cites The Llama 3 Herd of Models.
LLM-based Satisfiability Checking of String Requirements by Consistent Data and Checker Generation The Llama 3 Herd of Models
Reference 14
- Resolution
- unresolved
- no resolver link, observed 2026-08-15T19:25:57.664379Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation a4e28fad-59f5-4f51-ba48-77ba16210ae8 · outbound
This paper cites DeepSeek-V3 Technical Report.
LLM-based Satisfiability Checking of String Requirements by Consistent Data and Checker Generation DeepSeek-V3 Technical Report
Reference 15
- Resolution
- unresolved
- no resolver link, observed 2026-08-15T19:25:57.667620Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 2d22b31c-ab6d-4ad7-a49a-c91fc7f0f632 · outbound
This paper cites Solving string constraints with lengths by stabilization,.
LLM-based Satisfiability Checking of String Requirements by Consistent Data and Checker Generation Solving string constraints with lengths by stabilization,
Reference 16
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T19:25:58.300266Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 61ca3741-73ec-42c5-910e-57ee9e1a8ce0 · outbound
This paper cites Solving String Constraints Using SAT,.
LLM-based Satisfiability Checking of String Requirements by Consistent Data and Checker Generation Solving String Constraints Using SAT,
Reference 17
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T19:25:58.291226Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 7e2e70b1-635d-427c-b8b1-ad05a0743257 · outbound
This paper cites A decision procedure for string constraints with string/integer conversion and flat regular constraints,.
LLM-based Satisfiability Checking of String Requirements by Consistent Data and Checker Generation A decision procedure for string constraints with string/integer conversion and flat regular constraints,
Reference 18
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T19:25:58.281818Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 6a2bcb2d-aa71-492d-bbfb-9a6fcd84d451 · outbound
This paper cites Towards Constraint Logic Programming over Strings for Test Data Generation,.
LLM-based Satisfiability Checking of String Requirements by Consistent Data and Checker Generation Towards Constraint Logic Programming over Strings for Test Data Generation,
Reference 19
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T19:25:58.271964Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 0381b5b7-c2ea-4967-844c-57f081a3da8a · outbound
This paper cites SMT-LIB The Satisfiability Modulo Theories Library,.
LLM-based Satisfiability Checking of String Requirements by Consistent Data and Checker Generation SMT-LIB The Satisfiability Modulo Theories Library,
Reference 20
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T19:25:58.262623Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 1bc632b8-194a-448d-bc59-a666eeefe067 · outbound
This paper cites SMT-COMP 2024,.
LLM-based Satisfiability Checking of String Requirements by Consistent Data and Checker Generation SMT-COMP 2024,
Reference 21
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T19:25:58.253128Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 8293301b-f7eb-4a32-98b5-7321b11d102a · outbound
This paper cites The SMT-LIB standard: Version 2.6,.
LLM-based Satisfiability Checking of String Requirements by Consistent Data and Checker Generation The SMT-LIB standard: Version 2.6,
Reference 22
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T19:25:58.243978Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation f6cb79da-6e39-4f09-a468-711a8b9d05c1 · outbound
This paper cites Attention is all you need,.
LLM-based Satisfiability Checking of String Requirements by Consistent Data and Checker Generation Attention is all you need,
Reference 23
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T19:25:58.234294Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation d431a07c-78f0-4a60-8de7-52d8993d8159 · outbound
This paper cites A Systematic Survey of Prompt Engineering in Large Language Models: Techniques and Applications.
LLM-based Satisfiability Checking of String Requirements by Consistent Data and Checker Generation A Systematic Survey of Prompt Engineering in Large Language Models: Techniques and Applications
Reference 24
- Resolution
- unresolved
- no resolver link, observed 2026-08-15T19:25:57.698556Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 0daf3f85-0c4f-4863-9b2b-d494cb715636 · outbound
This paper cites Large Language Models Understand and Can be Enhanced by Emotional Stimuli.
LLM-based Satisfiability Checking of String Requirements by Consistent Data and Checker Generation Large Language Models Understand and Can be Enhanced by Emotional Stimuli
Reference 25
- Resolution
- unresolved
- no resolver link, observed 2026-08-15T19:25:57.702519Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation a198f780-b727-48fb-b58f-b435e4493c24 · outbound
This paper cites Large language models are zero-shot reasoners,.
LLM-based Satisfiability Checking of String Requirements by Consistent Data and Checker Generation Large language models are zero-shot reasoners,
Reference 26
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T19:25:58.224261Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation e23f736b-c69b-4e89-82e2-d72f377de42c · outbound
This paper cites [Online].
LLM-based Satisfiability Checking of String Requirements by Consistent Data and Checker Generation [Online]
Reference 27
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T19:25:58.214856Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 4e6ae43d-9be6-40d4-9a3a-23e815e9339e · outbound
This paper cites LangChain,.
LLM-based Satisfiability Checking of String Requirements by Consistent Data and Checker Generation LangChain,
Reference 28
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T19:25:58.205213Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 0bac2871-befd-46fe-b249-d1cfc8772edc · outbound
This paper cites Solving complex path conditions through heuristic search on induced polytopes,.
LLM-based Satisfiability Checking of String Requirements by Consistent Data and Checker Generation Solving complex path conditions through heuristic search on induced polytopes,
Reference 29
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T19:25:58.196151Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 12c3def2-48ff-471e-9845-21214516e366 · outbound
This paper cites The effect of batch size on the generalizabil- ity of the convolutional neural networks on a histopathology dataset,.
LLM-based Satisfiability Checking of String Requirements by Consistent Data and Checker Generation The effect of batch size on the generalizabil- ity of the convolutional neural networks on a histopathology dataset,
Reference 30
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T19:25:58.185078Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation f927611e-52df-49da-831c-a92bf8eb16f7 · outbound
This paper cites Evaluating Large Language Models Trained on Code.
LLM-based Satisfiability Checking of String Requirements by Consistent Data and Checker Generation Evaluating Large Language Models Trained on Code
Reference 31
- Resolution
- unresolved
- no resolver link, observed 2026-08-15T19:25:57.721273Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 8e5e4b55-6e2b-46ae-bd25-cd8305515234 · outbound
This paper cites Chain-of-thought prompting elicits reasoning in large language models,.
LLM-based Satisfiability Checking of String Requirements by Consistent Data and Checker Generation Chain-of-thought prompting elicits reasoning in large language models,
Reference 32
- Resolution
- unresolved
- no resolver link, observed 2026-08-15T19:25:57.724189Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation b88c1778-8534-4b03-8aaa-4dc27aaf36a0 · outbound
This paper cites Github copilot,.
LLM-based Satisfiability Checking of String Requirements by Consistent Data and Checker Generation Github copilot,
Reference 33
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T19:25:58.169605Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 139712c1-7027-41f9-8667-ea7e5b07fda7 · outbound
This paper cites Cvc5/src/theory/incomplete id.h at main·cvc5/cvc5,.
LLM-based Satisfiability Checking of String Requirements by Consistent Data and Checker Generation Cvc5/src/theory/incomplete id.h at main·cvc5/cvc5,
Reference 34
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T19:25:58.159890Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation e1dab452-9018-4d9b-9f30-1eccc940789c · outbound
This paper cites Burnstein,Practical software testing: a process-oriented approach.
LLM-based Satisfiability Checking of String Requirements by Consistent Data and Checker Generation Burnstein,Practical software testing: a process-oriented approach
Reference 35
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T19:25:58.150136Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation ba185e90-e87d-472b-ab7f-b379ed23fde2 · outbound
This paper cites Constrainsolver artifacts,.
LLM-based Satisfiability Checking of String Requirements by Consistent Data and Checker Generation Constrainsolver artifacts,
Reference 36
- Resolution
- verified exact
- doi, observed 2026-08-15T19:25:57.847642Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation b95d648f-daa3-4818-8bcf-5f209b85a199 · outbound
This paper cites A Survey on Evaluating Large Language Models in Code Generation Tasks.
LLM-based Satisfiability Checking of String Requirements by Consistent Data and Checker Generation A Survey on Evaluating Large Language Models in Code Generation Tasks
Reference 37
- Resolution
- unresolved
- no resolver link, observed 2026-08-15T19:25:57.739495Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 0e460efa-abc5-4347-9630-186d9add9f7d · outbound
This paper cites Advancing requirements engineering through generative AI: Assessing the role of LLMs,.
LLM-based Satisfiability Checking of String Requirements by Consistent Data and Checker Generation Advancing requirements engineering through generative AI: Assessing the role of LLMs,
Reference 38
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T19:25:58.140652Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 949d8f15-6def-4451-827b-ded0ff975191 · outbound
This paper cites Investigating ChatGPT’s poten- tial to assist in requirements elicitation processes,.
LLM-based Satisfiability Checking of String Requirements by Consistent Data and Checker Generation Investigating ChatGPT’s poten- tial to assist in requirements elicitation processes,
Reference 39
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T19:25:58.130139Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation d2c8cdac-1224-4b68-a3ad-a38aa057b2b6 · outbound
This paper cites Generating requirements elicitation interview scripts with large language models,.
LLM-based Satisfiability Checking of String Requirements by Consistent Data and Checker Generation Generating requirements elicitation interview scripts with large language models,
Reference 40
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T19:25:58.119681Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation fea46945-3274-4197-b9af-81e79ef56200 · outbound
This paper cites Automated domain modeling with large language models: A comparative study,.
LLM-based Satisfiability Checking of String Requirements by Consistent Data and Checker Generation Automated domain modeling with large language models: A comparative study,
Reference 41
- Resolution
- unresolved
- no resolver link, observed 2026-08-15T19:25:57.752167Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 0ef0880f-ea5e-4a3a-9ff3-83f7b32aff46 · outbound
This paper cites On the assessment of generative ai in modeling tasks: an experience report with chatgpt and uml,.
LLM-based Satisfiability Checking of String Requirements by Consistent Data and Checker Generation On the assessment of generative ai in modeling tasks: an experience report with chatgpt and uml,
Reference 42
- Resolution
- unresolved
- no resolver link, observed 2026-08-15T19:25:57.755435Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 26bf6cad-9b95-4c8f-a549-49e9626db2c4 · outbound
This paper cites On the use of GPT-4 for creating goal models: An exploratory study,.
LLM-based Satisfiability Checking of String Requirements by Consistent Data and Checker Generation On the use of GPT-4 for creating goal models: An exploratory study,
Reference 43
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T19:25:58.098814Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 47000357-70c0-49c0-820e-32bc4a28fbdc · outbound
This paper cites Towards taming large language models with prompt templates for legal GRL modeling,.
LLM-based Satisfiability Checking of String Requirements by Consistent Data and Checker Generation Towards taming large language models with prompt templates for legal GRL modeling,
Reference 44
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T19:25:58.088197Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation a46201ca-4fea-435f-abed-8c4f8117400a · outbound
This paper cites Fill in the blank: Context-aware automated text input generation for mobile GUI testing,.
LLM-based Satisfiability Checking of String Requirements by Consistent Data and Checker Generation Fill in the blank: Context-aware automated text input generation for mobile GUI testing,
Reference 45
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T19:25:58.077021Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 0dfa56a3-6a50-4221-bc54-039277a46c41 · outbound
This paper cites Fuzz4all: Universal fuzzing with large language models,.
LLM-based Satisfiability Checking of String Requirements by Consistent Data and Checker Generation Fuzz4all: Universal fuzzing with large language models,
Reference 46
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T19:25:58.066180Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation e2652483-778b-46d4-bc7d-5f6dc680be80 · outbound
This paper cites SMT solver validation empowered by large pre-trained language models,.
LLM-based Satisfiability Checking of String Requirements by Consistent Data and Checker Generation SMT solver validation empowered by large pre-trained language models,
Reference 47
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T19:25:58.055284Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 75354229-70b9-4aa6-9396-3d2ed416dfa9 · outbound
This paper cites Testing the limits: Unusual text inputs generation for mobile app crash detection with large language model,.
LLM-based Satisfiability Checking of String Requirements by Consistent Data and Checker Generation Testing the limits: Unusual text inputs generation for mobile app crash detection with large language model,
Reference 48
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T19:25:58.034951Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation ba77d9d8-4f4f-4979-96c0-dfe96b17b9a1 · outbound
This paper cites Tree of thoughts: Deliberate problem solving with large language models,.
LLM-based Satisfiability Checking of String Requirements by Consistent Data and Checker Generation Tree of thoughts: Deliberate problem solving with large language models,
Reference 49
- Resolution
- unresolved
- no resolver link, observed 2026-08-15T19:25:57.780687Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation ab5e6304-9b75-479b-bffb-f5f967a5d4bf · outbound
This paper cites Large Language Model Guided Tree-of-Thought.
LLM-based Satisfiability Checking of String Requirements by Consistent Data and Checker Generation Large Language Model Guided Tree-of-Thought
Reference 50
- Resolution
- unresolved
- no resolver link, observed 2026-08-15T19:25:57.783960Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 9ebd739f-3a9a-425f-8c87-8db73dc39bbb · outbound
This paper cites Graph of thoughts: Solving elaborate problems with large language models,.
LLM-based Satisfiability Checking of String Requirements by Consistent Data and Checker Generation Graph of thoughts: Solving elaborate problems with large language models,
Reference 51
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T19:25:58.018549Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation 7f65e848-b53b-4d92-bd14-604a952f0a16 · outbound
This paper cites MetaGPT: Meta Programming for A Multi-Agent Collaborative Framework.
LLM-based Satisfiability Checking of String Requirements by Consistent Data and Checker Generation MetaGPT: Meta Programming for A Multi-Agent Collaborative Framework
Reference 52
- Resolution
- unresolved
- no resolver link, observed 2026-08-15T19:25:57.790424Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 706f7d11-e817-4813-8c42-04f08ee37b1a · outbound
This paper cites More Agents Is All You Need.
LLM-based Satisfiability Checking of String Requirements by Consistent Data and Checker Generation More Agents Is All You Need
Reference 53
- Resolution
- unresolved
- no resolver link, observed 2026-08-15T19:25:57.793847Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 7462e52a-f2e7-4d4e-ad3b-43e222c13941 · outbound
This paper cites AutoGen: Enabling Next-Gen LLM Applications via Multi-Agent Conversation.
LLM-based Satisfiability Checking of String Requirements by Consistent Data and Checker Generation AutoGen: Enabling Next-Gen LLM Applications via Multi-Agent Conversation
Reference 54
- Resolution
- unresolved
- no resolver link, observed 2026-08-15T19:25:57.797112Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 03fbe3e0-03e5-48ec-be42-8d24534a1cfc · outbound
This paper cites AgentScope: A Flexible yet Robust Multi-Agent Platform.
LLM-based Satisfiability Checking of String Requirements by Consistent Data and Checker Generation AgentScope: A Flexible yet Robust Multi-Agent Platform
Reference 55
- Resolution
- unresolved
- no resolver link, observed 2026-08-15T19:25:57.800647Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation a9036539-77af-4fb0-b155-1144dcc9e813 · outbound
This paper cites Llm-based multi-agent systems for software engineering: Literature review, vision and the road ahead,.
LLM-based Satisfiability Checking of String Requirements by Consistent Data and Checker Generation Llm-based multi-agent systems for software engineering: Literature review, vision and the road ahead,
Reference 56
- Resolution
- unresolved
- no resolver link, observed 2026-08-15T19:25:57.805073Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 0e228b2d-efbe-4fe4-964c-99f5600bd20a · outbound
This paper cites Automated unit test improvement using large language models at Meta,.
LLM-based Satisfiability Checking of String Requirements by Consistent Data and Checker Generation Automated unit test improvement using large language models at Meta,
Reference 57
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T19:25:58.002406Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation caca85a7-d07c-44e5-8768-32048eaf3de4 · outbound
This paper cites Multi-step iterative automated domain modeling with large language models,.
LLM-based Satisfiability Checking of String Requirements by Consistent Data and Checker Generation Multi-step iterative automated domain modeling with large language models,
Reference 58
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T19:25:57.992738Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation e0cf6ce1-e72e-47fd-9232-69d0a0925eb4 · outbound
This paper cites Leveraging Graph-RAG and Prompt Engineering to Enhance LLM-Based Automated Requirement Traceability and Compliance Checks.
LLM-based Satisfiability Checking of String Requirements by Consistent Data and Checker Generation Leveraging Graph-RAG and Prompt Engineering to Enhance LLM-Based Automated Requirement Traceability and Compliance Checks
Reference 59
- Resolution
- unresolved
- no resolver link, observed 2026-08-15T19:25:57.814378Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation c9c1e6a7-77bd-430e-b13e-9782d47bd7b0 · outbound
This paper cites Concretization of Abstract Traffic Scene Specifications Using Metaheuristic Search,.
LLM-based Satisfiability Checking of String Requirements by Consistent Data and Checker Generation Concretization of Abstract Traffic Scene Specifications Using Metaheuristic Search,
Reference 60
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T19:25:57.982790Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation a7a1c864-3c15-4223-9428-e530c5f5539e · outbound
This paper cites an unresolved cited work.
LLM-based Satisfiability Checking of String Requirements by Consistent Data and Checker Generation Unresolved cited work
Reference 2008
- Resolution
- unresolved
- raw_fallback, observed 2026-08-15T19:25:58.366003Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation e31cf9e1-46c1-4597-b2ba-ca58d8396aee · outbound
This paper cites 1288–1300.
LLM-based Satisfiability Checking of String Requirements by Consistent Data and Checker Generation 1288–1300
Reference 2023
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T19:25:58.045180Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Observation d3b2f5a8-f404-418b-863e-c204457c89a8 · outbound
This paper cites Available: https://mo2re.github.io/assets/preprints/ BCM-LLMsForStringRequirments-MO2RE25.pdf.
LLM-based Satisfiability Checking of String Requirements by Consistent Data and Checker Generation Available: https://mo2re.github.io/assets/preprints/ BCM-LLMsForStringRequirments-MO2RE25.pdf
Reference 2025
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-15T19:25:58.327767Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.
Pith citing papers
No inbound Pith citation observations are available.