Paper Citation Record · LEDGER

Automated Test Generation from Program Documentation Encoded in Code Comments

As of 20 August 2026, this Paper Citation Record lists 51 of 51 outbound references and 2 inbound Pith citation observations for arXiv:2504.21161.

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

pith.paper-citation-record.v1
2504.21161 v1

Coverage vector

measured 51 of 51 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-16T05:16:46.869434Z

measured 53 of 53 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 2 of 2 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-08-15T14:48:10.530326Z

measured 0 of 1 external citation measurements

A source-named dated measurement, never combined with another source.

Source: arxiv_reference, observed 2026-07-03T06:17:42.150037Z

Reference resolution

51 of 51 outbound references displayed

verified exact0
verified fuzzy42
unresolved7
parse uncertain0
malformed identifier0
metadata mismatch2

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 492efbef-7267-42da-90d5-b938cac8a0fa · outbound

This paper cites an unresolved cited work.

Automated Test Generation from Program Documentation Encoded in Code Comments Unresolved cited work

Reference 1

Resolution: unresolved; raw_fallback, observed 2026-08-16T05:16:47.901397Z

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.

Observation 1033a088-1f8f-4394-ad28-5decf555cebf · outbound

This paper cites Sommerville, Software Engineering, 9/E.

Automated Test Generation from Program Documentation Encoded in Code Comments Sommerville, Software Engineering, 9/E

Reference 2

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T05:16:47.884666Z

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.

Observation 8bb2dc02-7c0c-441a-8975-f43543db7401 · outbound

This paper cites How to Write Doc Comments for the Javadoc Tool.

Automated Test Generation from Program Documentation Encoded in Code Comments How to Write Doc Comments for the Javadoc Tool

Reference 3

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T05:16:47.867075Z

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.

Observation 60feb8b0-6eea-475b-a13a-a54c6910ac34 · outbound

This paper cites perlpod - the Plain Old Documentation format - Perldoc Browser.

Automated Test Generation from Program Documentation Encoded in Code Comments perlpod - the Plain Old Documentation format - Perldoc Browser

Reference 4

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T05:16:47.850905Z

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.

Observation 7ab28c58-60ea-4335-a65a-c2ff75765119 · outbound

This paper cites Doxygen homepage.

Automated Test Generation from Program Documentation Encoded in Code Comments Doxygen homepage

Reference 5

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T05:16:47.833696Z

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.

Observation a69c4df8-273b-46ae-babe-bc703a1c6f25 · outbound

This paper cites [Online].

Automated Test Generation from Program Documentation Encoded in Code Comments [Online]

Reference 6

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T05:16:47.817019Z

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.

Observation 7ba2969e-af99-4fba-97d5-7988929ec024 · outbound

This paper cites Translating code comments to procedure spec- ifications,.

Automated Test Generation from Program Documentation Encoded in Code Comments Translating code comments to procedure spec- ifications,

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T05:16:47.800212Z

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.

Observation 7b11f860-b9ad-4c67-853a-b79f492b040a · outbound

This paper cites The oracle problem in software testing: A survey,.

Automated Test Generation from Program Documentation Encoded in Code Comments The oracle problem in software testing: A survey,

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-16T05:16:46.664658Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 88f45b67-fae7-4613-82c5-96471d5d5b0e · outbound

This paper cites DART: directed automated random testing,.

Automated Test Generation from Program Documentation Encoded in Code Comments DART: directed automated random testing,

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T05:16:47.772260Z

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.

Observation 4ee95e18-5274-4c54-9aad-e3ecca899c3b · outbound

This paper cites JPF-SE: A Symbolic Execution Extension to Java PathFinder,.

Automated Test Generation from Program Documentation Encoded in Code Comments JPF-SE: A Symbolic Execution Extension to Java PathFinder,

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T05:16:47.756354Z

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.

Observation 6b4617bc-8bb7-4669-9d38-19aaa6f3eb14 · outbound

This paper cites Feedback-directed random test generation,.

Automated Test Generation from Program Documentation Encoded in Code Comments Feedback-directed random test generation,

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T05:16:47.739920Z

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.

Observation e1affb81-e772-49af-91c5-ab4ffa588787 · outbound

This paper cites Whole Test Suite Generation,.

Automated Test Generation from Program Documentation Encoded in Code Comments Whole Test Suite Generation,

Reference 12

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T05:16:47.723348Z

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.

Observation b8bf21d5-91bc-416f-9e9c-6dbce725899f · outbound

This paper cites Jpf-Se: A symbolic execution extension to Java pathfinder,.

Automated Test Generation from Program Documentation Encoded in Code Comments Jpf-Se: A symbolic execution extension to Java pathfinder,

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T05:16:47.707690Z

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.

Observation 70931d49-1c6d-4f7d-9d2f-c3ba80c021b4 · outbound

This paper cites Symbolic Execution of Programs with Heap Inputs,.

Automated Test Generation from Program Documentation Encoded in Code Comments Symbolic Execution of Programs with Heap Inputs,

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T05:16:47.691587Z

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.

Observation 97819f93-a307-4ccc-bb01-6c5d1616a973 · outbound

This paper cites JBSE: A Symbolic Executor for Java Programs with Complex Heap Inputs,.

Automated Test Generation from Program Documentation Encoded in Code Comments JBSE: A Symbolic Executor for Java Programs with Complex Heap Inputs,

Reference 15

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T05:16:47.675546Z

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.

Observation e3dcbe45-5fe0-4e93-93f5-3ce415651aa7 · outbound

This paper cites Combining symbolic execution and search-based testing for programs with complex heap inputs,.

Automated Test Generation from Program Documentation Encoded in Code Comments Combining symbolic execution and search-based testing for programs with complex heap inputs,

Reference 16

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T05:16:47.659764Z

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.

Observation a98db4d5-fb35-4711-8b86-89977f394896 · outbound

This paper cites Search-Based Software Test Data Generation: A Survey,.

Automated Test Generation from Program Documentation Encoded in Code Comments Search-Based Software Test Data Generation: A Survey,

Reference 17

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T05:16:47.643192Z

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.

Observation 96f3ec93-63d5-45a2-a4e9-53dbfd6377df · outbound

This paper cites Evolutionary Testing of Classes,.

Automated Test Generation from Program Documentation Encoded in Code Comments Evolutionary Testing of Classes,

Reference 18

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T05:16:47.627128Z

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.

Observation a99dce0a-8600-4ed0-a7c8-2c9ac4d620fb · outbound

This paper cites A survey of symbolic execution techniques,.

Automated Test Generation from Program Documentation Encoded in Code Comments A survey of symbolic execution techniques,

Reference 19

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T05:16:47.609059Z

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.

Observation bfaa29ee-2fa9-4c78-83c3-28747fcfcec9 · outbound

This paper cites Search-based software engineering: Trends, techniques and applications,.

Automated Test Generation from Program Documentation Encoded in Code Comments Search-based software engineering: Trends, techniques and applications,

Reference 20

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T05:16:47.590179Z

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.

Observation 5dba32f3-fb14-4cd0-83a4-84851ac5c57a · outbound

This paper cites Pezz `e and M.

Automated Test Generation from Program Documentation Encoded in Code Comments Pezz `e and M

Reference 21

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T05:16:47.573565Z

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.

Observation f2dbe0ff-624a-400c-aab8-e5dea2e7977c · outbound

This paper cites The category-partition method for specifying and generating functional tests,.

Automated Test Generation from Program Documentation Encoded in Code Comments The category-partition method for specifying and generating functional tests,

Reference 22

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T05:16:47.556033Z

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.

Observation 1e3baed6-09af-491e-96e7-f3f88b2679da · outbound

This paper cites Evosuite: Automatic test suite generation for object-oriented software,.

Automated Test Generation from Program Documentation Encoded in Code Comments Evosuite: Automatic test suite generation for object-oriented software,

Reference 23

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T05:16:47.539339Z

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.

Observation 46ead114-d775-472c-8d69-64d8b8b1797a · outbound

This paper cites Automatically gen- erating test cases for safety-critical software via symbolic execution,.

Automated Test Generation from Program Documentation Encoded in Code Comments Automatically gen- erating test cases for safety-critical software via symbolic execution,

Reference 24

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T05:16:47.522980Z

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.

Observation 774cc8d4-ccdb-4b19-8874-572f4ad22b2e · outbound

This paper cites Whole test suite generation,.

Automated Test Generation from Program Documentation Encoded in Code Comments Whole test suite generation,

Reference 25

Resolution: unresolved; no resolver link, observed 2026-08-16T05:16:46.744804Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d734ee83-3015-4ed0-84dd-cad1dfb73429 · outbound

This paper cites The stanford corenlp natural language processing toolkit,.

Automated Test Generation from Program Documentation Encoded in Code Comments The stanford corenlp natural language processing toolkit,

Reference 26

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T05:16:47.493747Z

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.

Observation a778491d-7276-422b-aac4-cbe37e502ca4 · outbound

This paper cites Generating typed dependency parses from phrase structure parses.

Automated Test Generation from Program Documentation Encoded in Code Comments Generating typed dependency parses from phrase structure parses

Reference 27

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T05:16:47.477497Z

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.

Observation bc53e9ce-c9d4-4225-946a-0d9ccb9dafcd · outbound

This paper cites Com- bining multiple coverage criteria in search-based unit test generation,.

Automated Test Generation from Program Documentation Encoded in Code Comments Com- bining multiple coverage criteria in search-based unit test generation,

Reference 28

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T05:16:47.461222Z

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.

Observation b15db914-00ce-4034-936b-b8b9807bda11 · outbound

This paper cites Evosuite at the sbst 2021 tool competition,.

Automated Test Generation from Program Documentation Encoded in Code Comments Evosuite at the sbst 2021 tool competition,

Reference 29

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T05:16:47.445029Z

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.

Observation 998e83db-b4e3-45a6-aa2c-5d30416cb895 · outbound

This paper cites Unit Test Case Generation with Transformers and Focal Context.

Automated Test Generation from Program Documentation Encoded in Code Comments Unit Test Case Generation with Transformers and Focal Context

Reference 30

Resolution: unresolved; no resolver link, observed 2026-08-16T05:16:46.768599Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ae23cb1b-5ce3-4d70-b8fe-dcacab51fe9b · outbound

This paper cites A3Test: Assertion-Augmented Automated Test Case Generation.

Automated Test Generation from Program Documentation Encoded in Code Comments A3Test: Assertion-Augmented Automated Test Case Generation

Reference 31

Resolution: unresolved; no resolver link, observed 2026-08-16T05:16:46.773835Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5117ff5b-c2ad-462d-90e2-a1c4c4f8d3df · outbound

This paper cites What is a good test case?.

Automated Test Generation from Program Documentation Encoded in Code Comments What is a good test case?

Reference 32

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T05:16:47.428295Z

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.

Observation 87929349-abad-43b4-8092-7ddaf2e00609 · outbound

This paper cites Release ISSTA 2016 · albertogoffi/toradocu.

Automated Test Generation from Program Documentation Encoded in Code Comments Release ISSTA 2016 · albertogoffi/toradocu

Reference 33

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T05:16:47.412651Z

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.

Observation 8f4a7503-bf55-4d65-8085-af613fe77f53 · outbound

This paper cites toradocu/src/test/resources/goal-output at master · albertogoffi/- toradocu · GitHub.

Automated Test Generation from Program Documentation Encoded in Code Comments toradocu/src/test/resources/goal-output at master · albertogoffi/- toradocu · GitHub

Reference 34

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T05:16:47.396527Z

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.

Observation 0e4420bc-eac5-40f8-88b0-0b52ffbfb802 · outbound

This paper cites Jbmc: A bounded model checking tool for verifying java bytecode,.

Automated Test Generation from Program Documentation Encoded in Code Comments Jbmc: A bounded model checking tool for verifying java bytecode,

Reference 35

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T05:16:47.380580Z

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.

Observation 7d23506c-aac6-4422-b68d-585085377517 · outbound

This paper cites Pex: White box test generation for .NET,.

Automated Test Generation from Program Documentation Encoded in Code Comments Pex: White box test generation for .NET,

Reference 36

Resolution: metadata mismatch; raw_fallback, observed 2026-08-16T05:16:47.109872Z

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.

Observation 70692726-3f26-448b-b889-d8fc7fb6e0eb · outbound

This paper cites Assertion-oriented automated test data generation,.

Automated Test Generation from Program Documentation Encoded in Code Comments Assertion-oriented automated test data generation,

Reference 37

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T05:16:47.365197Z

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.

Observation 715b1b5f-d485-417b-add9-2250bd08b402 · outbound

This paper cites Cute and jcute: Concolic unit testing and explicit path model-checking tools: (tool paper),.

Automated Test Generation from Program Documentation Encoded in Code Comments Cute and jcute: Concolic unit testing and explicit path model-checking tools: (tool paper),

Reference 38

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T05:16:47.348920Z

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.

Observation a8acc3a9-f543-4096-b570-075c4b723643 · outbound

This paper cites Automated test generation for activation of assertions in rtl models,.

Automated Test Generation from Program Documentation Encoded in Code Comments Automated test generation for activation of assertions in rtl models,

Reference 39

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T05:16:47.333181Z

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.

Observation f1e38812-ba5c-4243-9f8a-d773c65cccd1 · outbound

This paper cites Checking java assertions using automated test-case generation,.

Automated Test Generation from Program Documentation Encoded in Code Comments Checking java assertions using automated test-case generation,

Reference 40

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T05:16:47.316899Z

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.

Observation ece13820-db19-483c-b318-3ca4be2aa996 · outbound

This paper cites an unresolved cited work.

Automated Test Generation from Program Documentation Encoded in Code Comments Unresolved cited work

Reference 41

Resolution: unresolved; raw_fallback, observed 2026-08-16T05:16:47.301370Z

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.

Observation db5c0f7d-3a45-46a5-9c1f-7a4b5e58f461 · outbound

This paper cites Automated program flaw finding using simulated annealing,.

Automated Test Generation from Program Documentation Encoded in Code Comments Automated program flaw finding using simulated annealing,

Reference 42

Resolution: metadata mismatch; raw_fallback, observed 2026-08-16T05:16:47.035517Z

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.

Observation c0db7fe7-987f-47b1-9ab4-aea4ca429475 · outbound

This paper cites Pseudo-oracles for non-testable programs,.

Automated Test Generation from Program Documentation Encoded in Code Comments Pseudo-oracles for non-testable programs,

Reference 43

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T05:16:47.285194Z

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.

Observation 1031ad49-0c83-459b-b7b9-cd8af96bcf64 · outbound

This paper cites Generating diverse software versions with genetic program- ming: an experimental study,.

Automated Test Generation from Program Documentation Encoded in Code Comments Generating diverse software versions with genetic program- ming: an experimental study,

Reference 44

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T05:16:47.269221Z

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.

Observation 56b13a1e-535b-49c9-b377-bcc3cd5ae358 · outbound

This paper cites Search-based failure discovery using testability transfor- mations to generate pseudo-oracles,.

Automated Test Generation from Program Documentation Encoded in Code Comments Search-based failure discovery using testability transfor- mations to generate pseudo-oracles,

Reference 45

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T05:16:47.252314Z

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.

Observation e0cfe4c0-1f7a-4f50-a506-04624b5eab0b · outbound

This paper cites Automatic system testing of programs without test oracles,.

Automated Test Generation from Program Documentation Encoded in Code Comments Automatic system testing of programs without test oracles,

Reference 46

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T05:16:47.233028Z

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.

Observation 0f169771-6403-4da2-ac63-cc52698aea66 · outbound

This paper cites Using jml runtime assertion checking to automate metamorphic testing in applications without test oracles,.

Automated Test Generation from Program Documentation Encoded in Code Comments Using jml runtime assertion checking to automate metamorphic testing in applications without test oracles,

Reference 47

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T05:16:47.216325Z

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.

Observation c54feae8-1c47-4bd1-a31d-6389d9744ec9 · outbound

This paper cites Statistical metamorphic testing testing programs with random output by means of statistical hypothesis tests and metamorphic testing,.

Automated Test Generation from Program Documentation Encoded in Code Comments Statistical metamorphic testing testing programs with random output by means of statistical hypothesis tests and metamorphic testing,

Reference 48

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T05:16:47.198820Z

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.

Observation f18aeeb0-1795-4c59-8e40-cb2aa6b5698f · outbound

This paper cites Inferring better contracts,.

Automated Test Generation from Program Documentation Encoded in Code Comments Inferring better contracts,

Reference 49

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T05:16:47.180804Z

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.

Observation 934625d5-eea7-4338-a095-eae8c945f490 · outbound

This paper cites Stateful testing: Finding more errors in code and contracts,.

Automated Test Generation from Program Documentation Encoded in Code Comments Stateful testing: Finding more errors in code and contracts,

Reference 50

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T05:16:47.163448Z

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.

Observation 3ebffee4-5c30-42aa-958f-87c8a4f856d2 · outbound

This paper cites Available: http://dx.doi.org/10.1109/ASE.2011.6100094.

Automated Test Generation from Program Documentation Encoded in Code Comments Available: http://dx.doi.org/10.1109/ASE.2011.6100094

Reference 443

Resolution: unresolved; no resolver link, observed 2026-08-16T05:16:46.869434Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

Observation bf0dd2cd-aa89-49a3-bca1-ac90e08738fa · inbound

Beyond Coverage and Kill Scores: Empirically Measuring Test Suite Behavioural Gaps cites this paper.

Beyond Coverage and Kill Scores: Empirically Measuring Test Suite Behavioural Gaps Automated Test Generation from Program Documentation Encoded in Code Comments

Reference 38

Resolution: verified exact; arxiv_id, observed 2026-07-03T06:17:42.152518Z

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.

Observation a01a08b5-d30e-4446-a03e-22be3ce95331 · inbound

SONAR: Task-Aware Code Summary Evaluation for LLM Consumers Without References cites this paper.

SONAR: Task-Aware Code Summary Evaluation for LLM Consumers Without References Automated Test Generation from Program Documentation Encoded in Code Comments

Reference 25

Resolution: unresolved; no resolver link, observed 2026-08-15T14:48:10.530326Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.