Mark Gabel, Zhendong Su. Javert: fully automatic mining of general temporal properties from dynamic traces. In Mary Jean Harrold, Gail C. Murphy, editors, Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2008, Atlanta, Georgia, USA, November 9-14, 2008. pages 339-349, ACM, 2008. [doi]
Abstract is missing.