Mutation Testing Author

Name: Chantal Robach
Affiliation: ESISAR
1Youssef Serrestou and Vincent Beroulle and Chantal Robach
Functional Verification of RTL Designs Driven by Mutation Testing Metrics
Proceedings of the 10th Euromicro Conference on Digital System Design Architectures, Methods and ToolsLubeck, Germany, 29-31 August 2007.
BibTeX | Abstract | URL
2Youssef Serrestou and Vincent Beroulle and Chantal Robach
Impact of Hardware Emulation on the Verification Quality Improvement
Proceedings of the IFIP WG 10.5 International Conference on Very Large Scale Integration of System-on-Chip (VLSI-SoC'07)Atlanta, GA, 15-17 October 2007.
BibTeX | Abstract | URL
3Huy Vu Do and Chantal Robach and Michel Delaunay
Mutation Analysis for Reactive System Environment Properties
Proceedings of the 2nd Workshop on Mutation Analysis (MUTATION'06)Raleigh, North Carolina, November 2006.
BibTeX | Abstract | URL
4Youssef Serrestou and Vincent Beroulle and Chantal Robach
How to Improve a Set of Design Validation Data by Using Mutation-Based Test
Proceedings of the IEEE Design and Diagnostics of Electronic Circuits and Systems (DDECS'06)Prague, Czech Republic, 18-21 April 2006.
BibTeX | Abstract | URL
5Mathieu Scholive and Vincent Beroulle and Chantal Robach and M. L. Flottes and B. Rouzeyre
Mutation Sampling Technique for the Generation of Structural Test Data
Proceedings of the Conference on Design, Automation and Test in Europe (DATE'05)Munich, Germany,, 7-11 March 2005.
BibTeX | Abstract | URL