Alcoa: the alloy constraint analyzer.

Daniel Jackson, Ian Schechter, Ilya Shlyakhter

Browse the full ICSE paper archive.