An Empirical Study in Software Verification Tools.

Mengmeng Jiang Xiaohong Li Xiaofei Xie Yao Zhang

Published in: TASE (2020)

Keyphrases

software tools
case study
website
decision trees
probabilistic model
knowledge acquisition
user friendly
design principles