Feedback-Based Coverage Directed Test Generation: An Industrial Evaluation

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

@InProceedings{Ioannides:2010:HVC,
  author =       "Charalambos Ioannides and Geoff Barrett and 
                 Kerstin I. Eder",
  title =        "Feedback-Based Coverage Directed Test Generation: An
                 Industrial Evaluation",
  booktitle =    "Hardware and Software: Verification and Testing",
  year =         "2010",
  editor =       "Sharon Barner and Ian Harris and Daniel Kroening and 
                 Orna Raz",
  volume =       "6504",
  series =       "Lecture Notes in Computer Science",
  pages =        "112--128",
  address =      "Haifa, Israel",
  month =        "4-7 " # oct,
  publisher =    "Springer",
  keywords =     "genetic algorithms, genetic programming, SBSE,
                 microprocessor verification, MicroGP, coverage directed
                 test generation",
  isbn13 =       "978-3-642-19582-2",
  URL =          "http://hdl.handle.net/1983/1740",
  DOI =          "doi:10.1007/978-3-642-19583-9_13",
  size =         "17 pages",
  abstract =     "Although there are quite a few approaches to Coverage
                 Directed test Generation aided by Machine Learning
                 which have been applied successfully to small and
                 medium size digital designs, it is not clear how they
                 would scale on more elaborate industrial-level designs.
                 This paper evaluates one of these techniques, called
                 MicroGP, on a fully fledged industrial design. The
                 results indicate relative success evidenced by a good
                 level of code coverage achieved with reasonably compact
                 tests when compared to traditional test generation
                 approaches. However, there is scope for improvement
                 especially with respect to the diversity of the tests
                 evolved.",
  notes =        "FirePath, FireDrill, DSC, ASC, BIRTH p126 'MicroGP has
                 proven to be a tool that can effectively guide a test
                 generator such as FireDrill in producing compact single
                 tests that achieve near optimal coverage.'

                 Published 2011",
  affiliation =  "Industrial Doctorate Centre in Systems, University of
                 Bristol, Queen's Building, University Walk, Bristol,
                 BS8 1TR UK",
  bibsource =    "OAI-PMH server at rose.bris.ac.uk",
  contributor =  "Sharon Barner and Ian Harris and Daniel Kroening and
                 Orna Raz and Israel IBM Research Labs",
  description =  "Author's own version of a paper published by Springer.
                 The original publication is available at
                 www.springerlink.com; EPSRC",
  identifier =   "9783642195822 (print), 9783642195839 (online);
                 03029743 (print), 16113349 (online)",
  language =     "en",
  oai =          "oai:rose.bris.ac.uk:1983/1740",
  type =         "Conference contribution",
}

Genetic Programming entries for Charalambos Ioannides Geoff Barrett Kerstin I Eder

Citations