Fabrizio Ferrandi, G. Ferrara, Donatella Sciuto, Alessandro Fin, Franco Fummi
Functional test generation for behaviorally sequential models
DATE, 2001.
@inproceedings{DATE-2001-FerrandiFSFF,
author = "Fabrizio Ferrandi and G. Ferrara and Donatella Sciuto and Alessandro Fin and Franco Fummi",
booktitle = "{Proceedings of the Sixth Conference on Design, Automation and Test in Europe}",
doi = "10.1145/367072.367293",
isbn = "0-7695-0993-2",
pages = "403--410",
publisher = "{ACM}",
title = "{Functional test generation for behaviorally sequential models}",
year = 2001,
}