CLIP Group's Publications in 2025
Articles in Refereed Journals:
- Daniela Ferreiro, Ignacio Casso, Pedro Lopez-Garcia, José F. Morales, Manuel V. Hermenegildo.
Checkification: A Practical Approach for Testing Static Analysis Truths.
Theory and Practice of Logic Programming,
To Appear, Cambridge U. Press,
May
2025.
Technical Reports and Manuals:
- Daniela Ferreiro, Ignacio Casso, Pedro Lopez-Garcia, José F. Morales, Manuel V. Hermenegildo.
Checkification: A Practical Approach for Testing Static Analysis Truths.
Num. CLIP-1/2025.0,
IMDEA Software Institute and Technical University of Madrid (UPM),
January
2025.
arXiv 2501.12093.
Last updated on Fri Jul 18 04:19:47 AM CEST 2025