Mining Semantic Loop Idioms from Big Code
Mining API patterns as partial orders from source code: from usage scenarios to specifications