Extending specification patterns for verification of parametric traces.

Yoann Blein, Yves Ledru, Lydie du Bousquet, Roland Groz

Browse the full ICSE paper archive.