Sign in

Finding Specification Blind Spots via Fuzz Testing.

Ru JiMeng Xu
Published in: SP (2023)
Keyphrases
  • high level
  • test case generation
  • machine learning
  • computer vision
  • expert systems
  • formal verification
  • neural network
  • similarity measure
  • data model
  • test cases
  • formal methods
  • method finds
  • tool suite