TY - SER AU - Lian, Lin [y otros] TI - A new fault localizing method for the program debugging process KW - DEBUGGING KW - PROGRAM SLICING KW - DESIGN SPECIFICATION ER -