Towards Efficient Data-flow Test Data Generation.

Ting Su Chengyu Zhang Yichen Yan Lingling Fan Geguang Pu Yang Liu Zhoulai Fu Zhendong Su

Published in: CoRR (2018)

Keyphrases

data flow
test data generation
symbolic execution
database machine
control flow
simulated annealing algorithm
digital signal processing
object oriented software
search based testing
data sets
database
global optimization
systolic array