Arnaud Gotlieb
Arnaud Gotlieb
Chief Research Scientist / Research Professor
Email verificata su simula.no - Home page
TitoloCitata daAnno
Automatic test data generation using constraint solving techniques
A Gotlieb, B Botella, M Rueher
ACM SIGSOFT Software Engineering Notes 23 (2), 53-62, 1998
3491998
A clp framework for computing structural test data
A Gotlieb, B Botella, M Rueher
International Conference on Computational Logic, 399-413, 2000
1392000
Symbolic execution of floating‐point computations
B Botella, A Gotlieb, C Michel
Software Testing, Verification and Reliability 16 (2), 97-121, 2006
1262006
Automated metamorphic testing
A Gotlieb, B Botella
Proceedings 27th Annual International Computer Software and Applications …, 2003
1042003
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
892013
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
792011
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
762013
Euclide: A constraint-based testing framework for critical c programs
A Gotlieb
2009 International Conference on Software Testing Verification and …, 2009
642009
Dynamic optimization of interval narrowing algorithms
O Lhomme, A Gotlieb, M Rueher
The Journal of Logic Programming 37 (1-3), 165-183, 1998
631998
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
562015
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
552014
TCAS software verification using constraint programming
A Gotlieb
The Knowledge Engineering Review 27 (3), 343-360, 2012
452012
Boosting the Interval Narrowing Al-gorithm
O Lhomme, A Gotlieb, M Rueher, P Taillibert
Logic Programming: Proceedings of the 1996 Joint International Conference …, 1996
441996
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
432013
Path-oriented random testing
A Gotlieb, M Petit
Proceedings of the 1st international workshop on Random testing, 28-35, 2006
432006
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
372014
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
362017
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
332013
Exploiting symmetries to test programs
A Gotlieb
14th International Symposium on Software Reliability Engineering, 2003 …, 2003
302003
Constraint-based test input generation for java bytecode
F Charreteur, A Gotlieb
2010 IEEE 21st International Symposium on Software Reliability Engineering …, 2010
282010
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20