Publications

Sophie Fortz, Fred Mesnard, Etienne Payet, Gilles Perrouin, Wim Vanhoof, German Vidal (2020). An SMT-based concolic testing tool for logic programs. In FLOPS 2020.
PDF Cite DOI