- author = "F. Corno and G. Cumani and M. {Sonza Reorda} and G. Squillero",
- title = "Efficient Machine-Code Test-Program Induction",
- booktitle = "Proceedings of the 2002 Congress on Evolutionary Computation CEC2002",
- year = "2002",
- editor = "David B. Fogel and Mohamed A. El-Sharkawi and Xin Yao and Garry Greenwood and Hitoshi Iba and Paul Marrow and Mark Shackleton",
- pages = "1486--1491",
- address = "Honolulu, Hawaii, USA",
- publisher_address = "445 Hoes Lane, P.O. Box 1331, Piscataway, NJ 08855-1331, USA",
- month = "12-17 " # may,
- organisation = "IEEE Neural Network Council (NNC), Institution of Electrical Engineers (IEE), Evolutionary Programming Society (EPS)",
- publisher = "IEEE Press",
- keywords = "genetic algorithms, genetic programming, DAG, ATPG, Approximate Methods, Evolutionary Algorithms, Micro-Processors, Simulation-Based Approaches, SPARC processor, assembly-level semantics, conventions, database, device testing, directed acyclic graphs, evaluation speed, formalisms, genetic programming, graph nodes, instruction sets, integrated circuit manufacturing industries, machine-code test-program induction, macro library, microprocessors, registers, source-code programs, system on chip, target processor, test function, automatic test software, computer testing, directed graphs, instruction sets, integrated circuit manufacture, integrated circuit testing, macros, microprocessor chips, microprogramming, software libraries",
- ISBN = "0-7803-7278-6",
-
URL = "
http://www.cad.polito.it/pap/db/cec2002.pdf",
-
URL = "
http://citeseer.ist.psu.edu/502344.html",
-
DOI = "
doi:10.1109/CEC.2002.1004462",
- size = "6 pages",
- abstract = "Technology advances allow integrating on a single chip entire system, including memories and peripherals. The test of these devices is becoming a major issue for manufacturing industries. This paper presents a methodology for inducing test-programs similar to genetic programming. However, it includes the ability to explicitly specify registers and resorts to directed acyclic graphs instead of trees. Moreover, it exploits a database containing the assembly-level semantic associated to each graph node. This approach is extremely efficient and versatile: candidate solutions are translated into source-code programs allowing millions of evaluations per second. The proposed approach is extremely versatile: the macro library allows easily changing target processor and environment. The approach was verified on three processors with different instruction sets, different formalisms and different conventions. A complete set of experiments on a test function are also reported for the SPARC processor.",
-
notes = "CEC 2002 - A joint meeting of the IEEE, the
Evolutionary Programming Society, and the IEE. Held in
connection with the World Congress on Computational
Intelligence (WCCI 2002)
Also known as \cite{Corno:2002:EMTI} \cite{squillero:2005:GPEM} says corno:2002:emctpi uses straightforward mu+lambda evolution.",
