Incremental Analysis of Evolving Alloy Models.

Wenxi Wang, Kaiyuan Wang, Milos Gligoric, Sarfraz Khurshid

Browse the full TACAS paper archive.