Formalization and Consistency Checking of Changes of Software System Configurations Using Alloy.

Hiroaki Tanizaki, Takuya Katayama

Browse the full APSEC paper archive.