Automatic model generation from documentation for Java API functions
Inferring method specifications from natural language API descriptions