High-order object model based software analysis | IEEE Conference Publication | IEEE Xplore