Arnaud Gotlieb                                                    

     In temporary leave at SIMULA Research Lab.
     Certus Validation&Verification Center
     Oslo, Norway
    ----------------------------------------------------------------

  • 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@inria.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


Some 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)
      Correct handling of floating-point computations in symbolic execution  --  V3F seminar, Paris, Jun. 2004
      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
      An overview of Constraint-Based Testing -- Uppsala's University seminar (invited) -- May 2010

Publications

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

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

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 ANR
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

CAT project  funded by the RNTL:
Building a C Analysis Toolbox. Exploring constraint-based analysis for C pointer programs

PhD Students 

Tristan Denmat        Defense on 5 June 2008 Matthieu Petit                 Defense on 4 July 2008 Florence Charreteur                         Defense on 9 March 2010
Aymeric Hervieu
Mickael Delahaye 
Defense on 26 Oct. 2011
Nadjib Lazaar
Defense on 5 Dec. 2011

Teaching Resources


Professional Activities

2012
ICST'12 (Workshop co-chair) -- 5th IEEE Int. Conf. on Software Testing, Verification and Validation, Montreal
, Apr. 2012

CSTVA'12 (PC member)                --   4th 
Workshop on Constraints in Software Testing, Verification and Analysis
VAST'12 (PC member)                   --   2nd Int’l Workshop on Variability-intensive Systems Testing, Validation & Verification
JFPC'12 (PC member)           --   Journées Françaises de Programmation par Contraintes
TAP'12
(PC member)            --
6th Int. Conf. on Tests and Proofs, May 31 - June 1, 2012, Prague, Czech Republic
QSIC'12 (PC member)           -- 12 th International Conference On Quality Software, Xi’an, China, 27th – 28th Aug 2012

2011
CSTVA'11 (Organizer) --
3rd Workshop on Constraints in Software Testing, Verification and Analysis -- Sponsorized by Microsoft Research under the VSI Challenge
VAST'11 (PC member) -- 1st Int’l Workshop on Variability-intensive Systems Testing, Validation & Verification
QSIC'11 (PC member) -- 11th International Conference On Quality Software
TAP'11 (PC member)   --  5th Int. Conf. on Tests and Proofs, June 30 - Jul. 1, 2011, Zurich, Switzerland

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