Arnaud Gotlieb

Arnaud Gotlieb

Simula Research Laboratory - Oslo / Norway
Others
AD Scientific Index ID: 4409449
person_outline Arnaud Gotlieb's MOST POPULAR ARTICLES
1-) Automatic test data generation using constraint solving techniquesA Gotlieb, B Botella, M RueherACM SIGSOFT Software Engineering Notes 23 (2), 53-62, 19983791998
2-) Reinforcement learning for automatic test case prioritization and selection in continuous integrationH Spieker, A Gotlieb, D Marijan, M MossigeProceedings of the 26th ACM SIGSOFT International Symposium on Software …, 20171782017
3-) Test case prioritization for continuous regression testing: An industrial case studyD Marijan, A Gotlieb, S Sen2013 IEEE International Conference on Software Maintenance, 540-543, 20131772013
4-) A clp framework for computing structural test dataA Gotlieb, B Botella, M RueherInternational Conference on Computational Logic, 399-413, 20001592000
5-) Symbolic execution of floating‐point computationsB Botella, A Gotlieb, C MichelSoftware Testing, Verification and Reliability 16 (2), 97-121, 20061452006