Recovering High-Level Views of Object-Oriented Applications from Static and Dynamic Information