Combining symbolic and genetic techniques for efficient sequential circuit test generation. - Marco Boschini; Xiaoming Yu; Franco Fummi; Elizabeth M. Rudnick (ETW, 2000)

Concrete Impact of Formal Verification on Quality in IP Design and Implementation. - Umberto Rossi; Andrea Fedeli; Marco Boschini; Franco Toto (ISQED, 2001)

Sequential Circuit Test Generation Using a Symbolic/Genetic Hybrid Approach. - Franco Fummi; Marco Boschini; Xiaoming Yu; Elizabeth M. Rudnick (J. Electron. Test., 2001)