Data Flow Testing for PLC Programs via Dynamic Symbolic Execution.

Weigang He Xia Mao Ting Su Yanhong Huang Jianqi Shi

Published in: APSEC (2021)

Keyphrases

symbolic execution
data flow
database machine
control flow
digital signal processing
object oriented software
static analysis
test data generation
object oriented
specification language
source code
test generation
systolic array
artificial intelligence
general purpose
case study
neural network