Analyzing dynamic information with spy and roassal: an experience report | IEEE Conference Publication | IEEE Xplore