Combined static and dynamic analysis for inferring program dependencies using a pattern languageInbal RonenNurit Doret al.2006CASCON 2006