G. Barthe, G. Dufay, M. Huisman, and S. Sousa, Jakarta: A Toolset for Reasoning about JavaCard, Proceedings of E-smart 2001, pp.2-18, 2001.
DOI : 10.1007/3-540-45418-7_2

G. Barthe, G. Dufay, L. Jakubiec, B. Serpette, S. Melo et al., A Formal Executable Semantics of the JavaCard Platform, Proceedings of ESOP'01, pp.302-319, 2001.
DOI : 10.1007/3-540-45309-1_20

G. Barthe, G. Dufay, L. Jakubiec, B. Serpette, S. Melo-de-sousa et al., Formalization of the JavaCard Virtual Machine in Coq, Proceedings of FTfJP'00 (ECOOP Workshop on Formal Techniques for Java Programs), pp.50-56, 2000.

E. Bernard, B. Legeard, X. Luck, and F. Peureux, Generation of test sequences from formal specifications: GSM 11-11 standard case study, Software: Practice and Experience, vol.34, issue.10, pp.915-948, 2004.
DOI : 10.1002/spe.597

G. Bernot, M. Gaudel, and B. Marre, Software testing based on formal specifications: a theory and a tool, Software Engineering Journal, vol.6, issue.6, pp.387-405, 1991.
DOI : 10.1049/sej.1991.0040

S. Melo and D. Sousa, Outils et techniques pour la vérification formelle de la plate-forme JavaCard, 2003.

A. Denise, M. Gaudel, and S. Gouraud, A Generic Method for Statistical Testing, 15th International Symposium on Software Reliability Engineering, pp.25-34, 2004.
DOI : 10.1109/ISSRE.2004.2

G. J. Duck, P. J. Stuckey, M. Garcia-de-la-banda, and C. Holzbaur, Extending arbitrary solvers with constraint handling rules, Proceedings of the 5th ACM SIGPLAN international conference on Principles and practice of declaritive programming , PPDP '03, pp.2003-79
DOI : 10.1145/888251.888260

. Ph, P. Flajolet, B. Zimmermann, and . Van-cutsem, A calculus for the random generation of labelled combinatorial structures, Theoretical Computer Science, vol.132, pp.1-35, 1994.

T. Frühwirth, Theory and practice of constraint handling rules, Logic Programming october 1998. Special Issue on Constraint Logic Programming
DOI : 10.1016/S0743-1066(98)10005-5

T. Frühwirth and S. Abdennadher, Essentials of Constraint Programming. Cognitive Technologies, 2003.

A. Gotlieb, B. Botella, and M. Rueher, A CLP Framework for Computing Structural Test Data, Constraints Stream, First International Conference on Computational Logic, number 1891 in LNAI, pp.399-413, 2000.
DOI : 10.1007/3-540-44957-4_27

S. Gouraud, A. Denise, M. Gaudel, and B. Marre, A new way of automating statistical testing methods, Proceedings 16th Annual International Conference on Automated Software Engineering (ASE 2001), pp.5-12, 2001.
DOI : 10.1109/ASE.2001.989785

H. Ltzbeyer and A. Pretschner, AutoFocus on Constraint Logic Programming, Proceedings of (Constraint) Logic Programming and Software Engineering (LPSE'2000), 2000.

A. Podelski and G. Smolka, Situated Simplification, Proceedings of the 1st Conference on Principles and Practice of Constraint Programming, 1995.
DOI : 10.1007/3-540-60299-2_20
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.14.1347

A. Pretschner and H. Ltzbeyer, Model Based Testing with Constraint Logic Programming: First Results and Challenges, Proceedings 2nd ICSE Intl. Workshop on Automated Program Analysis, Testing and Verification, 2001.

C. Schulte, Programming Deep Concurrent Constraint Combinators, Second International Workshop on Practical Aspects of Declarative Languages, pp.215-229, 2000.
DOI : 10.1007/3-540-46584-7_15
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.57.6514