Effective typestate verification in the presence of aliasingStephen J. FinkEran Yahavet al.2008ACM TOSEMPaper
Effective typestate verification in the presence of aliasingStephen FinkEran Yahavet al.2006ISSTA 2006Conference paper
Combined static and dynamic analysis for inferring program dependencies using a pattern languageInbal RonenNurit Doret al.2006CASCON 2006Conference paper
CSSV: Towards a realistic tool for statically detecting all buffer overflows in CNurit DorMichael Rodehet al.2003PLDI 2003Conference paper