Arnaud Gotlieb

Cited by

	All	Since 2018
Citations	3486	1450
h-index	30	20
i10-index	74	36

300

150

225

1997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220239 12 9 19 17 26 29 53 53 83 78 69 104 112 92 151 192 176 199 226 253 232 272 292 269 262 123

Public access

View all

26 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
Sagar SenSenior Scientist, SINTEF DigitalVerified email at sintef.no
Shaukat AliSimula Research LaboratoryVerified email at simula.no
Nadjib LazaarMaître de conférence, LIRMM-CNRS, Université de Montpellier 2Verified email at lirmm.fr
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
Roberto BagnaraDepartment of Mathematical, Physical and Computer Sciences - University of Parma, ItalyVerified email at cs.unipr.it
Sébastien BardinCEA LISTVerified email at cea.fr
Mireille DucasséEmeritus Professor of Computer Science, IRISA-INSA de RennesVerified email at irisa.fr
Razieh BehjatiGoogleVerified email at google.com
Mats CarlssonRISE Research Institutes of SwedenVerified email at ri.se

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	382	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	216	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	190	2013
A clp framework for computing structural test data A Gotlieb, B Botella, M Rueher Computational logic—CL 2000: first international conference london, UK …, 2000	153	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
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	127	2013
Automated metamorphic testing A Gotlieb, B Botella Proceedings 27th Annual International Computer Software and Applications …, 2003	127	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	109	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	88	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	77	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	64	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	60	2014
TCAS software verification using constraint programming A Gotlieb The Knowledge Engineering Review 27 (3), 343-360, 2012	51	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	50	2013
Path-oriented random testing A Gotlieb, M Petit Proceedings of the 1st international workshop on Random testing, 28-35, 2006	48	2006
Challenges of testing machine learning based systems D Marijan, A Gotlieb, MK Ahuja 2019 IEEE international conference on artificial intelligence testing …, 2019	47	2019
Boosting the Interval Narrowing Al-gorithm O Lhomme, A Gotlieb, M Rueher, P Taillibert	46	1996
Practical minimization of pairwise-covering test configurations using constraint programming A Hervieu, D Marijan, A Gotlieb, B Baudry Information and Software Technology 71, 129-146, 2016	37	2016

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