Arnaud Gotlieb

Cited by

	All	Since 2018
Citations	3618	1576
h-index	32	21
i10-index	73	36

300

150

225

1997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220239 12 9 19 17 25 32 53 52 84 79 73 104 113 94 149 196 174 200 218 254 229 272 290 263 263 259

Public access

View all

29 articles

5 articles

available

not available

Based on funding mandates

Co-authors

Dusica MarijanSimulaVerified email at simula.no
Helge SpiekerSimula Research LaboratoryVerified email at simula.no
Morten MossigeVerified email at uis.no
Michel RueherProfesseur émérite, Université Côte d'AzurVerified email at unice.fr
Nadjib LazaarMaître de conférence, LIRMM-CNRS, Université de Montpellier 2Verified email at lirmm.fr
Sagar SenSenior Scientist, SINTEF DigitalVerified email at sintef.no
Shaukat AliSimula Research LaboratoryVerified email at simula.no
Lionel BriandProfessor, EECS, University of Ottawa, Canada and SnT Centre, University of LuxembourgVerified 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 Technology, KTHVerified email at kth.se
Yahia LebbahUniversité Oran 1, Laboratoire LITIO, AlgeriaVerified email at univ-oran.dz
Stefano Di AlesioChief Expert in Transaction Monitoring Development, NordeaVerified email at simula.no
Sébastien BardinCEA, List, Université Paris-SaclayVerified email at cea.fr
Roberto BagnaraDepartment of Mathematical, Physical and Computer Sciences - University of Parma, ItalyVerified email at cs.unipr.it
Mathieu AcherFull Professor at IRISA / Inria / Institut Universitaire de France (IUF) / INSA RennesVerified email at irisa.fr
Mireille DucasséEmeritus Professor of Computer Science, IRISA-INSA de RennesVerified email at irisa.fr
Razieh Behjatipoolside.aiVerified email at poolside.ai

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	388	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	250	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	195	2013
A clp framework for computing structural test data A Gotlieb, B Botella, M Rueher International Conference on Computational Logic, 399-413, 2000	155	2000
Symbolic execution of floating‐point computations B Botella, A Gotlieb, C Michel Software Testing, Verification and Reliability 16 (2), 97-121, 2006	147	2006
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	132	2013
Automated metamorphic testing A Gotlieb, B Botella Proceedings 27th Annual International Computer Software and Applications …, 2003	132	2003
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	114	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	106	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	96	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	79	2013
Euclide: A constraint-based testing framework for critical c programs A Gotlieb 2009 International Conference on Software Testing Verification and …, 2009	68	2009
Dynamic optimization of interval narrowing algorithms O Lhomme, A Gotlieb, M Rueher The Journal of Logic Programming 37 (1-3), 165-183, 1998	65	1998
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	61	2014
TCAS software verification using constraint programming A Gotlieb The Knowledge Engineering Review 27 (3), 343-360, 2012	53	2012
Challenges of testing machine learning based systems D Marijan, A Gotlieb, MK Ahuja 2019 IEEE international conference on artificial intelligence testing …, 2019	52	2019
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	50	2013
Path-oriented random testing A Gotlieb, M Petit Proceedings of the 1st international workshop on Random testing, 28-35, 2006	48	2006
Boosting the Interval Narrowing Al-gorithm O Lhomme, A Gotlieb, M Rueher, P Taillibert	46	1996
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	39	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