Computing Abstract Distances in Logic Programs. - Ignacio Casso; José F. Morales 001; Pedro López-García 001; Roberto Giacobazzi; Manuel V. Hermenegildo (LOPSTR, 2019)

An Integrated Approach to Assertion-Based Random Testing in Prolog. - Ignacio Casso; José F. Morales 001; Pedro López-García 001; Manuel V. Hermenegildo (LOPSTR, 2019)

Computing Abstract Distances in Logic Programs. - Ignacio Casso; José F. Morales 001; Pedro López-García 001; Manuel V. Hermenegildo (CoRR, 2019)

Testing Your (Static Analysis) Truths. - Ignacio Casso; José F. Morales 001; Pedro López-García 001; Manuel V. Hermenegildo (LOPSTR, 2020)

Checkification: A Practical Approach for Testing Static Analysis Truths. - Daniela Ferreiro; Ignacio Casso; José F. Morales 001; Pedro López-García 001; Manuel V. Hermenegildo (CoRR, 2025)