Object-oriented frameworks are designed to provide functionality common to a variety of applications. Developers use these frameworks in building their
own specialized applications, often without having the source code of the original framework. Unfortunately, the interactions
between the framework components and the new application code can lead to behaviors that could not be predicted even if valid
black-box specifications were provided for the framework components. What is needed are grey-box specifications that include information about sequences of method calls made by the original framework code. Our focus is
on how to test frameworks against such specifications, which requires the ability to monitor such method calls made by the
framework during testing. The problem is that without the source code of the framework, we cannot resort to code instrumentation
to track these calls. We develop an approach that allows us to do this, and demonstrate it on a simple case study.