Towards Automated Boundary Value Testing with Program Derivatives and Search.

Robert Feldt Felix Dobslaw

Published in: SSBSE (2019)

Keyphrases

test cases
search space
search algorithm
search efficiency
search strategy
search methods
symbolic execution
monte carlo search
exhaustive search
higher order
fully automated
search problems
multiscale
program execution
intelligent search
neural network
real time