R. A. Demillo, R. J. Lipton, and F. G. Sayward, Hints on Test Data Selection: Help for the Practicing Programmer, Computer, vol.11, issue.4, 1978.
DOI : 10.1109/C-M.1978.218136

R. A. Demillo and A. J. Offutt, Constraint-based automatic test data generation, IEEE Transactions on Software Engineering, vol.17, issue.9, 1991.
DOI : 10.1109/32.92910

W. E. Howden, Weak Mutation Testing and Completeness of Test Sets, IEEE Transactions on Software Engineering, vol.8, issue.4, 1982.
DOI : 10.1109/TSE.1982.235571

A. J. Offutt, The coupling effect: fact or fiction, ACM SIGSOFT Software Engineering Notes, vol.14, issue.8, 1989.

A. J. Offutt and E. J. Seaman, Using symbolic execution to aid automatic test data generation, Fifth Annual Conference on Computer Assurance, Systems Integrity, Software Safety and Process Security., 1990.
DOI : 10.1109/CMPASS.1990.175398

R. H. Untch, A. J. Offutt, and M. J. Harrold, Mutation Analysis Using Mutant Schemata, ACM SIGSOFT Software Engineering Notes, vol.18, issue.3, 1993.
DOI : 10.1145/154183.154265

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

M. Hampton and S. Petithomme, Leveraging a Commercial Mutation Analysis Tool For Research, Testing: Academic and Industrial Conference Practice and Research Techniques, MUTATION (TAICPART-MUTATION 2007), 2007.
DOI : 10.1109/TAIC.PART.2007.39

S. Sengupta, Defect-based Tests: A Key Enabler for Successful Migration to Structural Test, Intel Technology Journal, 1999.

G. , A. Hayek, and C. Robach, From Specification Validation to Hardware Testing: A Unified Method, Proceedings of the IEEE International Test Conference on Test and Design Validity. ITC'96, 1996.

S. Ghosh and T. J. Chakraborty, On behavior fault modeling for digital designs, Journal of Electronic Testing, vol.2, issue.12, 1991.
DOI : 10.1007/BF00133499

F. Ferrandi, F. Fummi, and D. Sciuto, Implicit test generation for behavioral VHDL models, Proceedings International Test Conference 1998 (IEEE Cat. No.98CH36270), 1998.
DOI : 10.1109/TEST.1998.743202

A. Fin and F. Fummi, A VHDL Error Simulator for Functional Test Generation, Proceedings of the 2000 conference on Design, Automation and Test in Europe. DATE'00, 2000.

F. Corno, M. Sonza-reorda, G. Squillero, A. Manzone, and A. Pincetti, Automatic Test Bench Generation for Validation of RT-Level Descriptions: An Industrial Experience, Proceedings of the 2000 conference on Design, Automation and Test in Europe. DATE'00, 2000.

S. Tasiran, F. Fallah, D. Chinnery, S. Weber, and K. Keutzer, Coverage-Directed Generation of Biased Random Inputs for Functional Validation of Sequential Circuits, Proceedings of the International Workshop on Logic and Synthesis, 2001.

S. Fine and A. Ziv, Coverage directed test generation for functional verification using bayesian networks, Proceedings of the 40th conference on Design automation , DAC '03, 2003.
DOI : 10.1145/775832.775907

N. Bombieri, F. Fummi, G. Pravadelli, M. Hampton, and F. Letombe, Functional qualification of TLM verification, 2009 Design, Automation & Test in Europe Conference & Exhibition, 2009.
DOI : 10.1109/DATE.2009.5090656

O. Lachish, E. Marcus, S. Ur, and A. Ziv, Hole Analysis for Functional Coverage Data, Proceedings of the 39th Conference on Design Automation, pp.807-812, 2002.

S. Asaf, E. Marcus, and A. Ziv, Defining coverage views to improve functional coverage analysis, Proceedings of the 41st annual conference on Design automation , DAC '04, pp.41-44, 2004.
DOI : 10.1145/996566.996579