Continuous code-quality assurance with SAFEEmmanuel GeayEran Yahavet al.2006PEPM 2006Conference paper