| 2003 | FDL | LAERTE++: an Object Oriented High-level TPG for SystemC Designs. | Alessandro Fin, Franco Fummi |
| 2002 | GECCO | Functional Test Generation For Digital Integrated Circuits Using A Genetic Algorithm. | Xiaoming Yu, Alessandro Fin, Franco Fummi, Elizabeth M. Rudnick |
| 2002 | ISCAS | A fault tolerant incremental design methodology. | S. Cailotto, Alessandro Fin, Franco Fummi |
| 2002 | ICTAI | A Genetic Testing Framework for Digital Integrated Circuits. | Xiaoming Yu, Alessandro Fin, Franco Fummi, Elizabeth M. Rudnick |
| 2001 | DATE | Functional test generation for behaviorally sequential models. | Fabrizio Ferrandi, G. Ferrara, Donatella Sciuto, Alessandro Fin, Franco Fummi |
| 2001 | ITC | AMLETO: a multi-language environment for functional test generation. | Alessandro Fin, Franco Fummi, Graziano Pravadelli |
| 2000 | DAC | A Web-CAD methodology for IP-core analysis and simulation. | Alessandro Fin, Franco Fummi |
| 2000 | DATE | A VHDL Error Simulator for Functional Test Generation. | Alessandro Fin, Franco Fummi |
| 2000 | ICCD | An Application of Genetic Algorithms and BDDs to Functional Testing. | Fabrizio Ferrandi, Donatella Sciuto, Alessandro Fin, Franco Fummi |