C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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