Login / Signup
Towards Efficient Data-Flow Test Data Generation.
Ting Su
Chengyu Zhang
Yichen Yan
Lingling Fan
Yang Liu
Zhoulai Fu
Zhendong Su
Published in:
Theories of Programming and Formal Methods (2023)
Keyphrases
</>
data flow
test data generation
database machine
symbolic execution
control flow
data transfer
digital signal processing
object oriented software
database
evolutionary algorithm
test cases
software testing
systolic array
object oriented
database management systems
simulated annealing algorithm