A Model Checking Based Approach for Containment Checking of UML Sequence Diagrams.

Faiz Ul Muram, Huy Tran, Uwe Zdun

Browse the full APSEC paper archive.