External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Synthesizing contracts correct modulo a test generator

Angello Astorga, Shambwaditya Saha, Ahmad Dinkins, Felicia Wang, P. Madhusudan, Tao Xie 0001. Synthesizing contracts correct modulo a test generator. Proceedings of the ACM on Programming Languages, 5(OOPSLA):1-27, 2021. [doi]

Authors

Angello Astorga

This author has not been identified. Look up 'Angello Astorga' in Google

Shambwaditya Saha

This author has not been identified. Look up 'Shambwaditya Saha' in Google

Ahmad Dinkins

This author has not been identified. Look up 'Ahmad Dinkins' in Google

Felicia Wang

This author has not been identified. Look up 'Felicia Wang' in Google

P. Madhusudan

This author has not been identified. Look up 'P. Madhusudan' in Google

Tao Xie 0001

This author has not been identified. Look up 'Tao Xie 0001' in Google
runs on