Browsing by Subject "Alloy, Fault localization, Declarative programming"

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 ...