Interests

I am particularly interested in information security, program analysis, automatic test case generation, constraint programming.

Publications

  • J. Botella, F. Bouquet, J.F. Capuron, F. Lebeau, B. Legeard, F. Schadle. Model-Based Testing of Cryptographic Components - Lessons Learned from Experience. In ICST (International Conference on Software Testing, Verification and Validation), Luxembourg, March 2013.

  • F. Charreteur and A. Gotlieb. Constraint-Based Test Input Generation for Java Bytecode. In ISSRE (International Symposium on Software Reliability Engineering), San Jose, USA, Nov. 2010.

  • F. Charreteur-Schadle. Modélisation par contraintes de programmes en bytecode Java pour la génération automatique de tests. phD thesis, Mars 2010.

  • F. Charreteur, B. Botella, and A. Gotlieb. Modelling dynamic memory management in Constraint-Based Testing. In JSS (The Journal of Systems and Software), 82 (11), pp 1755–1766, Nov. 2009.

  • S. Bardin, B. Botella, F. Dadeau, F. Charreteur, A. Gotlieb, B. Marre, C. Michel, M. Rueher, and N. Williams. Constraint-based software testing. In 1eres journées nationales du GDR-GPL, groupe de travail MTVV, Toulouse, France, Jan. 2009

  • F. Charreteur and A. Gotlieb. Raisonnement à contraintes pour le test de bytecode Java. In JFPC (Journées Francophones de Programmation par Contraintes), Nantes, France, juin 2008.

  • F. Charreteur, B. Botella, and A. Gotlieb. Modelling dynamic memory management in Constraint-Based Testing. In TAIC-PART (Testing: Academic and Industrial Conference), Windsor, UK, Sep. 2007. [bibtex]