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.

Learning to Optimize the Alloy Analyzer

Wenxi Wang, Kaiyuan Wang, Mengshi Zhang, Sarfraz Khurshid. Learning to Optimize the Alloy Analyzer. In 12th IEEE Conference on Software Testing, Validation and Verification, ICST 2019, Xi'an, China, April 22-27, 2019. pages 228-239, IEEE, 2019. [doi]

Authors

Wenxi Wang

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

Kaiyuan Wang

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

Mengshi Zhang

This author has not been identified. Look up 'Mengshi Zhang' in Google

Sarfraz Khurshid

This author has not been identified. Look up 'Sarfraz Khurshid' in Google
runs on