Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-06-27T12:46:05.332740Z
Paper Citation Record · LEDGER
As of 22 August 2026, this Paper Citation Record lists 57 of 57 outbound references and 0 inbound Pith citation observations for arXiv:2606.10417.
A citation records a reference. It does not transfer a finding from one paper to another.
Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-06-27T12:46:05.332740Z
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
57 of 57 outbound references displayed
External citation measurements
No source-named external measurement is stored.
Observation 69856e98-c40b-4554-948f-2a6c419de7eb · outbound
Beyond Coverage and Kill Scores: Empirically Measuring Test Suite Behavioural Gaps Functional program testing,
Reference 1
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 1b9471b1-b550-424e-a81e-b78f242f8781 · outbound
Beyond Coverage and Kill Scores: Empirically Measuring Test Suite Behavioural Gaps Approaches to specification-based testing,
Reference 2
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation e851e617-0f54-4eaf-97f2-31baef64531b · outbound
Beyond Coverage and Kill Scores: Empirically Measuring Test Suite Behavioural Gaps Unresolved cited work
Reference 3
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 5deadee8-6ea4-435e-9f64-2b15f03e0fc0 · outbound
Beyond Coverage and Kill Scores: Empirically Measuring Test Suite Behavioural Gaps Doc2OracLL: Investigating the impact of documentation on LLM-based test oracle generation,
Reference 4
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation c109ffb8-da3e-40bc-83d4-80e84098f30f · outbound
Beyond Coverage and Kill Scores: Empirically Measuring Test Suite Behavioural Gaps Doc2OracLL: Investigating the Impact of Documentation on LLM-based Test Oracle Generation
Reference 5
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 5434a1a9-fd26-4274-af64-24e6c1df0b81 · outbound
Beyond Coverage and Kill Scores: Empirically Measuring Test Suite Behavioural Gaps Behaviourally adequate software testing,
Reference 6
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 9f976172-700a-44dc-a237-9ab5a9933a24 · outbound
Beyond Coverage and Kill Scores: Empirically Measuring Test Suite Behavioural Gaps Reliability of the path analysis testing strategy,
Reference 7
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 832a2314-4cd1-4fc0-a10f-93400d42e43c · outbound
Beyond Coverage and Kill Scores: Empirically Measuring Test Suite Behavioural Gaps The design of a prototype mutation system for program testing,
Reference 8
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation b7564c5f-f57e-4d6e-9261-82dd6a2a6270 · outbound
Beyond Coverage and Kill Scores: Empirically Measuring Test Suite Behavioural Gaps Software unit test coverage and adequacy,
Reference 9
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 86ed9154-0375-4dd3-9a61-5393fce38b70 · outbound
Beyond Coverage and Kill Scores: Empirically Measuring Test Suite Behavioural Gaps Mutation testing advances: an analysis and survey,
Reference 10
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 2c55eace-9654-46e9-9e6d-4107d2c0a362 · outbound
Beyond Coverage and Kill Scores: Empirically Measuring Test Suite Behavioural Gaps Code coverage for suite eval- uation by developers,
Reference 11
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 5056a2db-ab5c-454d-8476-c012ebfe5fab · outbound
Beyond Coverage and Kill Scores: Empirically Measuring Test Suite Behavioural Gaps Are mutants a valid substitute for real faults in software testing?
Reference 12
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation e8c5f0be-14ed-465e-8d62-fedd89027b38 · outbound
Beyond Coverage and Kill Scores: Empirically Measuring Test Suite Behavioural Gaps Functional testing, structural testing and code reading: What fault type do they each detect?
Reference 13
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 44a3556d-2896-453b-9aa8-cfd5d5d1a037 · outbound
Beyond Coverage and Kill Scores: Empirically Measuring Test Suite Behavioural Gaps How well do professional developers test with code coverage visualizations? an empirical study,
Reference 14
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 8932392d-fa9c-47e8-87db-2ecb31756b6d · outbound
Beyond Coverage and Kill Scores: Empirically Measuring Test Suite Behavioural Gaps Assertions are strongly correlated with test suite effectiveness,
Reference 15
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 49ec2acd-4bca-498f-ba82-00648a0db2dd · outbound
Beyond Coverage and Kill Scores: Empirically Measuring Test Suite Behavioural Gaps Does mutation testing improve testing practices?
Reference 16
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 451a811c-080c-432d-b7f6-11936de0017e · outbound
Beyond Coverage and Kill Scores: Empirically Measuring Test Suite Behavioural Gaps Systematic mistake analysis of digital computer programs,
Reference 17
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 1250ff09-e3c3-4801-9eae-c91460ea8894 · outbound
Beyond Coverage and Kill Scores: Empirically Measuring Test Suite Behavioural Gaps Toward a theory of test data selection,
Reference 18
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 3a1b0ed5-acee-47e6-a2a3-10ce649f0a27 · outbound
Beyond Coverage and Kill Scores: Empirically Measuring Test Suite Behavioural Gaps Foundations of software testing: dependability theory,
Reference 19
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 9dbc7612-9923-4507-9d91-33e3ced34f17 · outbound
Beyond Coverage and Kill Scores: Empirically Measuring Test Suite Behavioural Gaps Coverage is not strongly correlated with test suite effectiveness,
Reference 20
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 186a75d0-6f5f-4a45-8a69-620fdaec1309 · outbound
Beyond Coverage and Kill Scores: Empirically Measuring Test Suite Behavioural Gaps The risks of coverage-directed test case generation,
Reference 21
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation d0efaa5d-0554-412d-b555-2dc541ba51e8 · outbound
Beyond Coverage and Kill Scores: Empirically Measuring Test Suite Behavioural Gaps Metamon: Finding inconsistencies be- tween program documentation and behavior using metamorphic llm queries,
Reference 22
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 6d757542-30bf-4815-bd9a-1459f27fd40a · outbound
Beyond Coverage and Kill Scores: Empirically Measuring Test Suite Behavioural Gaps Can large language models transform natural language intent into formal method postconditions?
Reference 23
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation bc681216-7134-4e67-8183-2e6336f0fc6f · outbound
Beyond Coverage and Kill Scores: Empirically Measuring Test Suite Behavioural Gaps EvoSuite: Automatic test suite generation for object-oriented software,
Reference 24
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 962bdbd1-ccc8-4c83-92d5-9d354fd67f6f · outbound
Beyond Coverage and Kill Scores: Empirically Measuring Test Suite Behavioural Gaps Aster: Natural and multi-language unit test generation with llms,
Reference 25
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation ff9a4332-1f33-48b8-8f8a-8594f96f7d3c · outbound
Beyond Coverage and Kill Scores: Empirically Measuring Test Suite Behavioural Gaps Is mutation an appropriate tool for testing experiments?
Reference 26
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 618038f1-ec7d-47f0-8157-03cdab3e10e7 · outbound
Beyond Coverage and Kill Scores: Empirically Measuring Test Suite Behavioural Gaps Checked coverage: an indicator for oracle quality,
Reference 27
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 571d9e7c-fcd7-47a5-a3d3-a97916b7182e · outbound
Beyond Coverage and Kill Scores: Empirically Measuring Test Suite Behavioural Gaps A compre- hensive study of pseudo-tested methods,
Reference 28
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 38f47537-ed05-4745-a80b-d769ac17457e · outbound
Beyond Coverage and Kill Scores: Empirically Measuring Test Suite Behavioural Gaps Where tests fall short: empirically analyzing oracle gaps in covered code,
Reference 29
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 8381f91d-c4bb-41e3-80cb-d14d6c39ed4a · outbound
Beyond Coverage and Kill Scores: Empirically Measuring Test Suite Behavioural Gaps Automatically gen- erating test cases for safety-critical software via symbolic execution,
Reference 30
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 64a8201d-b313-4c96-b3bf-32d758a3cb38 · outbound
Beyond Coverage and Kill Scores: Empirically Measuring Test Suite Behavioural Gaps Call me maybe: Using NLP to automatically generate unit test cases respecting temporal con- straints,
Reference 31
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation f5f2f8df-b70f-497b-bc89-c55bfee63eff · outbound
Beyond Coverage and Kill Scores: Empirically Measuring Test Suite Behavioural Gaps Nanofuzz: A usable tool for automatic test generation,
Reference 32
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 693dd1eb-6778-4e8f-9115-ded983883b30 · outbound
Beyond Coverage and Kill Scores: Empirically Measuring Test Suite Behavioural Gaps 1114–1126
Reference 33
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 2e216a49-b5ed-4ad2-89eb-8fa12a4faba1 · outbound
Beyond Coverage and Kill Scores: Empirically Measuring Test Suite Behavioural Gaps Feedback-directed random test generation,
Reference 34
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation f30692a4-693b-4fca-8a6c-f32aa523c909 · outbound
Beyond Coverage and Kill Scores: Empirically Measuring Test Suite Behavioural Gaps Chatunitest: A framework for llm-based test generation,
Reference 35
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 752e052d-bcb2-4b32-a335-52d6d7aec195 · outbound
Beyond Coverage and Kill Scores: Empirically Measuring Test Suite Behavioural Gaps Automatic generation of oracles for exceptional behaviors,
Reference 36
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation d3c3ac90-01ea-447b-9341-48e1762079c8 · outbound
Beyond Coverage and Kill Scores: Empirically Measuring Test Suite Behavioural Gaps Translating code comments to procedure spec- ifications,
Reference 37
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation bf0dd2cd-aa89-49a3-bca1-ac90e08738fa · outbound
Beyond Coverage and Kill Scores: Empirically Measuring Test Suite Behavioural Gaps Automated Test Generation from Program Documentation Encoded in Code Comments
Reference 38
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 5b39c486-f7fc-4769-8cb5-ee31d9d107d1 · outbound
Beyond Coverage and Kill Scores: Empirically Measuring Test Suite Behavioural Gaps A framework for creating non-regressive test cases via branch consistency analysis driven by descriptions,
Reference 39
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 52ee9368-d91e-4ca7-b4f1-0b2093b58ccb · outbound
Beyond Coverage and Kill Scores: Empirically Measuring Test Suite Behavioural Gaps DocPrism: Multi-lingual Detection of Incorrectness Inconsistencies between Code and Documentation
Reference 40
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 99ee3339-689a-48de-88b2-b87cf3968164 · outbound
Beyond Coverage and Kill Scores: Empirically Measuring Test Suite Behavioural Gaps Natural language generation and understanding of big code for ai-assisted programming: A review,
Reference 41
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 1ef0a625-da33-44e2-94bf-0b7b68c9d606 · outbound
Beyond Coverage and Kill Scores: Empirically Measuring Test Suite Behavioural Gaps Communicating study design trade-offs in software engineering,
Reference 42
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation dc816bb5-2a82-4ce6-94f6-286bf92a32a9 · outbound
Beyond Coverage and Kill Scores: Empirically Measuring Test Suite Behavioural Gaps Qwen3 Technical Report
Reference 43
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 8ace8e99-794b-4662-958f-75e1930793dd · outbound
Beyond Coverage and Kill Scores: Empirically Measuring Test Suite Behavioural Gaps Defects4J: A database of existing faults to enable controlled testing studies for java programs,
Reference 44
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 1510b7b9-beae-4b39-acf6-860855e9b9aa · outbound
Beyond Coverage and Kill Scores: Empirically Measuring Test Suite Behavioural Gaps JaCoCo Java Code Coverage Li- brary,
Reference 45
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 4a19cfab-aa91-4b22-980a-60f5674fa711 · outbound
Beyond Coverage and Kill Scores: Empirically Measuring Test Suite Behavioural Gaps PIT: Mutation Testing for Java,
Reference 46
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 5b7686e2-e9f2-4d84-8345-5949ee530f4e · outbound
Beyond Coverage and Kill Scores: Empirically Measuring Test Suite Behavioural Gaps Judging LLM-as-a-judge with MT-bench and chatbot arena,
Reference 47
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 83f14c81-7b3e-40f4-9f3e-93cf6bdaf51e · outbound
Beyond Coverage and Kill Scores: Empirically Measuring Test Suite Behavioural Gaps Ministral 3
Reference 48
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 e2ef37a7-31af-4d24-a8d0-3f52b8ed02d3 · outbound
Beyond Coverage and Kill Scores: Empirically Measuring Test Suite Behavioural Gaps Can llms replace manual annotation of software engineering artifacts?
Reference 49
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation fb025c5c-aa60-4b90-93f0-e0fbcf3481bb · outbound
Beyond Coverage and Kill Scores: Empirically Measuring Test Suite Behavioural Gaps Llm-as-a-judge for software engineering: Literature review, vision, and the road ahead,
Reference 50
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 29812bb2-c7b9-4668-b386-55c5f420ba9f · outbound
Beyond Coverage and Kill Scores: Empirically Measuring Test Suite Behavioural Gaps An llm-as-judge metric for bridging the gap with human evaluation in se tasks
Reference 51
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 bf82c0e5-1f79-4a6c-ae78-ef3acceaa028 · outbound
Beyond Coverage and Kill Scores: Empirically Measuring Test Suite Behavioural Gaps Evaluation of sampling and cross-validation tuning strategies for regional-scale machine learning classification,
Reference 52
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 5e8728ac-3478-4b75-ab64-5fe3ab6048dc · outbound
Beyond Coverage and Kill Scores: Empirically Measuring Test Suite Behavioural Gaps Interrater reliability: the kappa statistic,
Reference 53
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 4e35a75d-21ff-447b-8191-cd14464a0836 · outbound
Beyond Coverage and Kill Scores: Empirically Measuring Test Suite Behavioural Gaps A tutorial on sample size calculation for inter-rater and intra-rater agreement studies,
Reference 54
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation e786617f-b9c1-4ec6-bd65-9dcf26553d9a · outbound
Beyond Coverage and Kill Scores: Empirically Measuring Test Suite Behavioural Gaps Unresolved cited work
Reference 55
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 08a3cd77-7329-454d-bf82-7cfe01d6850f · outbound
Beyond Coverage and Kill Scores: Empirically Measuring Test Suite Behavioural Gaps Mutation testing advances: An analysis and survey,
Reference 56
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation bc2f15a9-2630-489f-b869-f1ce151d475c · outbound
Beyond Coverage and Kill Scores: Empirically Measuring Test Suite Behavioural Gaps Spearman,The proof and measurement of association between two things.Appleton-Century-Crofts, 1961
Reference 57
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
No inbound Pith citation observations are available.