Javert: fully automatic mining of general temporal properties from dynamic traces
Mining API patterns as partial orders from source code: from usage scenarios to specifications