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

by M Gabel, Z Su
Venue:in Proceedings of International Symposium on the Foundations of Software Engineering, FSE-16