Florence Charreteur

According to our database, Florence Charreteur authored at least 3 papers between 2009 and 2010.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2010

Modélisation par contraintes de programmes en bytecode Java pour la génération automatique de tests.

Florence Charreteur

PhD thesis, 2010

Constraint-Based Test Input Generation for Java Bytecode.

Florence Charreteur, Arnaud Gotlieb

Proceedings of the IEEE 21st International Symposium on Software Reliability Engineering, 2010

2009

Modelling dynamic memory management in constraint-based testing.

Florence Charreteur, Bernard Botella, Arnaud Gotlieb

J. Syst. Softw., 2009