Artifact of Bounded Exhaustive Search of Alloy Specification Repairs | IEEE Conference Publication | IEEE Xplore