Arnaud Gotlieb

Cited by

	All	Since 2019
Citations	3884	1616
h-index	32	20
i10-index	76	36

300

150

225

19981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202412 9 19 20 27 32 53 52 71 77 70 102 111 93 149 195 174 201 227 252 228 272 286 271 263 284 237

Public access

View all

36 articles

5 articles

available

not available

Based on funding mandates

Co-authors

Helge SpiekerSimula Research LaboratoryVerified email at simula.no
Morten MossigeVerified email at uis.no
Nadjib LazaarMaître de conférence, LIRMM-CNRS, Université de Montpellier 2Verified email at lirmm.fr
Michel RueherProfesseur émérite, Université Côte d'AzurVerified email at unice.fr
Sagar SenResearch Manager and Senior Scientist, SINTEF DigitalVerified email at sintef.no
Shaukat AliSimula Research LaboratoryVerified email at simula.no
Lionel BriandProfessor, EECS, University of Ottawa, Canada and Lero Centre, University of Limerick, IrelandVerified email at uottawa.ca
Claude MichelI3S, University of Nice-Sophia AntipolisVerified email at i3s.unice.fr
Aymeric HervieuData scientist at EnergiencyVerified email at energiency.com
Shiva NejatiEECS / University of OttawaVerified email at uottawa.ca
Hein MelingProfessor of Computer Science, University of Stavanger, NorwayVerified email at uis.no
Benoit BaudryProfessor of Software Engineering, Université de MontréalVerified email at umontreal.ca
Yahia LebbahUniversité Oran 1, Laboratoire LITIO, AlgeriaVerified email at univ-oran.dz
Roberta GoriUniversita' di PisaVerified email at di.unipi.it
Mathieu AcherProfessor at IRISA / Inria / Institut Universitaire de France (IUF) / INSA RennesVerified email at irisa.fr
Sébastien BardinCEA, List, Université Paris-SaclayVerified email at cea.fr
Stefano Di AlesioNordeaVerified email at simula.no
Roberto BagnaraDepartment of Mathematical, Physical and Computer Sciences - University of Parma, ItalyVerified email at cs.unipr.it
Mireille DucasséEmeritus Professor of Computer Science, IRISA-INSA de RennesVerified email at irisa.fr
Razieh BehjatiVerified email at simula.no

Arnaud Gotlieb

Simula Research Laboratory

Verified email at simula.no - Homepage

Validation Intelligence Constraint Programming Software Testing


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Automatic test data generation using constraint solving techniques A Gotlieb, B Botella, M Rueher ACM SIGSOFT Software Engineering Notes 23 (2), 53-62, 1998	390	1998
Reinforcement learning for automatic test case prioritization and selection in continuous integration H Spieker, A Gotlieb, D Marijan, M Mossige Proceedings of the 26th ACM SIGSOFT international symposium on software …, 2017	302	2017
Test case prioritization for continuous regression testing: An industrial case study D Marijan, A Gotlieb, S Sen 2013 IEEE International Conference on Software Maintenance, 540-543, 2013	210	2013
A clp framework for computing structural test data A Gotlieb, B Botella, M Rueher International Conference on Computational Logic, 399-413, 2000	159	2000
Symbolic execution of floating‐point computations B Botella, A Gotlieb, C Michel Software Testing, Verification and Reliability 16 (2), 97-121, 2006	145	2006
Automated metamorphic testing A Gotlieb, B Botella Proceedings 27th Annual International Computer Software and Applications …, 2003	136	2003
Minimizing test suites in software product lines using weight-based genetic algorithms S Wang, S Ali, A Gotlieb Proceedings of the 15th annual conference on Genetic and evolutionary …, 2013	131	2013
Cost-effective test suite minimization in product lines using search techniques S Wang, S Ali, A Gotlieb Journal of Systems and Software 103, 370-391, 2015	123	2015
Pacogen: Automatic generation of pairwise test configurations from feature models A Hervieu, B Baudry, A Gotlieb 2011 IEEE 22nd International Symposium on Software Reliability Engineering …, 2011	110	2011
Multi-objective test prioritization in software product line testing: An industrial case study S Wang, D Buchmann, S Ali, A Gotlieb, D Pradhan, M Liaaen Proceedings of the 18th International Software Product Line Conference …, 2014	100	2014
Practical pairwise testing for software product lines D Marijan, A Gotlieb, S Sen, A Hervieu Proceedings of the 17th international software product line conference, 227-235, 2013	87	2013
Challenges of testing machine learning based systems D Marijan, A Gotlieb, MK Ahuja 2019 IEEE international conference on artificial intelligence testing …, 2019	71	2019
Euclide: A constraint-based testing framework for critical c programs A Gotlieb 2009 International Conference on Software Testing Verification and …, 2009	69	2009
FLOWER: optimal test suite reduction as a network maximum flow A Gotlieb, D Marijan Proceedings of the 2014 international symposium on software testing and …, 2014	64	2014
Dynamic optimization of interval narrowing algorithms O Lhomme, A Gotlieb, M Rueher The Journal of Logic Programming 37 (1-3), 165-183, 1998	63	1998
TCAS software verification using constraint programming A Gotlieb The Knowledge Engineering Review 27 (3), 343-360, 2012	54	2012
Symbolic path-oriented test data generation for floating-point programs R Bagnara, M Carlier, R Gori, A Gotlieb 2013 IEEE Sixth International Conference on Software Testing, Verification …, 2013	53	2013
Industry-Academia research collaboration in software engineering: The Certus model D Marijan, A Gotlieb Information and software technology 132, 106473, 2021	50	2021
Path-oriented random testing A Gotlieb, M Petit Proceedings of the 1st international workshop on Random testing, 28-35, 2006	47	2006
A learning algorithm for optimizing continuous integration development and testing practice D Marijan, A Gotlieb, M Liaaen Software: Practice and Experience 49 (2), 192-213, 2019	45	2019

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors