Login / Signup

Improving Test Coverage of Formal Verification Systems via Beam Search.

Mahmoud A. BokhariMarkus Wagner
Published in: GECCO (Companion) (2015)
Keyphrases
  • formal verification
  • beam search
  • automated verification
  • model checking
  • genetic algorithm
  • search algorithm
  • assembly line
  • neural network
  • bounded model checking