Functional test generation for behaviorally sequential models.

Fabrizio Ferrandi, G. Ferrara, Donatella Sciuto, Alessandro Fin, Franco Fummi

Browse the full DATE paper archive.