Browsing by Author "Jovanovic, Ana"

Now showing items 1-1 of 1

    • Towards automated input generation for sketching alloy models 

      Jovanovic, Ana; Sullivan, Allison (ACM, 2022-07-21)
      Writing declarative models has numerous benefits, ranging from automated reasoning and correction of design-level properties before systems are built, to automated testing and debugging of their implementations after they ...