Title :
Leveraging a Commercial Mutation Analysis Tool For Research
Author :
Hampton, Mark ; Petithomme, Stéphane
Abstract :
A presentation of Certitude, which is a commercial software tool performing mutation analysis (MA). The product has been deployed within the microelectronics industry. Certitude is presented with specific emphasis on the product´s standard processing model and feature extension mechanisms to support mutation analysis research an extension of Certitude to news languages.
Keywords :
electronic design automation; software tools; Certitude commercial software tool; commercial mutation analysis tool; electronic design automation tool; feature extension mechanism; microelectronics industry; news language; product standard processing model; Computer industry; Electronic design automation and methodology; Genetic mutations; Microelectronics; Performance analysis; Programming; Qualifications; Software prototyping; Software testing; Software tools;
Conference_Titel :
Testing: Academic and Industrial Conference Practice and Research Techniques - MUTATION, 2007. TAICPART-MUTATION 2007
Conference_Location :
Windsor
Print_ISBN :
978-0-7695-2984-4
DOI :
10.1109/TAIC.PART.2007.39