Camille Constant


    Contact information

      e-mail: Camille.Constant@irccyn.ec-nantes.fr
    Address: IRCCyN
    1, rue de la Noé
    BP 92101 44321 Nantes Cedex 3 - FRANCE
    Tel: +33 2.40.37.69.81
    Fax: +33 2.40.37.69.30

    Brief Vitae

      I currently hold a postdoctoral position at the IRCCyN lab (Nantes) in the MoVES project. (detailed CV in french )

    Research Topics

      I worked, during my PhD, on the verification and test in reactive systems.

      My thesis adresses the problem of automatic test case generation for testing the conformance of a reactive implementation. We first propose a methodology which extends the testing theory based on the ioco conformance relation by distinguishing three levels of description: properties, specification and implementation. The methogology integrates verification and conformance testing. The execution of the generated test cases on the implementation allows detecting conformance violations between implementation and specification, but also violation/satisfaction of the properties by the implementation or the specification. Secondly, we introduce a more expressive specification model: recursive interprocedural specifications. The test generation method we propose is based on coreachability analysis, which allows deciding whether and how the test purpose can still be satisfied. However, although it is possible to carry out an exact analysis, the inability of test cases to inspect their own stack prevents them from fully using the coreachability information. We discuss this partial observation problem, its consequences, and how to minimise its impact. Finally, we experiment these methods of test generation on several examples and a case study.

      I'm currently working on the test and control in real time systems.

      Publications

        Ph.D Thesis

        1. C. Constant, Génération automatique de tests pour systèmes avec variables ou récursivité, Université Rennes 1, November 2008. (more)

        Academic Journals

        1. C. Constant, T. Jéron, H. Marchand, V. Rusu, Integrating Formal Verification and Conformance Testing for Reactive Systems, IEEE Transactions on Software Engineering, August 2007. (more)

        Book Chapters

        1. C. Constant, T. Jéron, H. Marchand, V. Rusu, Validation of Reactive Systems, Pages 51-76, Hermès Science, January 2008. (more)
        2. C. Constant, T. Jéron, H. Marchand, V. Rusu, Combinaison Vérification et Test pour la validation de systèmes réactifs, Pages 59-88, Hermès Science, 2006. (more)

        International Conferences

        1. C. Constant, B. Jeannet, T. Jéron, Automatic Test Generation from Interprocedural Specifications, in TestCom/Fates07, Tallinn, Estonia, June 2007. (more)

        Research Reports

        1. C. Constant, B. Jeannet, T. Jéron, Automatic Test Generation from Interprocedural Specifications, Research Report IRISA, No 1835, March 2007. (more)

      Teaching

      • Courses and Directed works in graph theory and algorithmics for third and fifth year students in Centrale Nantes.
      • Courses and Directed works in functional programming (Lisp) for fifth year students in Centrale Nantes.
      • Courses and Directed works in test for fifth year students in Centrale Nantes.
      • Lab works in object-oriented programming (Java) for fifth year students in Centrale Nantes.
      • Lab works in image for fourth year students in Centrale Nantes.
      • Directed works and lab works in programming methods (object-oriented programming, data structure, Java) for fourth year students in Centrale Nantes.
      • Lab works in information systems and databases for third year students in Centrale Nantes.
      • Directed works and lab works in algorithmics and imperative programming (C) for third year students in Centrale Nantes.
      • Directed works in algorithmic and complexity for third year students in University of Rennes I.
      • Directed works and lab works in graph algorithms for fourth year students in University of Rennes I.
      • Lab works in initiation to functional programming (with OCaml) for fourth year students in University of Rennes I.
      • Lab works in design of reactive systems (with Oris) for second year students in University of Rennes I.
      • Lab works in compilation (with OCamllex and OCamlyacc) for fourth year students in INSA (Rennes).
      • Directed works and lab works in constraints programming (with Eclipse) for fourth year students in INSA (Rennes).
      • Lab works in initiation to imperative programming (with C) for second year students in University of Bordeaux1 .

      Education

      • [2008] Ph.D of Computer Science, University of Rennes 1.
      • [2004] Master (DEA) of Computer Science, University of Rennes 1.
      • [2003] MSc (maîtrise) in Computer Science, University of Bordeaux 1.
      • [2002] BSc (licence) in Computer Science, University of Bordeaux 1.