Surgical Information to Detect Design Problems with MOOSE. - Muhammad Usam Bhatti; Stéphane Ducasse (FAMOOSr@TOOLS, 2007)