Sign in
Improve Model Testing by Integrating Bounded Model Checking and Coverage Guided Fuzzing.
Yixiao Yang
Published in:
CoRR (2022)
Keyphrases
</>
management system
formal model
computational model
similarity measure
cost function
em algorithm
theoretical analysis
parameter estimation