Javert: fully automatic mining of general temporal properties from dynamic traces (2008)

by M Gabel, Z Su
Venue:In FSE