M. Carlsson, G. Ottosson, and B. Carlson, An open-ended finite domain constraint solver, Prog. Lang., Impl., Logics, and Programs (PLILP), 1997.
DOI : 10.1007/BFb0033845

T. Chen, T. Tse, and Z. Zhou, Fault-based testing in the absence of an oracle, 25th Annual International Computer Software and Applications Conference. COMPSAC 2001, pp.172-178, 2001.
DOI : 10.1109/CMPSAC.2001.960614

R. Cytron, J. Ferrante, B. K. Rosen, M. N. Wegman, and F. K. Zadeck, Efficiently computing static single assignment form and the control dependence graph, ACM Transactions on Programming Languages and Systems, vol.13, issue.4, pp.451-490, 1991.
DOI : 10.1145/115372.115320

R. Cytron and R. Gershbein, Efficient Accommodation of May?Alias Information in SSA Form, Prog. Language Design and Implementation, 1993.

A. Deutsch, Interprocedural May?Alias Analysis for Pointers: Beyond k?limiting, Prog. Language Design and Implementation, 1994.

M. Emami, R. Ghiya, and L. J. Hendren, Context?Sensitive Interprocedural Points?to Analysis in the Presence of Function Pointers, Prog. Language Design and Implementation, 1994.

R. Ferguson and B. Korel, The chaining approach for software test data generation, ACM Transactions on Software Engineering and Methodology, vol.5, issue.1, pp.63-86, 1996.
DOI : 10.1145/226155.226158

J. Ferrante, K. J. Ottenstein, and J. D. Warren, The Program Dependence Graph and its use in optimization, Trans. on Programming Languages and Systems, pp.9-3319, 1987.

R. Gaugne, Techniques d'analyse statique pour l'aide à la mise au point de programmes avec manipulation explicite de pointeurs, 1997.

R. Ghiya and L. Hendren, Putting pointer analysis to work, Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '98, 1998.
DOI : 10.1145/268946.268957

A. Gotlieb and B. Botella, Automated metamorphic testing, Proceedings 27th Annual International Computer Software and Applications Conference. COMPAC 2003, 2003.
DOI : 10.1109/CMPSAC.2003.1245319

A. Gotlieb, B. Botella, and M. Rueher, Automatic test data generation using constraint solving techniques, ACM SIGSOFT Software Engineering Notes, vol.23, issue.2, pp.53-62, 1998.
DOI : 10.1145/271775.271790

A. Gotlieb, B. Botella, and M. Rueher, A CLP Framework for Computing Structural Test Data, Computational Logic (CL), pp.399-413, 1891.
DOI : 10.1007/3-540-44957-4_27

P. V. Hentenryck, V. Saraswat, and Y. Deville, Design, implementation, and evaluation of the constraint language cc(FD), LNCS 910, pp.293-316, 1995.
DOI : 10.1007/3-540-59155-9_15

J. Hummel, L. J. Hendren, and A. Nicolau, A General Data Dependence Test for Dynamic, Pointer?Based Data Structures, Prog. Language Design and Implementation, 1994.

S. Kowshik, D. Dhurjati, and V. Adve, Ensuring code safety without runtime checks for real-time control systems, Proceedings of the international conference on Compilers, architecture, and synthesis for embedded systems , CASES '02, 2002.
DOI : 10.1145/581630.581678

C. Lapkowski and L. Hendren, Extended SSA Numbering: Introducing SSA Properties to Languages with Multi?level Pointers, 7th Proc. of the Conference on Compilers Construction (CC'98), pp.128-143, 1998.

B. Marre, P. Mouy, and N. Williams, On-the-fly generation of k-path tests for c functions, Proc. of the 19th IEEE Int. Conf. on Automated Software Engineering (ASE'04), 2004.

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

M. Shapiro and S. Horwitz, Fast and accurate flow-insensitive points-to analysis, Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '97, 1997.
DOI : 10.1145/263699.263703

S. Visvanathan and N. Gupta, Generating test data for functions with pointer inputs, Proceedings 17th IEEE International Conference on Automated Software Engineering,, 2002.
DOI : 10.1109/ASE.2002.1115007

J. Zhang, Symbolic execution of program paths involving pointer and structure variables, Proc. of the 4th Int. Conf. on Quality Software (QSIC'04), 2004.

R. , U. De-recherche, I. Lorraine, V. Technopôle-de-nancy-brabois, I. Lès-nancy-unité-de-recherche et al., Campus scientifique, 615 rue du Jardin Botanique Irisa, Campus universitaire de Beaulieu, 35042 RENNES Cedex Unité de recherche INRIA Rhône-Alpes, p.78153, 2004.