Modelling dynamic memory management in constraint-based testing. - Florence Charreteur; Bernard Botella; Arnaud Gotlieb (J. Syst. Softw., 2009)

Constraint-Based Test Input Generation for Java Bytecode. - Florence Charreteur; Arnaud Gotlieb (ISSRE, 2010)

Modélisation par contraintes de programmes en bytecode Java pour la génération automatique de tests. - Florence Charreteur (2010)