Debugging data flows in reactive programs. - Herman Banken; Erik Meijer 001; Georgios Gousios (ICSE, 2018)