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-19T06:32:44.657259+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-19T06:32:44.657259+00:00.

source=pdf_text observed=2026-08-10T15:10:43.915091Z digest=sha256:a82a76edada7a73221393dd950cbdb34a6656dbebc103ff3197e351c2cc78bb2

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-19T06:32:44.657259+00:00.

source=pdf_text observed=2026-08-10T15:10:43.920771Z digest=sha256:cfe2eb2741d5494feea68e6216b9e628459242043d5309f48fed7d057de7e68f

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-19T06:32:44.657259+00:00.

source=pdf_text observed=2026-08-10T15:10:43.926228Z digest=sha256:e8b49c0118162debea1af902336915dcdc58698f7d97af882d1807144aaadbb1

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-19T06:32:44.657259+00:00.

source=pdf_text observed=2026-08-10T15:10:43.931356Z digest=sha256:b8fcaa81f44e119b8f3440d687b796e443eeba479c6386907e17b37caf90e246

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-19T06:32:44.657259+00:00.

source=pdf_text observed=2026-08-10T15:10:43.936225Z digest=sha256:377a98d70129be7b82d0706869e9d30dccd13c76fed6e8b98a96ab2c12e940a7

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-19T06:32:44.657259+00:00.

source=pdf_text observed=2026-08-10T15:10:43.952956Z digest=sha256:5a2b12f6ca0f94d8d2ffaa0723a92a3f4abb9955e66a56c9bcff55524740ba01

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-19T06:32:44.657259+00:00.

source=pdf_text observed=2026-08-10T15:10:43.957507Z digest=sha256:6c05051584ff32d3d784f7f7a77d8fd5d28eb679060f6c35bbc300c10c26a229

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-19T06:32:44.657259+00:00.

source=pdf_text observed=2026-08-10T15:10:43.962155Z digest=sha256:6aacf5445ff14d91f7d584f09a250a2c639a94ff13cb512743039a1d236aea98

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-19T06:32:44.657259+00:00.

source=pdf_text observed=2026-08-10T15:10:43.967526Z digest=sha256:2f9dc4461a82b74e8480346e08d3580ae4be9761db8b1249498f099e2250d1a5

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-19T06:32:44.657259+00:00.

source=pdf_text observed=2026-08-10T15:10:43.976945Z digest=sha256:a9fab5f4680408cdc669695e068d7cf43d59f5a4d9888d7ed6209a656350e519

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-19T06:32:44.657259+00:00.

source=pdf_text observed=2026-08-10T15:10:43.981837Z digest=sha256:f3619e6b5fd25770a0544d85eb23e386e0e2d2b0ea9fa26e3351a5edfc4d114c

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-19T06:32:44.657259+00:00.

source=pdf_text observed=2026-08-10T15:10:43.987300Z digest=sha256:bd481b07873382bc3f094973900640b9116f4ef8472f08235d372fde8816069c

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-19T06:32:44.657259+00:00.

source=pdf_text observed=2026-08-10T15:10:43.991782Z digest=sha256:eeb466bc50c0ea7b2b581f4daa5645a6741f062281d6743621b8fafe38d0fb30

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-19T06:32:44.657259+00:00.

source=pdf_text observed=2026-08-10T15:10:44.001530Z digest=sha256:d1a0eb3284c467031e4a7eeb6c79813d3cab3ce1320b21949e151da16d048da8

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-19T06:32:44.657259+00:00.

source=pdf_text observed=2026-08-10T15:10:44.007576Z digest=sha256:eb227655819ede27a202abbebf0bfe81992558052ab754b8f9ba58ccb45abcb1

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-19T06:32:44.657259+00:00.

source=pdf_text observed=2026-08-10T15:10:44.012904Z digest=sha256:3c6a1ad48a2d6c123a3575d3421e32d1199ee2712344277e196e7776795845a4

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-19T06:32:44.657259+00:00.

source=pdf_text observed=2026-08-10T15:10:44.023152Z digest=sha256:081697080c3bd9a0c532a48309e7972f4802e9e408a54dd404134b5822c3268b

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-19T06:32:44.657259+00:00.

source=pdf_text observed=2026-08-10T15:10:44.043028Z digest=sha256:62a1240dc589dabf1ef6e8f2f3d23d8f57b22dbe380b630307fd1605b9ba225e

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-19T06:32:44.657259+00:00.

source=pdf_text observed=2026-08-10T15:10:44.047936Z digest=sha256:ba5674ef0083df70f33f17419e454b50ca10de1cf0ae86790e5e4c30a94bbf21

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-19T06:32:44.657259+00:00.

source=pdf_text observed=2026-08-10T15:10:44.052968Z digest=sha256:fdbaf699e6229749e799eb645b41134c285f14d55d90971f96f2125095c6254a

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-19T06:32:44.657259+00:00.

source=pdf_text observed=2026-08-10T15:10:44.058378Z digest=sha256:d068a09e88ba1bb273dece90d0fd98602f238d83f01de5aa1e97da540a83e6d1

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-19T06:32:44.657259+00:00.

source=pdf_text observed=2026-08-10T15:10:44.062931Z digest=sha256:e807af4c121f4bed33249001fe48cced17cde58c4b35ed9776169337e82989d3

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-19T06:32:44.657259+00:00.

source=pdf_text observed=2026-08-10T15:10:44.067616Z digest=sha256:16e1dd9bda5f7231c6ab1db4f5095b19c4c37235f3f846be287597539c07e4c3

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-19T06:32:44.657259+00:00.

source=pdf_text observed=2026-08-10T15:10:44.072118Z digest=sha256:dfea98bfad1135f415f9ae63620f58cc9bbfedd4b95716abc579f92444e9a811

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-19T06:32:44.657259+00:00.

source=pdf_text observed=2026-08-10T15:10:44.077743Z digest=sha256:aacf47425842737c9a5a9d65989e5c5b054dffe7751874ed3357e7969bf0911f

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-19T06:32:44.657259+00:00.

source=pdf_text observed=2026-08-10T15:10:44.087096Z digest=sha256:a0cd8bd695c066499b6d99f1f1622997a4f09dfb4afd686b6cc44b0b4fea9af5

Pith citing papers

No inbound Pith citation observations are available.