Towards Automated Boundary Value Testing with Program Derivatives and Search.

Robert Feldt Felix Dobslaw

Published in: CoRR (2019)

Keyphrases

search algorithm
search based software testing
symbolic execution
test cases
search strategy
test data generation
intelligent search
neural network
higher order
fully automated
search efficiency
search strategies
search space
search procedure
semi automated
information seeking
data sets
databases