Giuliano Antoniol Gerardo Canfora Andrea De Lucia Gerardo Casazza Ettore Merlo Tracing Object-Oriented Code into Functional Requirements. 79-86 2000 conf/iwpc/2000 IWPC http://computer.org/proceedings/iwpc/0656/06560079abs.htm db/conf/iwpc/iwpc2000.html#AntoniolCLCM00