Login / Signup

Mutation Testing Based Evaluation of Formal Verification Tools.

A. Chakrapani RaoA. RaoufGunwant DhadyallaV. Pasupuleti
Published in: DSA (2017)
Keyphrases
  • formal verification
  • model checking
  • mutation testing
  • automated verification
  • symbolic model checking
  • model checker
  • artificial intelligence
  • open source
  • temporal logic
  • bounded model checking
  • back end