Efficient Machine-Code Test-Program Induction

Created by W.Langdon from gp-bibliography.bib Revision:1.3872

@InProceedings{corno:2002:emctpi,
  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, genetic algorithms,
                 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.",
}

Genetic Programming entries for Fulvio Corno Gianluca Cumani Matteo Sonza Reorda Giovanni Squillero

Citations