White-Box Path Generation in Recursive Programs.

Ricardo Peña Jaime Sánchez-Hernández

Published in: TFP (2020)

Keyphrases

white box
recursive programs
black box
program synthesis
logic programs
test data
transformation rules
data driven
source code
training samples
training data
high dimensional
open source
test cases