SPIDER: Enabling Fast Patch Propagation In Related Software Repositories. - Aravind Machiry; Nilo Redini; Eric Camellini; Christopher Kruegel; Giovanni Vigna (SP, 2020)