1. Concolic testing in logic programming*. Issue 4 (3rd September 2015) Authors: MESNARD, FRED; PAYET, ÉTIENNE; VIDAL, GERMÁN Editors: Eiter, Thomas; Toni, Francesca Journal: Theory and practice of logic programming Issue: Volume 15:Issue 4/5(2015) Page Start: 711 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗