Pith. sign in

Paper Citation Record · LEDGER

Boundary Value Test Input Generation Using Prompt Engineering with LLMs: Fault Detection and Coverage Analysis

As of 20 August 2026, this Paper Citation Record lists 35 of 35 outbound references and 0 inbound Pith citation observations for arXiv:2501.14465.

A citation records a reference. It does not transfer a finding from one paper to another.

pith.paper-citation-record.v1
2501.14465 v1

Coverage vector

measured 35 of 35 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-10T15:10:44.087096Z

measured 35 of 35 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

35 of 35 outbound references displayed

  • verified exact0
  • verified fuzzy26
  • unresolved9
  • parse uncertain0
  • malformed identifier0
  • metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 94d2c093-7e9c-4925-b76a-35927ee41043 · outbound

This paper cites Dustin, J.

Boundary Value Test Input Generation Using Prompt Engineering with LLMs: Fault Detection and Coverage Analysis Dustin, J

Reference 1

Resolution
verified fuzzy
raw_fallback, observed 2026-08-10T15:10:44.635384Z

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-10T15:10:43.915091Z digest=sha256:c5e86e2e0a58f2c130196aa455809aa135a3eb394f736d7eba990903f8e5523b

Observation f9ddf1b6-8591-45fe-b495-ab43ed57b7fc · outbound

This paper cites Analysis and testing using boundary value analysis methods for geographic information system,.

Boundary Value Test Input Generation Using Prompt Engineering with LLMs: Fault Detection and Coverage Analysis Analysis and testing using boundary value analysis methods for geographic information system,

Reference 2

Resolution
verified fuzzy
raw_fallback, observed 2026-08-10T15:10:44.619549Z

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-10T15:10:43.920771Z digest=sha256:b7c245029337711fe603d4e404505a4fe9b501245ad59918be5f21996074a44b

Observation 7c4d227c-04f2-4c01-817d-c132b705eac1 · outbound

This paper cites Domain testing,.

Boundary Value Test Input Generation Using Prompt Engineering with LLMs: Fault Detection and Coverage Analysis Domain testing,

Reference 3

Resolution
verified fuzzy
raw_fallback, observed 2026-08-10T15:10:44.602256Z

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-10T15:10:43.926228Z digest=sha256:b3002a5445f08a674e31eeb862eb3377d86328fb9686477b68c31d93e3b2f2b7

Observation 3ff763ee-ea4a-4108-9c57-b6f78591bdf3 · outbound

This paper cites Challenges and barriers to software testing,.

Boundary Value Test Input Generation Using Prompt Engineering with LLMs: Fault Detection and Coverage Analysis Challenges and barriers to software testing,

Reference 4

Resolution
verified fuzzy
raw_fallback, observed 2026-08-10T15:10:44.587264Z

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-10T15:10:43.931356Z digest=sha256:1109f08ae371b2202b62d0aac54f1743bb19ac039916ba872aa137180b063215

Observation a49c069f-0075-475e-9578-3f577e860fa4 · outbound

This paper cites GPT-3: Its nature, scope, limits, and consequences,.

Boundary Value Test Input Generation Using Prompt Engineering with LLMs: Fault Detection and Coverage Analysis GPT-3: Its nature, scope, limits, and consequences,

Reference 5

Resolution
verified fuzzy
raw_fallback, observed 2026-08-10T15:10:44.571732Z

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-10T15:10:43.936225Z digest=sha256:14924e63627365b09f8824502d0c2c7f74de42c9274141889d8b1e3f4991ab4d

Observation b0c2d17b-0ce6-412b-becd-2c0380de33fc · outbound

This paper cites Bert: Pre-training of deep bidirectional transformers for language understanding,.

Boundary Value Test Input Generation Using Prompt Engineering with LLMs: Fault Detection and Coverage Analysis Bert: Pre-training of deep bidirectional transformers for language understanding,

Reference 6

Resolution
unresolved
no resolver link, observed 2026-08-10T15:10:43.941832Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-10T15:10:43.941832Z digest=sha256:08a83643b35dfecea146d93f9a5cbfcdfcdd11738ce58466acd4693deaec78d0

Observation 88be9744-e318-44ee-9417-dcf0b7683831 · outbound

This paper cites Intellicode compose: Code generation using transformer,.

Boundary Value Test Input Generation Using Prompt Engineering with LLMs: Fault Detection and Coverage Analysis Intellicode compose: Code generation using transformer,

Reference 7

Resolution
unresolved
no resolver link, observed 2026-08-10T15:10:43.947572Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-10T15:10:43.947572Z digest=sha256:6546c915001fec01b9feba87e8e3086e6e580c6562cacfd976444acf92f9e511

Observation d6ee9e1c-5e87-4149-8543-b2346bcc5b8c · outbound

This paper cites Automat- ing test automation,.

Boundary Value Test Input Generation Using Prompt Engineering with LLMs: Fault Detection and Coverage Analysis Automat- ing test automation,

Reference 8

Resolution
verified fuzzy
raw_fallback, observed 2026-08-10T15:10:44.535764Z

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-10T15:10:43.952956Z digest=sha256:d5c04958bfb833b63dc11612b36a4abd69b3adcfeecb11bcc1894c8614454e1d

Observation 105545cc-0793-42fb-ba34-09143316ff2a · outbound

This paper cites Protocol for a systematic literature review on the evaluation of code recommender systems,.

Boundary Value Test Input Generation Using Prompt Engineering with LLMs: Fault Detection and Coverage Analysis Protocol for a systematic literature review on the evaluation of code recommender systems,

Reference 9

Resolution
verified fuzzy
raw_fallback, observed 2026-08-10T15:10:44.520831Z

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-10T15:10:43.957507Z digest=sha256:8349271611200da3295662ee426b906ae315bcfbf635a5377bd495b8761db6a7

Observation 212a42ff-85a8-43c4-9e9b-e409b3832d49 · outbound

This paper cites Are we testing or being tested? exploring the practical applications of large language models in software testing,.

Boundary Value Test Input Generation Using Prompt Engineering with LLMs: Fault Detection and Coverage Analysis Are we testing or being tested? exploring the practical applications of large language models in software testing,

Reference 10

Resolution
verified fuzzy
raw_fallback, observed 2026-08-10T15:10:44.505912Z

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-10T15:10:43.962155Z digest=sha256:e5b6f1478b42edaf0df9a20c982b86c2d55092020272fee287c45aabb7ee9f4b

Observation 7715d3df-9a44-40d0-9c3a-1ce16b273ed2 · outbound

This paper cites Software testing with large language models: Survey, landscape, and vision,.

Boundary Value Test Input Generation Using Prompt Engineering with LLMs: Fault Detection and Coverage Analysis Software testing with large language models: Survey, landscape, and vision,

Reference 11

Resolution
verified fuzzy
raw_fallback, observed 2026-08-10T15:10:44.490824Z

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-10T15:10:43.967526Z digest=sha256:4e10e6c18082262c40dbe9bd643ad87784d8d57b71c6517f2f26fc5d5f40187a

Observation 8b269e54-079a-43dc-857e-1a6729d0656e · outbound

This paper cites Large language models for software engi- neering: A systematic literature review,.

Boundary Value Test Input Generation Using Prompt Engineering with LLMs: Fault Detection and Coverage Analysis Large language models for software engi- neering: A systematic literature review,

Reference 12

Resolution
unresolved
no resolver link, observed 2026-08-10T15:10:43.972524Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-10T15:10:43.972524Z digest=sha256:acde5c7c5b0a4d0d76fd31ef19ddf4a01d26b35ffffc7de2a4a085a9550c354d

Observation 5dc63b32-e239-460b-bdd5-8d4acc8f8851 · outbound

This paper cites Boundary value ex- ploration for software analysis,.

Boundary Value Test Input Generation Using Prompt Engineering with LLMs: Fault Detection and Coverage Analysis Boundary value ex- ploration for software analysis,

Reference 13

Resolution
verified fuzzy
raw_fallback, observed 2026-08-10T15:10:44.462524Z

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-10T15:10:43.976945Z digest=sha256:4be052ca5f3f61b95303c678413a7214b219ba76a7038f6f1b2a13fedd90a584

Observation 28bdb269-71e3-4c11-ab86-ff0e8b5beb4d · outbound

This paper cites An empirical analysis of equivalence partitioning, boundary value analysis and random testing,.

Boundary Value Test Input Generation Using Prompt Engineering with LLMs: Fault Detection and Coverage Analysis An empirical analysis of equivalence partitioning, boundary value analysis and random testing,

Reference 14

Resolution
verified fuzzy
raw_fallback, observed 2026-08-10T15:10:44.446564Z

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-10T15:10:43.981837Z digest=sha256:310144a66536c0d5f882016b7edace2658804c4c1ce3b5f62701c07ec30590f4

Observation aa5027d8-bd2c-49c6-9d86-13885d93c670 · outbound

This paper cites Random testing: Theoretical results and practical implications,.

Boundary Value Test Input Generation Using Prompt Engineering with LLMs: Fault Detection and Coverage Analysis Random testing: Theoretical results and practical implications,

Reference 15

Resolution
verified fuzzy
raw_fallback, observed 2026-08-10T15:10:44.430111Z

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-10T15:10:43.987300Z digest=sha256:c123e5715ee830ba98c6ee7bfad6486c499a5db3406595c55229f35e1c32b68d

Observation 7e966afe-4254-448d-b85e-8816766b8b15 · outbound

This paper cites EvoMBT: Evolutionary model based testing,.

Boundary Value Test Input Generation Using Prompt Engineering with LLMs: Fault Detection and Coverage Analysis EvoMBT: Evolutionary model based testing,

Reference 16

Resolution
verified fuzzy
raw_fallback, observed 2026-08-10T15:10:44.412195Z

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-10T15:10:43.991782Z digest=sha256:ad99ae6c2a9742ee50ba7cbbd2d239b31d144a56e91cc491a829f98898a0efb6

Observation ae404489-19c6-4220-8d6d-841eb51984f9 · outbound

This paper cites A Comprehensive Overview of Large Language Models.

Boundary Value Test Input Generation Using Prompt Engineering with LLMs: Fault Detection and Coverage Analysis A Comprehensive Overview of Large Language Models

Reference 17

Resolution
unresolved
no resolver link, observed 2026-08-10T15:10:43.996405Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-10T15:10:43.996405Z digest=sha256:4ecbe3e8b65a05d48c86fbb93688c5020da076bc81263601793cca039a8ba99a

Observation 6876e6bd-9a9d-41e4-80fe-8d3d7f8f3180 · outbound

This paper cites TIFA: Accurate and interpretable text-to-image faithfulness evaluation with question answering,.

Boundary Value Test Input Generation Using Prompt Engineering with LLMs: Fault Detection and Coverage Analysis TIFA: Accurate and interpretable text-to-image faithfulness evaluation with question answering,

Reference 18

Resolution
verified fuzzy
raw_fallback, observed 2026-08-10T15:10:44.396950Z

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-10T15:10:44.001530Z digest=sha256:419738880fc9522f3e94012d4f4ed35050c664cfa9e45341b857d3e9083946bc

Observation 47056aab-9cc7-4cb0-9583-72ace9714080 · outbound

This paper cites TenGAN: Pure transformer encoders make an efficient discrete gan for de novo molecular generation,.

Boundary Value Test Input Generation Using Prompt Engineering with LLMs: Fault Detection and Coverage Analysis TenGAN: Pure transformer encoders make an efficient discrete gan for de novo molecular generation,

Reference 19

Resolution
verified fuzzy
raw_fallback, observed 2026-08-10T15:10:44.381334Z

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-10T15:10:44.007576Z digest=sha256:82336fee7aa060716d273b65a8f8de50182f18980fc8d236ee8bea8dd5391c4f

Observation d54b91c0-eebc-42ab-a6f3-9942719be60d · outbound

This paper cites GxV AEs: Two joint vaes generate hit molecules from gene expression profiles,.

Boundary Value Test Input Generation Using Prompt Engineering with LLMs: Fault Detection and Coverage Analysis GxV AEs: Two joint vaes generate hit molecules from gene expression profiles,

Reference 20

Resolution
verified fuzzy
raw_fallback, observed 2026-08-10T15:10:44.365280Z

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-10T15:10:44.012904Z digest=sha256:8647ffdda4c74af4739568aa0df375d1decf0364bdef0204b971f1972d565f4a

Observation 5b63cf76-1149-445b-bcc5-bd9de53d556c · outbound

This paper cites Large language models as oracles for instantiating ontologies with domain-specific knowledge.

Boundary Value Test Input Generation Using Prompt Engineering with LLMs: Fault Detection and Coverage Analysis Large language models as oracles for instantiating ontologies with domain-specific knowledge

Reference 21

Resolution
unresolved
no resolver link, observed 2026-08-10T15:10:44.017698Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-10T15:10:44.017698Z digest=sha256:ff02dd2e6e8c47e774d1921455ffa12f915db7e9fd06f00934c24a42ed819c3f

Observation 1c3dce61-e130-43ff-86b7-fcd73f1f9fad · outbound

This paper cites Towards an intelligent test case generation framework using llms and prompt engineering,.

Boundary Value Test Input Generation Using Prompt Engineering with LLMs: Fault Detection and Coverage Analysis Towards an intelligent test case generation framework using llms and prompt engineering,

Reference 22

Resolution
verified fuzzy
raw_fallback, observed 2026-08-10T15:10:44.348422Z

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-10T15:10:44.023152Z digest=sha256:3bef8602577840010551ac7e05b9cab0ff8435ef6b08403f858bc859aa30f026

Observation 765aa8b8-ee82-4988-b3fe-8fd9210b599a · outbound

This paper cites Chatunitest: A framework for llm-based test generation,.

Boundary Value Test Input Generation Using Prompt Engineering with LLMs: Fault Detection and Coverage Analysis Chatunitest: A framework for llm-based test generation,

Reference 23

Resolution
unresolved
no resolver link, observed 2026-08-10T15:10:44.028009Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-10T15:10:44.028009Z digest=sha256:17200ab6a99c7fc00372e780d25ab8f8c3f9c9e62332efc14050a8bbd2ac5849

Observation eca0d905-4b03-4812-bd21-2b601b8bade1 · outbound

This paper cites Harnessing the power of llms in practice: A survey on chatgpt and beyond,.

Boundary Value Test Input Generation Using Prompt Engineering with LLMs: Fault Detection and Coverage Analysis Harnessing the power of llms in practice: A survey on chatgpt and beyond,

Reference 24

Resolution
unresolved
no resolver link, observed 2026-08-10T15:10:44.032850Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-10T15:10:44.032850Z digest=sha256:bd60162703f3f0862229ef81a29ab23efc3c39647c7b9ed0de88cbb5699b348c

Observation 77f771cc-fea9-4951-823f-eca4dc28da57 · outbound

This paper cites A review of current trends, techniques, and challenges in large language models (llms),.

Boundary Value Test Input Generation Using Prompt Engineering with LLMs: Fault Detection and Coverage Analysis A review of current trends, techniques, and challenges in large language models (llms),

Reference 25

Resolution
unresolved
no resolver link, observed 2026-08-10T15:10:44.038272Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-10T15:10:44.038272Z digest=sha256:2d99871181a7ad88a73e06184db0fb975281ab67edc523997aca0d43e1b8016e

Observation b625b5d0-149b-469d-bb06-e9db4e9cc8b5 · outbound

This paper cites Boundary value analysis in automatic white-box test generation,.

Boundary Value Test Input Generation Using Prompt Engineering with LLMs: Fault Detection and Coverage Analysis Boundary value analysis in automatic white-box test generation,

Reference 26

Resolution
verified fuzzy
raw_fallback, observed 2026-08-10T15:10:44.297753Z

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-10T15:10:44.043028Z digest=sha256:fa117f7e430445a1b302bb5d1da8741eb30686244a826ab3c9df7fd34dcc353a

Observation 72323174-9f2c-440b-9989-e76b229e2ae9 · outbound

This paper cites An analysis and survey of the development of mutation testing,.

Boundary Value Test Input Generation Using Prompt Engineering with LLMs: Fault Detection and Coverage Analysis An analysis and survey of the development of mutation testing,

Reference 27

Resolution
verified fuzzy
raw_fallback, observed 2026-08-10T15:10:44.282224Z

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-10T15:10:44.047936Z digest=sha256:fca7659136cd7fe6020cebfeee168f3e4ea8b964ae8e8e6b6d551ab449549b1a

Observation 61bf7352-bc76-4710-8d05-8fbf3986aed3 · outbound

This paper cites Gcov: https://gcc.gnu.org/onlinedocs/gcc/gcov.html.

Boundary Value Test Input Generation Using Prompt Engineering with LLMs: Fault Detection and Coverage Analysis Gcov: https://gcc.gnu.org/onlinedocs/gcc/gcov.html

Reference 28

Resolution
verified fuzzy
raw_fallback, observed 2026-08-10T15:10:44.264534Z

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-10T15:10:44.052968Z digest=sha256:09963b7ad8553b4634d1825abd231431cc1d69916d41425ec084d571b481834b

Observation 7ad4a74f-b99b-403d-951f-89a8d42b6048 · outbound

This paper cites Pathcrawler: Automatic generation of path tests by combining static and dynamic analysis,.

Boundary Value Test Input Generation Using Prompt Engineering with LLMs: Fault Detection and Coverage Analysis Pathcrawler: Automatic generation of path tests by combining static and dynamic analysis,

Reference 29

Resolution
verified fuzzy
raw_fallback, observed 2026-08-10T15:10:44.246117Z

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-10T15:10:44.058378Z digest=sha256:ae044291bcf4bb91ea433326b6c7e6424a2790d62c454ac268f63d7439932e12

Observation 6ee67f77-d0d0-468d-89e6-47b7387532ba · outbound

This paper cites Mc/dc automatic test input data generation,.

Boundary Value Test Input Generation Using Prompt Engineering with LLMs: Fault Detection and Coverage Analysis Mc/dc automatic test input data generation,

Reference 30

Resolution
verified fuzzy
raw_fallback, observed 2026-08-10T15:10:44.230840Z

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-10T15:10:44.062931Z digest=sha256:580f728e7fafbec8671547d40edcb4f43b67add76a1e90f6062a91857251de84

Observation d835b51a-49ed-4a02-b665-50e89e00e13c · outbound

This paper cites Searching for test data,.

Boundary Value Test Input Generation Using Prompt Engineering with LLMs: Fault Detection and Coverage Analysis Searching for test data,

Reference 31

Resolution
verified fuzzy
raw_fallback, observed 2026-08-10T15:10:44.214626Z

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-10T15:10:44.067616Z digest=sha256:c5a3ad19ca62c669c3060315fa6e4e4aedcfb02848f00ef4faa53a7b770a9921

Observation bb1dbbb8-5db8-4c5d-b39d-9a5c14ca3bb4 · outbound

This paper cites Numerical recipes in c,.

Boundary Value Test Input Generation Using Prompt Engineering with LLMs: Fault Detection and Coverage Analysis Numerical recipes in c,

Reference 32

Resolution
verified fuzzy
raw_fallback, observed 2026-08-10T15:10:44.198937Z

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-10T15:10:44.072118Z digest=sha256:144481267a98f7a37ca10786a16581a0aa126b71eab9ae41d0d27ea77fb57a70

Observation e7ccdb13-f4a5-4671-bbc9-c2616d89f62b · outbound

This paper cites Supporting controlled experi- mentation with testing techniques: An infrastructure and its potential impact,.

Boundary Value Test Input Generation Using Prompt Engineering with LLMs: Fault Detection and Coverage Analysis Supporting controlled experi- mentation with testing techniques: An infrastructure and its potential impact,

Reference 33

Resolution
verified fuzzy
raw_fallback, observed 2026-08-10T15:10:44.184170Z

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-10T15:10:44.077743Z digest=sha256:77101819349a578a463594c1a6421c73d4e28e9f328400a0e1df0f91ce05f7d0

Observation ac632396-afd2-49c4-8541-23593bea7220 · outbound

This paper cites Klee: unassisted and automatic generation of high-coverage tests for complex systems programs.

Boundary Value Test Input Generation Using Prompt Engineering with LLMs: Fault Detection and Coverage Analysis Klee: unassisted and automatic generation of high-coverage tests for complex systems programs

Reference 34

Resolution
unresolved
no resolver link, observed 2026-08-10T15:10:44.082507Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-10T15:10:44.082507Z digest=sha256:87917d4284a7b5ae90189ddc9daf95f3384cc4e1ba53e7dcce15c0ac7b854a92

Observation 2f7729ef-9208-40f6-a262-861a410ecdd1 · outbound

This paper cites Towards high-quality test suite generation with ml-based boundary value analysis,.

Boundary Value Test Input Generation Using Prompt Engineering with LLMs: Fault Detection and Coverage Analysis Towards high-quality test suite generation with ml-based boundary value analysis,

Reference 35

Resolution
verified fuzzy
raw_fallback, observed 2026-08-10T15:10:44.158518Z

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-10T15:10:44.087096Z digest=sha256:24bc3c5a9d74605470a5dcd4c7a928ff6a9c4de0ae34a56f433d628c19ba9c06

Pith citing papers

No inbound Pith citation observations are available.