Model-Checking Plus Testing: From Software Architecture Analysis to Code Testing.

Antonio Bucchiarone, Henry Muccini, Patrizio Pelliccione, Pierluigi Pierini

Browse the full FORTE paper archive.