Concolic Testing of Functional Logic Programs.

Jan Rasmus Tikovsky

Published in: DECLARE (2017)

Keyphrases

logic programs
logic programming
answer sets
answer set programming
fixpoint
stable models
inductive logic programming
partial deduction
prolog programs
background knowledge
computational properties
normal logic programs
logic program updates
monotonicity constraints
loop formulas
recursive programs