Dynamic program behavior model based on layered dependencies | IEEE Conference Publication | IEEE Xplore