An SMT-Based Concolic Testing Tool for Logic Programs

1 code implementation • 17 Feb 2020 • Sophie Fortz, Fred Mesnard, Etienne Payet, Gilles Perrouin, Wim Vanhoof, German Vidal

Concolic testing mixes symbolic and concrete execution to generate test cases covering paths effectively.

Logic in Computer Science

Proceedings 35th International Conference on Logic Programming (Technical Communications)

no code implementations • 17 Sep 2019 • Bart Bogaerts, Esra Erdem, Paul Fodor, Andrea Formisano, Giovambattista Ianni, Daniela Inclezan, German Vidal, Alicia Villanueva, Marina De Vos, Fangkai Yang

Since the first conference held in Marseille in 1982, ICLP has been the premier international event for presenting research in logic programming.

Automated Theorem Proving Data Integration +2

Introduction to the 35th International Conference on Logic Programming Special Issue

no code implementations • 10 Aug 2019 • Esra Erdem, Andrea Formisano, German Vidal, Fangkai Yang

We are proud to introduce this special issue of Theory and Practice of Logic Programming (TPLP), dedicated to the regular papers accepted for the 35th International Conference on Logic Programming (ICLP).