Javert: fully automatic mining of general temporal properties from dynamic traces
SMArTIC: towards building an accurate, robust and scalable specification miner