Yong Hun Eom, Brian Demsky. Sinfer: Inferring information flow lattices for checking self-stabilization. In IEEE 24th International Symposium on Software Reliability Engineering, ISSRE 2013, Pasadena, CA, USA, November 4-7, 2013. pages 258-267, IEEE, 2013. [doi]
Abstract is missing.