Specification mining of symbolic scenario-based models

David Lo, Shahar Maoz
2008 Proceedings of the 8th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering - PASTE '08  
Many dynamic analysis approaches to specification mining that extract behavioral models from execution traces, do not consider object identities which limit their power when used to analyze traces of general object oriented programs. In this work we present a novel specification mining approach that considers object identities, and, moreover, generalizes from specifications involving concrete objects to their symbolic class-level abstractions. Our approach uses data mining methods to extract
more » ... nificant scenariobased specifications in the form of Damm and Harel's live sequence charts (LSC), a formal and expressive extension of classic sequence diagrams. We guarantee that all mined symbolic LSCs are significant (statistically sound) and all significant symbolic LSCs are mined (statistically complete). The technique can potentially be applied to general object oriented programs to reveal expressive and useful reverse-engineered candidate specifications.
doi:10.1145/1512475.1512482 dblp:conf/paste/LoM08 fatcat:sxar6eplhfap3hxbfze3kcbbla