Mining API patterns as partial orders from source code: from usage scenarios to specifications