Sign in

Property-Based Testing: Climbing the Stairway to Verification.

Zilin ChenChristine RizkallahLiam O'ConnorPartha SusarlaGerwin KleinGernot HeiserGabriele Keller
Published in: SLE (2022)
Keyphrases
  • test generation
  • formal verification
  • symbolic execution
  • test cases
  • model checking
  • test set
  • formal methods
  • database
  • neural network
  • image sequences
  • formal analysis
  • signature verification