Sound and Complete Concolic Testing for Higher-order Functions.

Shu-Hung You Robert Bruce Findler Christos Dimoulas

Published in: ESOP (2021)

Keyphrases

higher order
high order
pairwise
markov random field
natural images
database
conditional random fields
data sets
low order
multiscale
object recognition
logic programs
test cases