4 papers
Evaluating Text Classification Robustness to Part-of-Speech Adversarial Examples
Anahita Samadi, Allison Sullivan
As machine learning systems become more widely used, especially for safety critical applications, there is a growing need to ensure that these systems behave as intended, even in t…
Structure Editor for Building Software Models
Mohammad Nurullah Patwary, Ana Jovanovic, Allison Sullivan
Alloy is well known a declarative modeling language. A key strength of Alloy is its scenario finding toolset, the Analyzer, which allows users to explore all valid scenarios that a…
Right or Wrong -- Understanding How Novice Users Write Software Models
Ana Jovanovic, Allison Sullivan
Writing declarative models has numerous benefits, ranging from automated reasoning and correction of design-level properties before systems are built, to automated testing and debu…
Live Programming for Finite Model Finders
Allison Sullivan
Finite model finders give users the ability to specify properties of a system in mathematical logic and then automatically find concrete examples, called solutions, that satisfy th…