Login / Signup
Automated Testing of Definition-Use Data Flow for Multithreaded Programs.
Xiaodong Zhang
Zijiang Yang
Qinghua Zheng
Pei Liu
Jialiang Chang
Yu Hao
Ting Liu
Published in:
ICST (2017)
Keyphrases
</>
data flow
symbolic execution
control flow
object oriented software
database machine
software testing
search based testing
data transfer
semi automated
digital signal processing
computer programs
test cases
systolic array
bottle neck
regression testing
static analysis
linear hashing
parallel processing