Dynamically Detecting Invariants for Automatic Testing PLC Programs (S).

Zeyu Lu Xia Mao Yanhong Huang Jianqi Shi Yang Yang

Published in: SEKE (2021)

Keyphrases

imperative programs
control system
object oriented
affine invariant
neural network
data driven
semi automatic
symbolic execution
information systems
programming language
low cost
software testing
set of test cases