Arnaud Gotlieb,   habilitated (12 Dec. 2011)                                                   
     In temporary leave at SIMULA RESEARCH LAB.

     Certus Software Validation&Verification Center  Lysaker, Norway


  • INRIA Project-team CELTIQUE -- INRIA Research Scientist         

  •  Campus de Beaulieu, F-35042 Rennes Cedex,France                                                                                      
  • Email : 


Research interests

My research interests are centered around software testing and constraint solving. In particular, I’m interested in developing techniques and tools to automate the testing process of safety- or business- critical software, by using constraint programming and constraint solving techniques. My work focuses on automatic test data generation for C and Java programs, test suite optimisation and prioritisation, test execution scheduling. In the late 90s, I proposed constraint-based testing as a general paradigm to automatically generate test cases by using constraint techniques. Recently, I have been working on variability testing and the generation of test configurations for highly-configurable software systems using constraint optimization techniques.


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
      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
      Symbolic Path-Oriented Test Data Generation for Floating-Point Programs - Dagsthul Seminar on "Symbolic Execution and Constraint Solving" - Oct. 2014


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
Defense on 20 Apr. 2015
Erik Rogstad (SIMULA - University of Oslo) Stefano Di Alesio
Defense on 19 Mar. 2015
Morten Mossige (ABB Robotics - University of Stavanger)
Alexandre Pétillon (SIMULA - University of Oslo)

Teaching Resources

Professional Activities

CP'15                (PC member)  --  21st Int. Conference on Principles and Practice of Constraint Programming, Cork, Ireland, 31 Aug. 4 Sep. 2015
IJCAI'15           (PC member)  --  Intl Joint Conf. on Artificial Intelligence, Bueno Aires, Argentine, 25-31 July 2015
ICST'15             (PC member and PhD symposium co-chair)  -- IEEE Intl Conf. on Soft. Testing, Verif. and Valid., Graz, Austria, 13-17 April 2015
FM'15                (Finance co-chair)  --  20th International Symposium on Formal Methods, Oslo, Norway 22-26 June, 2015
TAP'15              (PC member)         --   10th  Int. Conf. on Tests and Proofs, L'Aquila, Italy, July 20-24, 2015
LOPSTR'15        (PC member)      --   25th Int. Symp. on Logic-Based Program Synthesis and Transformation, Siena, Italy, 13-15 July 2015
CSTVA'15         (Program co-chair) --   6th  Workshop on Constraints in Software Testing, Verification and Analysis, India, June, 2014

ICSE'14 SEIP     (Program co-chair)  --
36th Int. Conf. on Software Engineering, SEIP (Software Engineering In Practice) Track, India, Jun. 2014
ICST'14              (PC member)         --   7th IEEE Int. Conf. on Software Testing, Verification and Validation, Cleveland, Ohio, USA, Mar. Apr. 2014
COMPSAC'14    (PC member)       -- 38th IEEE Annual Int. 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
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

          (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

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

CSTVA'11 (Organizer),
VAST'11 (PC member), QSIC'11 (PC member) , TAP'11 (PC member) 
ICST'10 (PC member), TAP'10 (PC member), QSIC'10 (PC member), JFPC'10 (PC member) 

(PC member),
QSIC'09 (PC member), ICST'09 (PC member), JFPC'09 (PC member)

(PC member),QSIC'08 (PC member), ICST'08 (PC member), JFPC'08 (PC member)

(PC member), STEV'07 (PC member), QSIC'07 (PC member),JFPC'07 (PC member)

(Organizer), QSIC'06 (PC member), JFPC'06 (PC member)

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


(Publicity chair),
ISSRE'04 (PC member, Publicity chair) , JFPC'04 (PC member)