Tailoring Programs to Models of Program Behavior | IBM Journals & Magazine | IEEE Xplore