A property-based verification approach in aspect-oriented modeling.

Eunjee Song, Hanil Kim, Wuliang Sun

Browse the full SAC paper archive.