Random testing for higher-order, stateful programs.

Casey Klein Matthew Flatt Robert Bruce Findler

Published in: OOPSLA (2010)

Keyphrases

higher order
symbolic execution
pairwise
natural images
lower order
automatic programming
uniformly distributed
answer sets
test data generation
low order
high order
test cases
markov random field
website
knowledge base
data sets
randomly generated
markov models
software testing
information technology