Adetoye, A.; Papanikolaou, N. Static Analysis of Information Release in Interactive Programs. ECEASST 2011, 35.