I am a Ph.D. student in the ForTesSE team at LRI - Paris-Sud XI University, Since October 2009. I am under supervision of Marie-Claude Gaudel and Burkhart Wolff.
The subject of my thesis is: "Automatic Test Generation from Circus Specifications".
My research focusses on the application of formal methods to test generation. This includes the formal specification and modeling of systems, the formalization of test theories and test generation techniques.
I did my master's in Computer Science in Paris-Sud XI University.