Major challenges of dynamic analysis approaches to specification mining include scalability over long traces as well as comprehensibility and expressivity of results. We present a novel use of object hierarchies over inter-object traces as an abstraction/refinement mechanism enabling scalable, incremental, top-down mining of scenario-based specifications.
|Number of pages||2|
|State||Published - 2008|
|Event||23rd ACM SIGPLAN Conference on Object Oriented Programming Systems Languages and Applications,OOPSLA 2008 - Nashville, TN, United States|
Duration: 19 Oct 2008 → 23 Oct 2008
|Conference||23rd ACM SIGPLAN Conference on Object Oriented Programming Systems Languages and Applications,OOPSLA 2008|
|Period||19/10/08 → 23/10/08|