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]

Abstract

Abstract is missing.