Testing Your (Static Analysis) Truths

von Casso, Ignacio
Veröffentlicht in LOPSTR (30. : 2020 : Online) Logic-based program synthesis and transformation (2021)

An Integrated Approach to Assertion-Based Random Testing in Prolog

von Casso, Ignacio
Veröffentlicht in LOPSTR (29. : 2019 : Porto, Portugal) Logic-based program synthesis and transformation (2020)

Computing Abstract Distances in Logic Programs

von Casso, Ignacio
Veröffentlicht in LOPSTR (29. : 2019 : Porto, Portugal) Logic-based program synthesis and transformation (2020)