Automatic test data generation using constraint solving techniques A Gotlieb, B Botella, M Rueher ACM SIGSOFT Software Engineering Notes 23 (2), 53-62, 1998 | 389 | 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 | 276 | 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 | 202 | 2013 |
A clp framework for computing structural test data A Gotlieb, B Botella, M Rueher International Conference on Computational Logic, 399-413, 2000 | 157 | 2000 |
Symbolic execution of floating‐point computations B Botella, A Gotlieb, C Michel Software Testing, Verification and Reliability 16 (2), 97-121, 2006 | 144 | 2006 |
Automated metamorphic testing A Gotlieb, B Botella Proceedings 27th Annual International Computer Software and Applications …, 2003 | 134 | 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 | 120 | 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 | 98 | 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 | 83 | 2013 |
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 | 63 | 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 |
Challenges of testing machine learning based systems D Marijan, A Gotlieb, MK Ahuja 2019 IEEE international conference on artificial intelligence testing …, 2019 | 57 | 2019 |
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 | 51 | 2013 |
Path-oriented random testing A Gotlieb, M Petit Proceedings of the 1st international workshop on Random testing, 28-35, 2006 | 47 | 2006 |
Boosting the interval narrowing algorithm O Lhomme, A Gotlieb, M Rueher, P Taillibert | 44 | 1996 |
Industry-Academia research collaboration in software engineering: The Certus model D Marijan, A Gotlieb Information and software technology 132, 106473, 2021 | 43 | 2021 |