Object-oriented program behavior analysis based on control patterns | IEEE Conference Publication | IEEE Xplore