AlloyASG: Alloy Predicate Code Representation as a Compact Structurally Balanced Graph.

Guanxuan Wu, Allison Sullivan

Browse the full MODELS paper archive.