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