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

J. Offut, Z. Jin, and P. J. , The dynamic domain reduction procedure for test data generation, Software?Practice and Experience, pp.167-193, 1999.
DOI : 10.1002/(SICI)1097-024X(199902)29:2<167::AID-SPE225>3.3.CO;2-M

A. Gotlieb, B. Botella, and M. Rueher, Automatic test data generation using constraint solving techniques, Proc. of Int. Symp. on Soft. Testing and Analysis (ISSTA'98), pp.53-62, 1998.
DOI : 10.1145/271771.271790

A. Gotlieb, T. Denmat, and B. Botella, Goal-oriented test data generation for pointer programs, Information and Software Technology, vol.49, issue.9-10, pp.9-10, 2007.
DOI : 10.1016/j.infsof.2006.10.016
URL : https://hal.archives-ouvertes.fr/inria-00540297

D. Marinov and S. Khurshid, TestEra: a novel framework for automated testing of Java programs, Proceedings 16th Annual International Conference on Automated Software Engineering (ASE 2001), p.22, 2001.
DOI : 10.1109/ASE.2001.989787

C. Boyapati, S. Khurshid, and D. Marinov, Korat: automated testing based on java predicates, Proc. of the int. symp. on Soft. testing and analysis (ISSTA'02), pp.123-133, 2002.

B. Elkarablieh, D. Marinov, and S. Khurshid, Efficient solving of structural constraints, Proceedings of the 2008 international symposium on Software testing and analysis, ISSTA '08, pp.39-50, 2008.
DOI : 10.1145/1390630.1390637

W. Visser, C. S. Pasareanu, and S. Khurshid, Test input generation in java pathfinder, Proc. of ISSTA'04, 2004.

C. Pasareanu and W. Visser, A survey of new trends in symbolic execution for software testing and analysis, International Journal on Software Tools for Technology Transfer, vol.17, issue.2, pp.339-353, 2009.
DOI : 10.1007/s10009-009-0118-1

P. Godefroid, N. Klarlund, and K. Sen, Dart: directed automated random testing, Proc. of PLDI'05, pp.213-223, 2005.

N. Williams, B. Marre, P. Mouy, and M. Roger, Pathcrawler: Automatic generation of path tests by combining static and dynamic analysis Cute: a concolic unit testing engine for c, Proc. Dependable Computing -EDCC'05 Proc. of ESEC/FSE-13, pp.263-272, 2005.

K. Sen and G. Agha, CUTE and jCUTE: Concolic Unit Testing and Explicit Path Model-Checking Tools, 18th Int. Conf. on Computer Aided VerificationCAV'06), ser, pp.419-423, 2006.
DOI : 10.1007/11817963_38

N. Tillmann and J. De-halleux, Pex???White Box Test Generation for .NET, Proc. of the 2nd Int. Conf. on Tests and Proofs, ser, pp.134-153, 2008.
DOI : 10.1007/978-3-540-79124-9_10

C. Cadar, V. Ganesh, P. Pawlowski, D. Dill, and D. Engler, Exe: automatically generating inputs of death, Proc. of Comp. and Communications Security (CCS'06), pp.322-335, 2006.

R. Grehan, Jtest continues its trek toward code-testing supremacy, InfoWorld, 2006.

K. Marriott and P. Stuckey, Programming with Constraints : An Introduction, 1998.

F. Charreteur, B. Botella, and A. Gotlieb, Modelling dynamic memory management in constraint-based testing, TAIC-PART (Testing: Academic and Industrial Conference), 2007.
URL : https://hal.archives-ouvertes.fr/inria-00540270

L. De-moura and N. Bjørner, Z3: An Efficient SMT Solver, Proc. of TACAS'08, an ETAPS conference, pp.337-340, 2008.
DOI : 10.1007/978-3-540-78800-3_24

T. Xie, N. Tillmann, P. De-halleux, and W. Schulte, Fitnessguided path exploration in dynamic symbolic execution, Proc. the 39th Int. Conf. on Dependable Systems and Networks (DSN'09, 2009.

S. Muchnick and N. Jones, Program Flow Analysis: Theory and Applications ? Chapter, 1981.

S. Bardin and P. Herrmann, Structural Testing of Executables, 2008 International Conference on Software Testing, Verification, and Validation, pp.22-31, 2008.
DOI : 10.1109/ICST.2008.8

B. Elkarablieh, P. Godefroid, and M. Levin, Precise pointer reasoning for dynamic test generation, Proceedings of the eighteenth international symposium on Software testing and analysis, ISSTA '09, 2009.
DOI : 10.1145/1572272.1572288
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.184.3060

A. Coen-porisini, G. Denaro, C. Ghezzi, and M. Pezze, Using symbolic execution for verifying safety-critical systems, Proceedings of the European Software Engineering Conference, pp.142-150, 2001.

T. Henzinger, R. Jhala, R. Majumdar, and G. Sutre, Software Verification with BLAST, Proc. of 10th Workshop on Model Checking of Software (SPIN), pp.235-239, 2003.
DOI : 10.1007/3-540-44829-2_17

S. Chaki, E. Clarke, A. Groce, S. Jha, and H. Veith, Modular verification of software components in C, IEEE Transactions on Software Engineering, vol.30, issue.6, pp.388-402, 2004.
DOI : 10.1109/TSE.2004.22

E. Clarke and D. Kroening, Hardware verification using ANSI- C programs as a reference, Proc. of ASP-DAC'03, pp.308-311, 2003.