SAMtool, a tool for deducing and implementing loop patterns. - José Luis Fernández-Alemán; Youssef Oufaska (ITiCSE, 2010)