TY  - RPRT
TI  - Loop-Based Slicing and Input-Driven Concretization: An Empirical Study of Termination and Non-Termination Analysis
AU  - Negar Fathi
AU  - Rahul Purandare
AU  - Tachio Terauchi
AU  - Hiroshi Unno
PY  - 2026
UR  - https://arxiv.org/abs/2607.08988
ID  - 2607.08988
ER  -