Spying on components: A runtime verification technique (2001)

by M Barnett, W Schulte
Venue:In Proc. of OOPSLA 2001 Workshop on Specification and Verification of Component-based Systems