Verification support for plug-and-play architectural design.

Shangzhu Wang, George S. Avrunin, Lori A. Clarke

Browse the full ISSTA paper archive.