Arnaud Gotlieb,   habilitated (Dec. 2011)                                                   
     In temporary leave at SIMULA RESEARCH LAB.
     Certus Validation&Verification Center  Lysaker, Norway
     simula.no/people/arnaud
    ----------------------------------------------------------------

  • INRIA Project-team CELTIQUE -- INRIA Research Scientist         

  •  Campus de Beaulieu, F-35042 Rennes Cedex,France                                                                                      
  • 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 the SIMULA 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
 CERTUS SFI  funded by RCN
A 8-year large initiative on Software V&V in Norway
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
Shuai Wang (SIMULA) Erik Rogstad (SIMULA)

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
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 (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), QSIC'09 (PC member), ICST'09 (PC member), JFPC'09 (PC member)
2008
WLPE'08 (PC member),QSIC'08 (PC member), ICST'08 (PC member), JFPC'08 (PC member)
2007
RT'07 (PC member), STEV'07 (PC member), QSIC'07 (PC member),JFPC'07 (PC member)
2006
CSTVA'06 (Organizer), QSIC'06 (PC member), JFPC'06 (PC member)
2005
JFPC'05 (PC member) -- Journées Françaises de Programmation par Contraintes
2004
ICLP'04 (Publicity chair), ISSRE'04 (PC member, Publicity chair) , JFPC'04 (PC member)