Title: Alloy Extensions

Abstract: 

Alloy is a popular textual modeling language based on
relational first-order logic. We review recent work by Nelson et al.
(ICSE'13) on exploring Alloy models through minimality and suggest
related extensions of Alloy for principled exploration and coverage.