Synthesizing contracts correct modulo a test generator. - Angello Astorga; Shambwaditya Saha; Ahmad Dinkins; Felicia Wang; P. Madhusudan; Tao Xie 001 (Proc. ACM Program. Lang., 2021)