Browsing by Author "Khan, Tanvir Ahmed"
Now showing items 1-1 of 1
-
AlloyFL: A Fault Localization Framework for Alloy
Khan, Tanvir Ahmed; Wang, Kaiyun; Sullivan, Allison (ACM, 2021-08-23)Declarative models help improve the reliability of software systems: models can be used to convey requirements, analyze system designs and verify implementation properties. Alloy is a commonly used modeling language. A ...