Login / Signup
VBSAC: a value-based static analyzer for C.
Chi Li
Min Zhou
Zuxing Gu
Guang Chen
Yuexing Wang
Jiecheng Wu
Ming Gu
Published in:
ISSTA (2019)
Keyphrases
</>
information systems
data acquisition
high level
optimal solution
data analysis
dynamic analysis
machine learning
genetic algorithm
knowledge base
case study
natural language
viewpoint
d objects