Lazaro Clapp, Saswat Anand, Alex Aiken. Modelgen: mining explicit information flow specifications from concrete executions. In Michal Young, Tao Xie, editors, Proceedings of the 2015 International Symposium on Software Testing and Analysis, ISSTA 2015, Baltimore, MD, USA, July 12-17, 2015. pages 129-140, ACM, 2015. [doi]
Abstract is missing.