Spike - A code editor plugin highlighting fine-grained changes. - Ronald Escobar; Juan Pablo Sandoval Alcocer; Hagen Tarner; Fabian Beck 001; Alexandre Bergel (VISSOFT, 2022)