Stem modelgen$ (all stems)
1 papers:
ISSTA-2015-ClappAA #data flow #mining #named #specification- Modelgen: mining explicit information flow specifications from concrete executions (LC, SA, AA), pp. 129–140.
ISSTA-2015-ClappAA #data flow #mining #named #specification