6 citations · 9 across the 3 of their papers we have counts for
3 papers
cs.LO2019★ 3 cited
Proceedings 35th International Conference on Logic Programming (Technical Communications)
Bart Bogaerts, Esra Erdem, Paul Fodor +7
Since the first conference held in Marseille in 1982, ICLP has been the premier international event for presenting research in logic programming. Contributions are sought in all ar…
cs.PL2015★ 6 cited
Concolic Testing in Logic Programming
Fred Mesnard, Étienne Payet, Germán Vidal
Software testing is one of the most popular validation techniques in the software industry. Surprisingly, we can only find a few approaches to testing in the context of logic progr…
cs.PL2006
Forward slicing of functional logic programs by partial evaluation
Josep Silva, Germán Vidal
Program slicing has been mainly studied in the context of imperative languages, where it has been applied to a wide variety of software engineering tasks, like program understandin…