scientific article; zbMATH DE number 1703873

MaRDI QIDQ2770525zbMATH OpenFDO

Authors Fulvio Corno, Gianluca Cumani, Matteo Sonza Reorda, Giovanni Squillero

Publication date 13 February 2002

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2037/20370298

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Computing methodologies and applications (68U99)

Recommendations

• High-level test synthesis: a survey
• Test generation of the digital circuits based on the genetic algorithms
• scientific article; zbMATH DE number 1962881
• Functional Level Primitives in Test Generation
• scientific article; zbMATH DE number 1751921

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2770525)