Zhihong Zeng, Maciej J. Ciesielski, Bruno Rouzeyre. Functional Test Generation using Constraint Logic Programming. In Michel Robert, Bruno Rouzeyre, Christian Piguet, Marie-Lise Flottes, editors, SOC Design Methodologies, IFIP TC10/WG10.5 Eleventh International Conference on Very Large Scale Integration of Systems-on/Chip (VLSI-SOC 01), December 3-5, 2001, Montpellier, France. Volume 218 of IFIP Conference Proceedings, pages 375-387, Kluwer, 2001.
Abstract is missing.