On the Completeness of Selective Unification in Concolic Testing of Logic Programs.

Fred Mesnard, tienne Payet, Germn Vidal

Browse the full LOPSTR paper archive.