Ignacio Casso

According to our database, Ignacio Casso authored at least 4 papers between 2019 and 2020.

Collaborative distances:

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

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