Ignacio Casso

According to our database, Ignacio Casso authored at least 5 papers between 2019 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2025

Checkification: A Practical Approach for Testing Static Analysis Truths.

Daniela Ferreiro, Ignacio Casso, José F. Morales, Pedro López-García, Manuel V. Hermenegildo

CoRR, January, 2025

2020

Testing Your (Static Analysis) Truths.

Ignacio Casso, José F. Morales, Pedro López-García, Manuel V. Hermenegildo

Proceedings of the Logic-Based Program Synthesis and Transformation, 2020

2019

Computing Abstract Distances in Logic Programs.

Ignacio Casso, José F. Morales, Pedro López-García, Manuel V. Hermenegildo

CoRR, 2019

An Integrated Approach to Assertion-Based Random Testing in Prolog.

Ignacio Casso, José F. Morales, Pedro López-García, Manuel V. Hermenegildo

Proceedings of the Logic-Based Program Synthesis and Transformation, 2019

Computing Abstract Distances in Logic Programs.

Ignacio Casso, José F. Morales, Pedro López-García, Roberto Giacobazzi, Manuel V. Hermenegildo

Proceedings of the Logic-Based Program Synthesis and Transformation, 2019