David Lo, Shahar Maoz. Specification mining of symbolic scenario-based models. In Shriram Krishnamurthi, Michal Young, editors, Proceedings of the 8th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, PASTE 08, Atlanta, Georgia, November 9-10, 2008. pages 29-35, ACM, 2008. [doi]
Abstract is missing.