Loop-Based Slicing and Input-Driven Concretization: An Empirical Study of Termination and Non-Termination Analysis | Paper Citation Record

Observation 575d4992-45ac-4db7-893a-37f6a16c0864 · outbound

This paper cites Termination proofs for systems code,.

Loop-Based Slicing and Input-Driven Concretization: An Empirical Study of Termination and Non-Termination Analysis Termination proofs for systems code,

Reference 1

Resolution: unresolved; no resolver link, observed 2026-07-13T01:12:51.086972Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation aeab592e-abd1-4eb5-b07f-7315d7bef5a8 · outbound

This paper cites Loopster: static loop termination analysis,.

Loop-Based Slicing and Input-Driven Concretization: An Empirical Study of Termination and Non-Termination Analysis Loopster: static loop termination analysis,

Reference 2

Resolution: unresolved; no resolver link, observed 2026-07-13T01:12:51.086972Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c72386e9-23be-4dde-823b-099c0f8d578d · outbound

This paper cites Proving nontermination via safety,.

Loop-Based Slicing and Input-Driven Concretization: An Empirical Study of Termination and Non-Termination Analysis Proving nontermination via safety,

Reference 3

Resolution: unresolved; no resolver link, observed 2026-07-13T01:12:51.086972Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cc76210f-c87b-4352-a59a-cee587bf5dfe · outbound

This paper cites Proving non-termination using max-smt,.

Loop-Based Slicing and Input-Driven Concretization: An Empirical Study of Termination and Non-Termination Analysis Proving non-termination using max-smt,

Reference 4

Resolution: unresolved; no resolver link, observed 2026-07-13T01:12:51.086972Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation aba4ff7d-1570-4ddb-b56c-6903d47cda12 · outbound

This paper cites The abstract domain of segmented ranking functions,.

Loop-Based Slicing and Input-Driven Concretization: An Empirical Study of Termination and Non-Termination Analysis The abstract domain of segmented ranking functions,

Reference 5

Resolution: unresolved; no resolver link, observed 2026-07-13T01:12:51.086972Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ff00ccc7-2964-40cb-91ea-995f4e19bdef · outbound

This paper cites A forward analysis for recurrent sets,.

Loop-Based Slicing and Input-Driven Concretization: An Empirical Study of Termination and Non-Termination Analysis A forward analysis for recurrent sets,

Reference 6

Resolution: unresolved; no resolver link, observed 2026-07-13T01:12:51.086972Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 472332ee-4fa7-4906-bedc-6569f914cc8a · outbound

This paper cites Practical methods for proving program termination,.

Loop-Based Slicing and Input-Driven Concretization: An Empirical Study of Termination and Non-Termination Analysis Practical methods for proving program termination,

Reference 7

Resolution: unresolved; no resolver link, observed 2026-07-13T01:12:51.086972Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d2a63a37-1136-4be6-aad1-2cfdf3820453 · outbound

This paper cites Linear ranking with reachability,.

Loop-Based Slicing and Input-Driven Concretization: An Empirical Study of Termination and Non-Termination Analysis Linear ranking with reachability,

Reference 8

Resolution: unresolved; no resolver link, observed 2026-07-13T01:12:51.086972Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b30aa04f-f0ca-40ea-b558-272ec638a1f8 · outbound

This paper cites Termination analysis with compositional transition invariants,.

Loop-Based Slicing and Input-Driven Concretization: An Empirical Study of Termination and Non-Termination Analysis Termination analysis with compositional transition invariants,

Reference 9

Resolution: malformed identifier; no resolver link, observed 2026-07-13T01:12:51.086972Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b2349e09-0363-420d-8f18-0dd96c6a47c0 · outbound

This paper cites Synthesis of linear ranking functions,.

Loop-Based Slicing and Input-Driven Concretization: An Empirical Study of Termination and Non-Termination Analysis Synthesis of linear ranking functions,

Reference 10

Resolution: unresolved; no resolver link, observed 2026-07-13T01:12:51.086972Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 78309133-8d4b-407e-a795-480e893fc7d2 · outbound

This paper cites A complete method for the synthesis of linear ranking functions,.

Loop-Based Slicing and Input-Driven Concretization: An Empirical Study of Termination and Non-Termination Analysis A complete method for the synthesis of linear ranking functions,

Reference 11

Resolution: unresolved; no resolver link, observed 2026-07-13T01:12:51.086972Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 468c0904-8b50-43a1-a41e-df7c107f12b6 · outbound

This paper cites Ranking templates for linear loops,.

Loop-Based Slicing and Input-Driven Concretization: An Empirical Study of Termination and Non-Termination Analysis Ranking templates for linear loops,

Reference 12

Resolution: unresolved; no resolver link, observed 2026-07-13T01:12:51.086972Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a9fe0dad-ebe4-4903-89d3-2afaac9c43f2 · outbound

This paper cites Ranking functions for linear- constraint loops,.

Loop-Based Slicing and Input-Driven Concretization: An Empirical Study of Termination and Non-Termination Analysis Ranking functions for linear- constraint loops,

Reference 13

Resolution: verified exact; doi, observed 2026-07-13T01:19:14.383199Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation a982b715-2069-47d3-9536-bf7babdea530 · outbound

This paper cites Proving non-termination,.

Loop-Based Slicing and Input-Driven Concretization: An Empirical Study of Termination and Non-Termination Analysis Proving non-termination,

Reference 14

Resolution: unresolved; no resolver link, observed 2026-07-13T01:12:51.086972Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a08347ff-fa6c-4570-8cae-7ad5f7bfdea4 · outbound

This paper cites Disproving termination with overapproximation,.

Loop-Based Slicing and Input-Driven Concretization: An Empirical Study of Termination and Non-Termination Analysis Disproving termination with overapproximation,

Reference 15

Resolution: unresolved; no resolver link, observed 2026-07-13T01:12:51.086972Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 49080272-c39f-44c3-b288-79f0bfba6831 · outbound

This paper cites TermCOMP/TPDB: The termination prob- lems data base,.

Loop-Based Slicing and Input-Driven Concretization: An Empirical Study of Termination and Non-Termination Analysis TermCOMP/TPDB: The termination prob- lems data base,

Reference 16

Resolution: unresolved; no resolver link, observed 2026-07-13T01:12:51.086972Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 61083cd4-d05b-40ca-9211-45475242aa0e · outbound

This paper cites SV-Benchmarks: Benchmark suite for software verification,.

Loop-Based Slicing and Input-Driven Concretization: An Empirical Study of Termination and Non-Termination Analysis SV-Benchmarks: Benchmark suite for software verification,

Reference 17

Resolution: unresolved; no resolver link, observed 2026-07-13T01:12:51.086972Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6c99cb67-c61a-4944-ab7b-ef788eccbc32 · outbound

This paper cites Large-scale analysis of non-termination bugs in real-world oss projects,.

Loop-Based Slicing and Input-Driven Concretization: An Empirical Study of Termination and Non-Termination Analysis Large-scale analysis of non-termination bugs in real-world oss projects,

Reference 18

Resolution: unresolved; no resolver link, observed 2026-07-13T01:12:51.086972Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9173102c-554a-45b0-8486-74a6e518ef27 · outbound

This paper cites Proving program termination,.

Loop-Based Slicing and Input-Driven Concretization: An Empirical Study of Termination and Non-Termination Analysis Proving program termination,

Reference 19

Resolution: unresolved; no resolver link, observed 2026-07-13T01:12:51.086972Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5e956605-df79-43b6-82b1-8710524b81dc · outbound

This paper cites Dynamite: dynamic termination and non-termination proofs,.

Loop-Based Slicing and Input-Driven Concretization: An Empirical Study of Termination and Non-Termination Analysis Dynamite: dynamic termination and non-termination proofs,

Reference 20

Resolution: verified exact; doi, observed 2026-07-13T01:19:14.474073Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation 824524b2-302f-4d13-aa9d-b151902bc10b · outbound

This paper cites Fuzznt : Checking for program non-termination,.

Loop-Based Slicing and Input-Driven Concretization: An Empirical Study of Termination and Non-Termination Analysis Fuzznt : Checking for program non-termination,

Reference 21

Resolution: unresolved; no resolver link, observed 2026-07-13T01:12:51.086972Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 462f9d95-1758-4e24-a846-b500ef8d3041 · outbound

This paper cites Endwatch: A practical method for detecting non-termination in real-world software,.

Loop-Based Slicing and Input-Driven Concretization: An Empirical Study of Termination and Non-Termination Analysis Endwatch: A practical method for detecting non-termination in real-world software,

Reference 22

Resolution: unresolved; no resolver link, observed 2026-07-13T01:12:51.086972Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 91df0e11-8dd5-4495-9a8f-d62ec0e9565e · outbound

This paper cites Sound termination and non-termination analysis of c programs with bit-precise bounded semantics and advanced constructs,.

Loop-Based Slicing and Input-Driven Concretization: An Empirical Study of Termination and Non-Termination Analysis Sound termination and non-termination analysis of c programs with bit-precise bounded semantics and advanced constructs,

Reference 23

Resolution: verified exact; doi, observed 2026-07-13T01:19:14.374119Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation 95a1c16f-f422-42d7-8024-ce4e9f6f1f9c · outbound

This paper cites Proton: Probes for termination or not (competition contribution),.

Loop-Based Slicing and Input-Driven Concretization: An Empirical Study of Termination and Non-Termination Analysis Proton: Probes for termination or not (competition contribution),

Reference 24

Resolution: unresolved; no resolver link, observed 2026-07-13T01:12:51.086972Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d5890ae8-3f45-4db9-bd97-212a3fa20d38 · outbound

This paper cites Proton 2.1: Synthesizing ranking functions via fine-tuned locally hosted llm (competition contribution),.

Loop-Based Slicing and Input-Driven Concretization: An Empirical Study of Termination and Non-Termination Analysis Proton 2.1: Synthesizing ranking functions via fine-tuned locally hosted llm (competition contribution),

Reference 25

Resolution: unresolved; no resolver link, observed 2026-07-13T01:12:51.086972Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 18c442c7-aeb7-44ab-8d0a-10a372079cf9 · outbound

This paper cites Termination analysis by learning terminating programs,.

Loop-Based Slicing and Input-Driven Concretization: An Empirical Study of Termination and Non-Termination Analysis Termination analysis by learning terminating programs,

Reference 26

Resolution: unresolved; no resolver link, observed 2026-07-13T01:12:51.086972Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 50f78166-5d3d-4b4f-921e-8216ae5c8d7f · outbound

This paper cites Proving termination of programs automatically with aprove,.

Loop-Based Slicing and Input-Driven Concretization: An Empirical Study of Termination and Non-Termination Analysis Proving termination of programs automatically with aprove,

Reference 27

Resolution: unresolved; no resolver link, observed 2026-07-13T01:12:51.086972Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bc630d5f-2e9c-4e34-849f-87c3d5533e1e · outbound

This paper cites Cpachecker: a tool for configurable software verification,.

Loop-Based Slicing and Input-Driven Concretization: An Empirical Study of Termination and Non-Termination Analysis Cpachecker: a tool for configurable software verification,

Reference 28

Resolution: unresolved; no resolver link, observed 2026-07-13T01:12:51.086972Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5ca64e6c-bc96-484f-9e70-688878a2db36 · outbound

This paper cites 2ls for program analysis,.

Loop-Based Slicing and Input-Driven Concretization: An Empirical Study of Termination and Non-Termination Analysis 2ls for program analysis,

Reference 29

Resolution: unresolved; no resolver link, observed 2026-07-13T01:12:51.086972Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3f8d709e-27a2-4fea-92be-ad897821b8e3 · outbound

This paper cites FSE-2022-Termination (v1.0),.

Loop-Based Slicing and Input-Driven Concretization: An Empirical Study of Termination and Non-Termination Analysis FSE-2022-Termination (v1.0),

Reference 31

Resolution: unresolved; no resolver link, observed 2026-07-13T01:12:51.086972Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 41e59e3a-b3ca-4f75-a07f-9879539a11a4 · outbound

This paper cites Program slicing,.

Loop-Based Slicing and Input-Driven Concretization: An Empirical Study of Termination and Non-Termination Analysis Program slicing,

Reference 32

Resolution: unresolved; no resolver link, observed 2026-07-13T01:12:51.086972Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c61b56cb-d124-42f3-a400-f0d85cad0791 · outbound

This paper cites Dynamic program slicing,.

Loop-Based Slicing and Input-Driven Concretization: An Empirical Study of Termination and Non-Termination Analysis Dynamic program slicing,

Reference 33

Resolution: unresolved; no resolver link, observed 2026-07-13T01:12:51.086972Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bad44332-e707-44b5-a5b8-24c522425bd8 · outbound

This paper cites The codesurfer software understanding platform,.

Loop-Based Slicing and Input-Driven Concretization: An Empirical Study of Termination and Non-Termination Analysis The codesurfer software understanding platform,

Reference 34

Resolution: unresolved; no resolver link, observed 2026-07-13T01:12:51.086972Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cb1e03fe-1b0a-4005-afbb-cf3407cd2852 · outbound

This paper cites Frama-c: a software analysis perspective,.

Loop-Based Slicing and Input-Driven Concretization: An Empirical Study of Termination and Non-Termination Analysis Frama-c: a software analysis perspective,

Reference 35

Resolution: unresolved; no resolver link, observed 2026-07-13T01:12:51.086972Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5d27dc1a-9a88-4bad-bcf2-47018089344a · outbound

This paper cites Dg: Analysis and slicing of llvm bitcode,.

Loop-Based Slicing and Input-Driven Concretization: An Empirical Study of Termination and Non-Termination Analysis Dg: Analysis and slicing of llvm bitcode,

Reference 36

Resolution: unresolved; no resolver link, observed 2026-07-13T01:12:51.086972Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f4bcd3fe-6d98-4408-aab2-347bfd37ae87 · outbound

This paper cites Using likely invariants for automated software fault localization,.

Loop-Based Slicing and Input-Driven Concretization: An Empirical Study of Termination and Non-Termination Analysis Using likely invariants for automated software fault localization,

Reference 37

Resolution: verified exact; arxiv_id, observed 2026-07-13T01:19:14.432626Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation c7f3c770-82d5-4370-85dd-591c7494b201 · outbound

This paper cites Constraint-based relational verification,.

Loop-Based Slicing and Input-Driven Concretization: An Empirical Study of Termination and Non-Termination Analysis Constraint-based relational verification,

Reference 38

Resolution: unresolved; no resolver link, observed 2026-07-13T01:12:51.086972Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 967df9c7-8589-4421-baf8-45b507c9a57d · outbound

This paper cites Decision tree learning in cegis- based termination analysis,.

Loop-Based Slicing and Input-Driven Concretization: An Empirical Study of Termination and Non-Termination Analysis Decision tree learning in cegis- based termination analysis,

Reference 39

Resolution: unresolved; no resolver link, observed 2026-07-13T01:12:51.086972Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7d88d07f-6d80-4990-b999-b7aa0eb38d83 · outbound

This paper cites Modular primal- dual fixpoint logic solving for temporal verification,.

Loop-Based Slicing and Input-Driven Concretization: An Empirical Study of Termination and Non-Termination Analysis Modular primal- dual fixpoint logic solving for temporal verification,

Reference 40

Resolution: unresolved; no resolver link, observed 2026-07-13T01:12:51.086972Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5ff19650-840f-46a1-819c-94c09ecb7ad0 · outbound

This paper cites Ultimate automizer with smtinterpol,.

Loop-Based Slicing and Input-Driven Concretization: An Empirical Study of Termination and Non-Termination Analysis Ultimate automizer with smtinterpol,

Reference 41

Resolution: malformed identifier; no resolver link, observed 2026-07-13T01:12:51.086972Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 434f9d2c-8f90-477e-b283-33497343eabe · outbound

This paper cites Ultimate automizer with two-track proofs,.

Loop-Based Slicing and Input-Driven Concretization: An Empirical Study of Termination and Non-Termination Analysis Ultimate automizer with two-track proofs,

Reference 43

Resolution: unresolved; no resolver link, observed 2026-07-13T01:12:51.086972Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 33f5eba3-656a-46cd-9c0b-96879dd4d6b9 · outbound

This paper cites an unresolved cited work.

Loop-Based Slicing and Input-Driven Concretization: An Empirical Study of Termination and Non-Termination Analysis Unresolved cited work

Reference 44

Resolution: unresolved; no resolver link, observed 2026-07-13T01:12:51.086972Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 41783c4f-c94f-4c24-b36e-cfd9f909d018 · outbound

This paper cites Ultimate automizer and the search for perfect interpolants,.

Loop-Based Slicing and Input-Driven Concretization: An Empirical Study of Termination and Non-Termination Analysis Ultimate automizer and the search for perfect interpolants,

Reference 45

Resolution: unresolved; no resolver link, observed 2026-07-13T01:12:51.086972Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 737c9d77-c3bc-469e-b70b-33282d6c63f6 · outbound

This paper cites Aprove: Proving and disproving termination of memory-manipulating c programs,.

Loop-Based Slicing and Input-Driven Concretization: An Empirical Study of Termination and Non-Termination Analysis Aprove: Proving and disproving termination of memory-manipulating c programs,

Reference 46

Resolution: unresolved; no resolver link, observed 2026-07-13T01:12:51.086972Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2f560b18-f7ab-4987-b7c1-d61be27adf42 · outbound

This paper cites Proving termination of programs with bitvector arithmetic by symbolic execution,.

Loop-Based Slicing and Input-Driven Concretization: An Empirical Study of Termination and Non-Termination Analysis Proving termination of programs with bitvector arithmetic by symbolic execution,

Reference 47

Resolution: unresolved; no resolver link, observed 2026-07-13T01:12:51.086972Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e9674726-1178-4590-8f4f-14d76ac9203e · outbound

This paper cites Aprove: Termination and memory safety of c programs,.

Loop-Based Slicing and Input-Driven Concretization: An Empirical Study of Termination and Non-Termination Analysis Aprove: Termination and memory safety of c programs,

Reference 48

Resolution: unresolved; no resolver link, observed 2026-07-13T01:12:51.086972Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 21a32413-9d19-4ef9-9526-ad3655d51a89 · outbound

This paper cites 2ls: Memory safety and non-termination,.

Loop-Based Slicing and Input-Driven Concretization: An Empirical Study of Termination and Non-Termination Analysis 2ls: Memory safety and non-termination,

Reference 49

Resolution: unresolved; no resolver link, observed 2026-07-13T01:12:51.086972Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fed8cb8a-917c-4752-bdbe-b98059c6bbc6 · outbound

This paper cites Bit-precise procedure-modular termination analysis,.

Loop-Based Slicing and Input-Driven Concretization: An Empirical Study of Termination and Non-Termination Analysis Bit-precise procedure-modular termination analysis,

Reference 50

Resolution: unresolved; no resolver link, observed 2026-07-13T01:12:51.086972Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation efa1135b-e991-45f7-9c67-92ecb5b8d545 · outbound

This paper cites Available: https://doi.org/10.1145/3121136.

Loop-Based Slicing and Input-Driven Concretization: An Empirical Study of Termination and Non-Termination Analysis Available: https://doi.org/10.1145/3121136

Reference 51

Resolution: verified exact; doi, observed 2026-07-13T01:19:14.418560Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation 68f033d0-b2bf-46c5-9510-651278946087 · outbound

This paper cites Synthesising interprocedural bit-precise termination proofs,.

Loop-Based Slicing and Input-Driven Concretization: An Empirical Study of Termination and Non-Termination Analysis Synthesising interprocedural bit-precise termination proofs,

Reference 52

Resolution: verified exact; doi, observed 2026-07-13T01:19:14.362446Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation d75380f8-d2a8-4aea-8447-9314ea20df39 · outbound

This paper cites The LLVM compiler infrastructure project,.

Loop-Based Slicing and Input-Driven Concretization: An Empirical Study of Termination and Non-Termination Analysis The LLVM compiler infrastructure project,

Reference 53

Resolution: unresolved; no resolver link, observed 2026-07-13T01:12:51.086972Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e6be3f7e-5e5d-49e2-8c7d-70d1c6133a7b · outbound

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

Loop-Based Slicing and Input-Driven Concretization: An Empirical Study of Termination and Non-Termination Analysis Klee: unassisted and automatic generation of high-coverage tests for complex systems programs,

Reference 54

Resolution: unresolved; no resolver link, observed 2026-07-13T01:12:51.086972Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3e0bf3fd-b303-4e04-bcf9-14c359db82fc · outbound

This paper cites American fuzzy lop (afl),.

Loop-Based Slicing and Input-Driven Concretization: An Empirical Study of Termination and Non-Termination Analysis American fuzzy lop (afl),

Reference 55

Resolution: unresolved; no resolver link, observed 2026-07-13T01:12:51.086972Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5f6f8213-d143-4288-bf63-45e5208c62cd · outbound

This paper cites ChatGPT (GPT-4o),.

Loop-Based Slicing and Input-Driven Concretization: An Empirical Study of Termination and Non-Termination Analysis ChatGPT (GPT-4o),

Reference 56

Resolution: unresolved; no resolver link, observed 2026-07-13T01:12:51.086972Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Coverage vector

Reference resolution

Outbound references

Pith citing papers