An open-ended finite domain constraint solver, Prog. Lang., Impl., Logics, and Programs (PLILP), 1997. ,
DOI : 10.1007/BFb0033845
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
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
Efficient Accommodation of May?Alias Information in SSA Form, Prog. Language Design and Implementation, 1993. ,
Interprocedural May?Alias Analysis for Pointers: Beyond k?limiting, Prog. Language Design and Implementation, 1994. ,
Context?Sensitive Interprocedural Points?to Analysis in the Presence of Function Pointers, Prog. Language Design and Implementation, 1994. ,
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
The Program Dependence Graph and its use in optimization, Trans. on Programming Languages and Systems, pp.9-3319, 1987. ,
Techniques d'analyse statique pour l'aide à la mise au point de programmes avec manipulation explicite de pointeurs, 1997. ,
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
Automated metamorphic testing, Proceedings 27th Annual International Computer Software and Applications Conference. COMPAC 2003, 2003. ,
DOI : 10.1109/CMPSAC.2003.1245319
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 CLP Framework for Computing Structural Test Data, Computational Logic (CL), pp.399-413, 1891. ,
DOI : 10.1007/3-540-44957-4_27
Design, implementation, and evaluation of the constraint language cc(FD), LNCS 910, pp.293-316, 1995. ,
DOI : 10.1007/3-540-59155-9_15
A General Data Dependence Test for Dynamic, Pointer?Based Data Structures, Prog. Language Design and Implementation, 1994. ,
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
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. ,
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. ,
Programming with Constraints : an Introduction, 1998. ,
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
Generating test data for functions with pointer inputs, Proceedings 17th IEEE International Conference on Automated Software Engineering,, 2002. ,
DOI : 10.1109/ASE.2002.1115007
Symbolic execution of program paths involving pointer and structure variables, Proc. of the 4th Int. Conf. on Quality Software (QSIC'04), 2004. ,
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. ,