Improving Design Patterns Finder Precision Using a Model Checking Approach.

Mario Luca Bernardi, Marta Cimitile, Giuseppe De Ruvo, Giuseppe A. Di Lucca, Antonella Santone

Browse the full CaiSE paper archive.