12 citations · 31 across the 17 of their papers we have counts for
5 papers · 1 filter
Concolic Testing in CLP
Fred Mesnard, Etienne Payet, German Vidal
Concolic testing is a popular software verification technique based on a combination of concrete and symbolic execution. Its main focus is finding bugs and generating test cases wi…
An SMT-Based Concolic Testing Tool for Logic Programs
Sophie Fortz, Fred Mesnard, Etienne Payet +3
Concolic testing mixes symbolic and concrete execution to generate test cases covering paths effectively. Its benefits have been demonstrated for more than 15 years to test imperat…
Introduction to the 35th International Conference on Logic Programming Special Issue
Esra Erdem, Andrea Formisano, German Vidal +1
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 L…
Proceedings 5th Workshop on Horn Clauses for Verification and Synthesis
Temesghen Kahsai, German Vidal
Many Program Verification and Synthesis problems of interest can be modeled directly using Horn clauses and many recent advances in the CLP and CAV communities have centered around…
On the Completeness of Selective Unification in Concolic Testing of Logic Programs
Fred Mesnard, Etienne Payet, German Vidal
Concolic testing is a popular dynamic validation technique that can be used for both model checking and automatic test case generation. We have recently introduced concolic testing…