Login / Signup

Generating Counterexamples in the form of Unit Tests from Hoare-style Verification Attempts.

Amirfarhad NilizadehMarlon CalvoGary T. LeavensDavid R. Cok
Published in: FormaliSE@ICSE (2022)
Keyphrases
  • databases
  • test cases
  • neural network
  • data mining
  • face recognition
  • test generation