MAPO: Mining and recommending API usage patterns
Mining Temporal Specifications for Error Detection