Login / Signup

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