Model Checking to Improve Precision of Design Pattern Instances Identification in OO Systems.

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

Browse the full ICSoft paper archive.