Sciweavers

CAISE
2015
Springer

Improving Design Patterns Finder Precision Using a Model Checking Approach

7 years 11 months ago
Improving Design Patterns Finder Precision Using a Model Checking Approach
In this paper we propose an approach exploiting the model checking technique to automatically refine the results produced by a Design Patterns mining tool called Design Pattern Finder (DPF) to improve the precision of its results by verifying the detected DPs automatically. To assess the feasibility of the proposed approach along with its effectiveness, we have applied it to an open source Object Oriented system with good results in improving the precision of the detected DPs. Key words: Software Engineering, Design Patterns, Model Checking, Formal Methods, Models, Mining
Mario Luca Bernardi, Marta Cimitile, Giuseppe De R
Added 17 Apr 2016
Updated 17 Apr 2016
Type Journal
Year 2015
Where CAISE
Authors Mario Luca Bernardi, Marta Cimitile, Giuseppe De Ruvo, Giuseppe A. Di Lucca, Antonella Santone
Comments (0)