Arnaud Gotlieb,   habilitated (12 Dec. 2011)                                                   
     In temporary leave at SIMULA RESEARCH LAB.
     Certus Software 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. Recently, I have been working on variability testing and the generation of test configurations for highly-configurable software systems using constraint optimization techniques.


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
      A video of my habilitation defense  -- University of Rennes -- 12 Dec. 2011
      CP also meets Software Testing -- CP meets CAV workshop, Turunc, Turkey -- Jun. 2012
      Constraint-Based Reachability -- Infinity Workshop (Invited presentation) - 18th Int. Symp. on Formal Methods -- Aug. 2012
      Participation to Dagsthul Seminar on "Symbolic methods in software testing" - Jan. 2013
      FLOWER: optimal test suite reduction as a network maximum flow - 24 Jul. 2014 - ISSTA, San José, CA, USA
      Participation to Dagsthul Seminar on "Symbolic Execution and Constraint Solving" - Oct. 2014
 

Publications

On a personal page On  INRIA's HAL On ACM On DBLP On google scholar On Academic Microsoft  Research

Since 2000, I participated to several projects:

Research projects
Research projects
INKA project  funded by the RNTL (2001-2004)
Building an automatic test data generator for C/C++, based on constraint solving technology
CATU3CAT project funded by the RNTL (2005-2012)
Building a C Analysis Toolbox. Exploring constraint-based analysis for C pointer programs
CASTLES project  funded by the RNTL (2003-2006)
Design of static analysis and tests for secure embedded systems
CAVERN project funded by ANR  (2008-2011)
Constraints and Abstractions for program VERificatioN
 
V3F project  funded by th ACI Sécurité Inf. (2004-2007)
Validation & Verification of programs with floating-point numbers calculus
CERTUS SFI  funded by RCN (2011-2019)
A 8-year large initiative on Software V&V in Norway
CHANNEL project  funded by PAI ALLIANC (2008-2009)
 Automatic test data generation for security problems.
In collaboration with Andy King from the University of Kent.
Industrial PhD supervision - A. Hervieu - KEREVAL, Thorigné-Fouillard, France (2010-2013)
GENETTA project funded by Brittany Region (2007-2010)
 Automatic statistical test data generation for embedded Java
Industrial PhD supervision -- M. Mossige - ABB Robotics, Stavanger, Norway (2012-2015)

FORNY-TITAN funded by RCN (2014-2015)
CERTISKATT funded by PHC France-Norway (2014)

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
Defense on 9 Dec. 2013
Mickael Delahaye 
Defense on 26 Oct. 2011
Nadjib Lazaar
Defense on 5 Dec. 2011
Shuai Wang (SIMULA -
University of Oslo)
Erik Rogstad (SIMULA - University of Oslo) Stefano Di Alesio (SIMULA - University of Luxembourg)
Morten Mossige (ABB Robotics - University of Stavanger) Carlo Ieva (SIMULA - University of Parm)

Teaching Resources


Professional Activities

2015
ICST'15            (PC member and PhD symposium co-chair)  -- 
IEEE International Conference on Software Testing, Verification and Validation, Graz, Austria, 13-17 April 2015

2014
ICSE'14 SEIP   (Program co-chair)  --
36th International Conference on Software Engineering, SEIP (Software Engineering In Practice) Track, India, Jun. 2014
ICST'14              (PC member)                 --   7th IEEE International Conference on Software Testing, Verification and Validation, Cleveland, Ohio, USA, Mar. Apr. 2014
COMPSAC'14      (PC member)                -- 38th IEEE Annual International Computer Software & Applications Conference, Västeras, Sweden, July 21-25, 2014
ISSRE'14            (PC member)                 --   25th IEEE International Symposium on Software Reliability Engineering, Naples, Italy, 4-6 Nov. 2014
CSTVA'14             (PC member)                --   6th Workshop on Constraints in Software Testing, Verification and Analysis, ICSE Worlshop, India, Jun. 2014
LOPSTR'14           (PC member)                 --  University of Kent, Canterbury, UK, September 8-11, 2014
TAP'14                   (PC member)                 --   9th  Int. Conf. on Tests and Proofs, York, UK, July 24-25, 2014
HCVS'14                (PC member)                 --   Workshop on Horn Clauses for Verification and Synthesis, Vienna, Austria, July 17, 2014
CSTVA'14              (PC member)                 --   6th  Workshop on Constraints in Software Testing, Verification and Analysis, India, June, 2014

2013
QSIC'13
          (Program co-chair)  
--  13th International Conference on Quality Software  Nanjing University, China, Jul 2013
COMPSAC'13  (PC member)          --  37th IEEE Annual International Computer Software & Applications Conference, Kyoto, Japan, July 22-26, 2013
ISSRE'13             (PC member)                 --   24th IEEE International Symposium on Software Reliability Engineering, Pasadena, CA, USA, Nov. 2013
TAP'13             (PC member)          --  
7th  Int. Conf. on Tests and Proofs, Budapest, Hungary, June 18-19, 2013
ICST'13            (PC member)          --   6th IEEE International Conference on Software Testing, Verification and Validation, Luxembourg, Mar. 2013,
CSTVA'13        (PC member)          --   5th Workshop on Constraints in Software Testing, Verification and Analysis
ICSE'13 SEIP   (PC member)          --  35th IEEE International Conference on Software Engineering, SEIP Track, San Francisco, Jun. 2013
CP'13 Application track (PC member)  --  19th Int. Conf. on Principles and Practice of Constraint Programming, Uppsala, Sweden, Sep. 16-20, 2013

2012
ISSRE'12         (PC member)            -- 
23rd IEEE International Symposium on Software Reliability Engineering
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)             -- 12th International Conference On Quality Software, Xi’an, China, 27th – 28th Aug 2012

2011
CSTVA'11 (Organizer),
VAST'11 (PC member), QSIC'11 (PC member) , TAP'11 (PC member) 
2010
CSTVA'10
(Organizer),
ICST'10 (PC member), TAP'10 (PC member), QSIC'10 (PC member), JFPC'10 (PC member) 
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)