CCMOP: A Runtime Verification Tool for C/C++ Programs.

Yongchao Xing Zhenbang Chen Shibo Xu Yufeng Zhang

Published in: RV (2023)

Keyphrases

data sets
neural network
model checking
multiscale
software tools
signature verification
free software
database
databases
real world
data mining
information systems
object oriented
analysis tool
symbolic execution