A Tool Framework for Static and Dynamic Analysis of Object-Oriented Software with Templates | IEEE Conference Publication | IEEE Xplore