Modelgen: mining explicit information flow specifications from concrete executions.

Lazaro Clapp, Saswat Anand, Alex Aiken

Browse the full ISSTA paper archive.