A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2010; you can also visit the original URL.
The file type is application/pdf
.
Specification mining of symbolic scenario-based models
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
doi:10.1145/1512475.1512482
dblp:conf/paste/LoM08
fatcat:sxar6eplhfap3hxbfze3kcbbla