Login / Signup

Synthesizing contracts correct modulo a test generator.

Angello AstorgaShambwaditya SahaAhmad DinkinsFelicia WangP. MadhusudanTao Xie
Published in: Proc. ACM Program. Lang. (2021)
Keyphrases
  • test data
  • test cases
  • computer vision
  • face recognition
  • support vector
  • preprocessing