Improving Design Patterns Finder Precision Using a Model Checking Approach.
Mario Luca Bernardi, Marta Cimitile, Giuseppe De Ruvo, Di Lucca Ga, Antonella Santone · CEUR Workshop Proceedings · 2015
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.