Arnaud
Gotlieb, habilitated (12 Dec. 2011)
|
 |
Arnaud
Gotlieb, habilitated (12 Dec. 2011)
|
|
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
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:
| 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 |
Industrial PhD supervision - A. Hervieu - KEREVAL, Thorigné-Fouillard, France |
| CASTLES
project funded by the RNTL: 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é Informatique : Validation & Verification of programs with floating-point numbers calculus |
IP OPENCOSS funded by European Commission, from (2011-2014) |
| CHANNEL project funded by
Egide under the PAI ALLIANCE: Automatic test data generation for security problems. In collaboration with Andy King from the |
CERTUS SFI funded by RCN A 8-year large initiative on Software V&V in Norway, from (Oct. 2011-2019) |
| GENETTA project
funded by the Brittany region: Automatic statistical test data generation for embedded Java |
Industrial PhD supervision -- M. Mossige - ABB Robotics, Stavanger, Norway (2012-2015) |
| CAT
project / U3CAT
project
funded by the RNTL: Building a C Analysis Toolbox. Exploring constraint-based analysis for C pointer programs |
EvolveIT project funded by RCN Evidence-Based Recommendations to Guide the Evolution of Component-Based Product Families (2013-2016) |
| Tristan
Denmat Defense on 5 June 2008 |
Matthieu Petit Defense on 4 July 2008 | Florence
Charreteur Defense on 9 March 2010 |
| Aymeric Hervieu Kereval - University of Rennes |
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) |
Professional Activities
2014
ICSE'14 SEIP (Program co-chair) -- 36th International Conference on Software Engineering, SEIP (Software Engineering In Practice) Track, India, Jun. 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
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) -- 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