Test generation for higher-order functions in dynamic languages.

Marija Selakovic Michael Pradel Rezwana Karim Frank Tip

Published in: Proc. ACM Program. Lang. (2018)

Keyphrases

test generation
higher order
test sequences
pairwise
test cases
symbolic execution
high order
quality assurance
markov random field
design automation
databases
decision trees
expressive power
quality control
static analysis