Periodo de publicación recogido
|
|
|
Practical minimization of pairwise-covering test configurations using constraint programming
Aymeric Hervieu, Dusica Marijan, Arnaud Gotlieb, Benoit Baudry
Information and software technology, ISSN 0950-5849, Nº 71, 2016, págs. 129-146
Infeasible path generalization in dynamic symbolic execution
Mickaël Delahaye, Bernard Botella, Arnaud Gotlieb
Information and software technology, ISSN 0950-5849, Nº 58, 2015, págs. 403-418
Testing robot controllers using constraint programming and continuous integration
Morten Mossige, Arnaud Gotlieb, Hein Meling
Information and software technology, ISSN 0950-5849, Nº 57, 2015, págs. 169-185
Goal-oriented test data generation for pointer programs
Arnaud Gotlieb, Tristan Denmat, Bernard Botella
Information and software technology, ISSN 0950-5849, Vol. 49, Nº 9-10, 2007, págs. 1030-1044
Explanation-Based Generalization of Infeasible Path
Bernard Botella, Arnaud Gotlieb, Michel Delahaye
Third International Conference on Software Testing, Verification, and Validation. ICST 2010. 7-9 April 2010 Paris, France / coord. por Marie-Claude Gaudel, 2010, ISBN 9780769539904, págs. 215-224
Esta página recoge referencias bibliográficas de materiales disponibles en los fondos de las Bibliotecas que participan en Dialnet. En ningún caso se trata de una página que recoja la producción bibliográfica de un autor de manera exhaustiva. Nos gustaría que los datos aparecieran de la manera más correcta posible, de manera que si detecta algún error en la información que facilitamos, puede hacernos llegar su Sugerencia / Errata.
© 2001-2024 Fundación Dialnet · Todos los derechos reservados