Login / Signup
SADT: Syntax-Aware Differential Testing of Certificate Validation in SSL/TLS Implementations.
Lili Quan
Qianyu Guo
Hongxu Chen
Xiaofei Xie
Xiaohong Li
Yang Liu
Jing Hu
Published in:
ASE (2020)
Keyphrases
</>
semi supervised learning
test cases
parameter estimation
efficient implementation
concurrent programs
database
context free grammars
social networks
relational databases
semi supervised
expectation maximization
test set
predicate calculus
precisely defined