Sign in

Modelgen: mining explicit information flow specifications from concrete executions.

Lazaro ClappSaswat AnandAlex Aiken
Published in: ISSTA (2015)
Keyphrases