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. Botella, M. Delahaye, S. Hong-tuan-ha, N. Kosmatov, P. Mouy et al., Automating structural testing of C programs: Experience with PathCrawler, 2009 ICSE Workshop on Automation of Software Test, 2009.
DOI : 10.1109/IWAST.2009.5069043

C. Cadar, V. Ganesh, P. M. Pawlowski, D. L. Dill, and D. R. Engler, EXE : automatically generating inputs of death, CCS'06, pp.322-335, 2006.

P. Godefroid, N. Klarlund, and K. Sen, DART : Directed automated random testing, PLDI'05, pp.213-223, 2005.

J. E. Hopcroft, R. Motwani, and J. D. Ullman, Introduction to Automata Theory, Languages , and Computation, 2000.
DOI : 10.1145/568438.568455

N. Kosmatov, All-Paths Test Generation for Programs with Internal Aliases, 2008 19th International Symposium on Software Reliability Engineering (ISSRE), pp.147-156, 2008.
DOI : 10.1109/ISSRE.2008.25

N. Kosmatov, Artificial Intelligence Applications for Improved Software Engineering Development : New Prospects, chapter XI : Constraint-Based Techniques for Software Testing Advances in Intelligent Information Technologies Book Series, 2009.

B. Marre and A. Arnould, Test sequences generation from LUSTRE descriptions: GATEL, Proceedings ASE 2000. Fifteenth IEEE International Conference on Automated Software Engineering, pp.229-237, 2000.
DOI : 10.1109/ASE.2000.873667

C. George, S. Necula, S. P. Mcpeak, W. Rahul, and . Weimer, CIL : Intermediate language and tools for analysis and transformation of C programs, CC'02, pp.213-228, 2002.

V. Pratt, Two easy theories whose combination is hard, 1977.

G. Ramalingam, J. Song, L. Joskowicz, and R. E. Miller, Solving Systems of Difference Constraints Incrementally, Algorithmica, vol.23, issue.3, pp.261-275, 1999.
DOI : 10.1007/PL00009261

K. Sen, D. Marinov, and G. Agha, CUTE : a concolic unit testing engine for C, ESEC/FSE'05, pp.263-272, 2005.
DOI : 10.1145/1321631.1321746

Z. Su and D. Wagner, A class of polynomially solvable range constraints for interval analysis without widenings, Theoretical Computer Science, vol.345, issue.1, pp.122-138, 2005.
DOI : 10.1016/j.tcs.2005.07.035

N. Williams, B. Marre, and P. Mouy, On-the-fly generation of K-path tests for C functions, Proceedings. 19th International Conference on Automated Software Engineering, 2004., pp.290-293, 2004.
DOI : 10.1109/ASE.2004.1342749

N. Williams, B. Marre, P. Mouy, and M. Roger, PathCrawler: Automatic Generation of Path Tests by Combining Static and Dynamic Analysis, EDCC'05, pp.281-292, 2005.
DOI : 10.1007/11408901_21

Z. Xu and J. Zhang, A Test Data Generation Tool for Unit Testing of C Programs, 2006 Sixth International Conference on Quality Software (QSIC'06), pp.107-116, 2006.
DOI : 10.1109/QSIC.2006.7

H. Zhu, P. A. Hall, and J. H. May, Software unit test coverage and adequacy, ACM Computing Surveys, vol.29, issue.4, pp.366-427, 1997.
DOI : 10.1145/267580.267590
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.93.7961