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