Integrating Model Driven and Model Checking to Mine Design Patterns.

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

Browse the full ICSoft paper archive.