Analyzing dynamic information with spy and roassal: an experience report. - Alison Fernandez; Diego Gabriel Nuñez Duran; Alejandro Infante; Alexandre Bergel (SWAN@SANER, 2015)