Arnaud Gotlieb                                              INRIA       

  • INRIA Project-team CELTIQUE -- INRIA Research Scientist         

  •  Campus de Beaulieu, F-35042 Rennes Cedex,France                                                                                        
  •  Tél :  +33 (0)2  99 84 75 76 - fax : +33 (0)2 99 84 71 71
  • Email : Arnaud.Gotlieb@irisa.fr

arnaud gotlieb

Research interests
   
My research interests are centered around software testing. In particular, I’m interested in developing techniques and tools to automate the testing process of critical software. The underlying technology of these tools relies on constraint programming and constraint solving techniques. My work focuses on automatic test data generation for C and Java embedded programs, constraint-based testing, software testing theories, statistical testing and constraint reasoning in structural testing. I participated to the design and development of several constraint solving engines targeted to the testing of critical programs.

Tools

Presentations

      Automatic Test Data Generation with Constraint Logic Programming -- Colorado State University-  CS Dept. , Nov. 2003
      Testing Programs with Symmetry -- CASSIS 2004 workshop, Marseille, France, Mar. 2004 (Invited talk)
      INKA: Ten years after the first idea -- CEA Seminar -- Saclay, May. 2006
      TCAS software verification using Constraint Programming -- CT for Air Traffic Control workshop - Dec. 2008, INO Eurocae, Bretigny sur Orge,France

Publications

On a personal page On our team-project website On ACM On DBLP On google scholar

Since 2000, I participated to several projects:

Past research projects
Ongoing research projects
INKA project  funded by the RNTL:
Building an automatic test data generator for C/C++, based on constraint solving technology
CAT project  funded by the RNTL:
Building a C Analysis Toolbox. Exploring constraint-based analysis for C pointer programs
CASTLES project  funded by the RNTL:
Design of static analysis and tests for secure embedded systems
CAVERN project funded by ANR:
Constraints and Abstractions for program VERificatioN 
V3F project  funded by th ACI Sécurité Informatique :
Validation & Verification of programs with floating-point numbers calculus
U3CAT project  funded by the RNTL
CHANNEL project  funded by Egide under the PAI ALLIANCE:
 Automatic test data generation for security problems.
In collaboration with Andy King from the University of Kent.

GENETTA project funded by the Brittany region:
 Automatic statistical test data generation for embedded Java

        
PhD Students
 

Tristan Denmat  (Defense on 5 June 2008) Matthieu Petit      (Defense on 4 July 2008)
Florence Charreteur Mickael Delahaye (co-directed with B. Botella from CEA) Nadjib Lazaar

Teaching notes

    TAROT Summer school 2007    "Constraint-Based Testing"
    MASTER 2 STS "Recherche en Informatique" -- " Test structurel de programmes impératifs    
    INSA INFO 5  -- "Validation, Verification et Test"

Teaching Resources


Professional Activities

2010
CSTVA'10 (Organizer) -- 2nd Workshop on Constraints in Software Testing, Verification and Analysis
ICST'10 (PC member) -- Third IEEE Int. Conf. on Software Testing, Verification and Validation, Paris, France, Apr. 2010 
TAP'10 (PC member) -- 4rd Int. Conf. on Tests and Proofs, Malaga, Spain, Jul. 2010
QSIC'10 (PC member) -- Tenth International Conference on Quality Software, Zhangjiajie, China, Jul. 2010
JFPC'10 (PC member) -- Journées Françaises de Programmation par Contraintes, Caen, France, Jun. 2010

2009
TAP'09 (PC member) -- 3rd Int. Conf. on Tests and Proofs, ETH Zurich, Switzerland, 2-3 July 2009.
QSIC'09 (PC member) -- Nineth International Conference on Quality Software
ICST'09 (PC member) -- Second IEEE Int. Conf. on Software Testing, Verification and Validation, Denver, USA, Apr. 2009 
JFPC'09 (PC member) -- Journées Françaises de Programmation par Contraintes

2008
WLPE'08 (PC member) -- The 18th Workshop on Logic-based methods in Programming Environments, co-located with ICLP'08
QSIC'08 (PC member) -- Eigth International Conference on Quality Software, Portland, London, UK
ICST'08 (PC member) -- First IEEE Int. Conf. on Software Testing, Verification and Validation, Lillehammer, Norway, Apr. 2008
JFPC'08 (PC member) -- Journées Françaises de Programmation par Contraintes

2007
RT'07 (PC member) -- Second International Workshop on Random Testing, Atlanta, Georgia, USA, November 6, 2007,co-located with ASE 2007
STEV'07 (PC member) -- First International Workshop on Software Test Evaluation, Portland, OR, USA
QSIC'07 (PC member) -- Seventh International Conference on Quality Software, Portland, OR, USA
JFPC'07 (PC member) -- Journées Françaises de Programmation par Contraintes

2006
CSTVA'06 (Organizer) -- Workshop on Constraints in Software Testing, Verification and Analysis -- Co-located with CP'06 - September 25-29, 2006
QSIC'06 (PC member) -- Sixth International Conference on Quality Software, Beijing, China, October 26-28, 2006
JFPC'06 (PC member) -- Journées Françaises de Programmation par Contraintes

2005
JFPC'05 (PC member) -- Journées Françaises de Programmation par Contraintes

2004
ICLP'04 (Publicity chair) -- 20th International Conference on Logic Programming, Sep. 6-10, 2004, St-Malo, FRANCE
ISSRE'04 (PC member, Publicity chair)   -- 15th International Symposium on Software Reliability Engineering, Nov. 2-5, 2004, St-Malo, FRANCE
JFPC'04 (PC member) -- Journées Françaises de Programmation par Contraintes