Feedback-Based Coverage Directed Test Generation: An Industrial Evaluation

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

@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 broken 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