TY  - RPRT
TI  - Checkification: A Practical Approach for Testing Static Analysis Truths
AU  - Daniela Ferreiro
AU  - Ignacio Casso
AU  - Jose F. Morales
AU  - Pedro López-García
AU  - Manuel V. Hermenegildo
PY  - 2025
UR  - https://arxiv.org/abs/2501.12093
ID  - 2501.12093
ER  -