Publications of Arnaud Gotlieb

Load the BibTeX file

Academic Journals

  1. A. Gotlieb. TCAS software verification using Constraint Programming. The Knowledge Engineering Review, Under revision, 2009.
  2. A. Gotlieb, T. Denmat, B. Botella. Goal-oriented test data generation for pointer programs. Information and Software Technology, 49(9):1030-1044, 2007.
  3. B. Botella, A. Gotlieb, C. Michel. Symbolic execution of floating-point computations. The Software Testing, Verification and Reliability journal, to appear, 2006.

Book Chapters

  1. Benjamin Blanc, Arnaud Gotlieb, Claude Michel. Constraints in Software Testing, Verification and Analysis. In Trends in Constraint Programming, Fré Benhamou, Narendra Jussien, Barry O'Sullivan (eds.), Chap. 7, pp. 333-368, ISTE, London, UK, May 2007.

International Conferences

  1. R. Bagnara, M. Carlier, R. Gori, A. Gotlieb. Symbolic Path-Oriented Test Data Generation for Floating-Point Programs. In Proc. of the 6th IEEE Int. Conf. on Software Testing, Verification and Validation (ICST'13), Luxembourg, Luxembourg, 2013. download
  2. M. Carlier, A. Gotlieb. Filtering by ULP Maximum. In Proc. of the IEEE Int. Conf. on Tools for Artificial Intelligence (ICTAI'11), Short paper, 4 pages, 2011.
  3. N. Lazaar, A. Gotlieb, Y. Lebbah. A framework for the automatic correction of Constraint Programs. In 4th IEEE International Conference on Software Testing, Validation and Verification (ICST'11), Berlin, Germany, 2011.
  4. A. Gotlieb, M. Leconte, B. Marre. Constraint Solving on Modular Integers. In Proc. of the 9th Int. Workshop on Constraint Modelling and Reformulation (ModRef'10), co-located with CP'2010, St Andrews, Scotland, 2010.
  5. N. Lazaar, A. Gotlieb, Y. Lebbah. Fault Localization in Constraint Programs. In 22th Int. Conf. on Tools with Artificial Intelligence (ICTAI'2010), Arras, France, 2010.
  6. F. Charreteur, A. Gotlieb. Constraint-Based Test Input Generation for Java Bytecode. In Proc. of the 21st IEEE Int. Symp. on Softw. Reliability Engineering (ISSRE'10), San Jose, CA, USA, 2010.
  7. N. Lazaar, A. Gotlieb, Y. Lebbah. On Testing Constraint Programs. In 16th Int. Conf. on Principles and Practices of Constraint Programming (CP'2010), St Andrews, Scotland, 2010.
  8. M. Carlier, C. Dubois, A. Gotlieb. Constraint Reasonning in FOCALTEST. In 5rd International Conference on Software and Data Technologies (ICSOFT'10), Athens, Greece, 2010.
  9. M. Delahaye, B. Botella, A. Gotlieb. Explanation-based generalization of infeasible path. In 3rd IEEE International Conference on Software Testing, Validation and Verification (ICST'10), Paris, France, 2010.
  10. N. Lazaar, A. Gotlieb, Y. Lebbah. Towards Constraint-Based Local Search for Automatic Test Data Generation. In 1th International Workshop on Search-based Test Data Generation, co-located with ICST 2009, Lillehammer, Norway, 2009.
  11. A. Gotlieb. EUCLIDE: A Constraint-Based Testing platform for critical C programs. In 2th International Conference on Software Testing, Validation and Verification (ICST'09), Denver, CO, 2009.
  12. A. Gotlieb, M. Petit. Towards a Theory for Testing Non-terminating Programs. In 33nd Annual IEEE International Computer Software and Applications Conference (COMPSAC'09), 6 pages, Seattle, USA, 2009.
  13. A. Gotlieb, M. Petit. Constraint reasonning in Path-oriented Random Testing. In 32nd Annual IEEE International Computer Software and Applications Conference (COMPSAC'08), 4 pages, Turku, Finland, 2008.
  14. T. Denmat, A. Gotlieb, M. Ducasse. An Abstract Interpretation Based Combinator for Modeling While Loops in Constraint Programming. In Proceedings of Principles and Practices of Constraint Programming (CP'07), Springer Verlag, LNCS 4741, Pages 241-255, Providence, USA, 2007.
  15. T. Denmat, A. Gotlieb, M. Ducasse. Improving Constraint-Based Testing with Dynamic Linear Relaxations. In 18th IEEE International Symposium on Software Reliability Engineering (ISSRE' 2007), Trollhättan, Sweden, 2007.
  16. F. Charreteur, B. Botella, A. Gotlieb. Modelling dynamic memory management in Constraint-Based Testing. In TAIC-PART (Testing: Academic and Industrial Conference), Pages 111-120, Windsor, UK, 2007.
  17. M. Petit, A. Gotlieb. Uniform Selection of Feasible Paths as a Stochastic Constraint Problem. In Proceedings of International Conference on Quality Software (QSIC'07), IEEE, Portland, USA, October 2007.
  18. M. Petit, A. Gotlieb. Boosting Probabilistic Choice Operators. In Proceedings of Principles and Practices of Constraint Programming, Springer Verlag, LNCS 4741, Pages 559-573, Providence, USA, September 2007.
  19. A. Gotlieb, P. Bernard. A Semi-empirical Model of Test Quality in Symmetric Testing: Application to Testing Java Card APIs. In Sixth International Conference on Quality Software (QSIC'06), Beijing, China, 2006.
  20. B. Blanc, F. Bouquet, A. Gotlieb, B. Jeannet, T. Jéron, B. Legeard, B. Marre, C. Michel, M. Rueher. The V3F project. In Proceedings of Workshop on Constraints in Software Testing, Verification and Analysis (CSTVA'06), Nantes, France, 2006.
  21. A. Gotlieb, B. Botella, M. Watel. Inka: Ten years after the first ideas. In 19th International Conference on Software & Systems Engineering and their Applications (ICSSEA'06), Paris, France, 2006.
  22. A. Gotlieb, M. Petit. Path-oriented random testing. In Proceedings of the International Workshop on Random Testing, Pages 28-35, Portland, USA, July 2006.
  23. M. Petit, A. Gotlieb. Raisonner et filtrer avec un choix probabiliste partiellement connu. In Deuxièmes Journées Francophones de Programmation par Contraintes, N\^imes, France, June 2006.
  24. S. Gouraud, A. Gotlieb. Using CHRs to generate test cases for the JCVM. In Eighth International Symposium on Practical Aspects of Declarative Languages, PADL 06, Lecture Notes in Computer Science, Volume 3819, Charleston, South Carolina, January 2006.
  25. A. Gotlieb, T. Denmat, B. Botella. Constraint-based test data generation in the presence of stack-directed pointers. In 20th IEEE/ACM International Conference on Automated Software Engineering (ASE'05), 4 pages, short paper, Long Beach, CA, USA, 2005.
  26. S.D. Gouraud, A. Gotlieb. Utilisation des CHRs pour générer des cas de test fonctionnel pour la Machine Virtuelle Java Card. In Premières Journées Francophones de Programmation par Contraintes (JFPC'05), Lens, FRANCE, 2005.
  27. T. Denmat, A. Gotlieb, M. Ducassé. Proving or Disproving Likely Invariants with Constraint Reasoning. In Proceedings of the 15th Workshop on Logic-based Method for Programming Environments, A. Serebrenik (ed.), Satelite event of International Conference on Logic Programming (ICLP'2005). Published in Computer Research Repository cs.SE/0508108, Sitges, SPAIN, October 2005. download
  28. A. Gotlieb, T. Denmat, B. Botella. Goal-oriented test data generation for programs with pointer variables. In 29th IEEE Annual International Computer Software and Applications Conference (COMPSAC'05), 6 pages, Pages 449-454, Edinburh, Scotland, July 2005.
  29. Matthieu Petit, Arnaud Gotlieb. Probabilistic choice operators as global constraints : application to statistical software testing. In Poster presentation in ICLP'04, Springer LNCS, Pages 471-472, 2004.
  30. Matthieu Petit, Arnaud Gotlieb. An ongoing work on statistical structural testing via probabilistic concurrent constraint programming. In Proc. of SIVOES-MODEVA workshop, St Malo, France, November 2004.
  31. A. Gotlieb, B. Botella. Automated Metamorphic Testing. In Proc. of the 27th IEEE Annual International Computer Software and Applications Conference (COMPSAC), 3th to 7th November, Dallas, TX, USA, 2003.
  32. Arnaud Gotlieb. Exploiting Symmetries to Test Programs. In Proc. of 14th IEEE International Symposium on Software Reliability Engineering (ISSRE 2003), 17th to 20th November, Denver, Colorado, USA, 2003.

National Conferences

  1. F. Charreteur, A. Gotlieb. Raisonnement à contraintes pour le test de bytecode Java. In quatrièmes Journées Francophones de Programmation par Contraintes (JFPC'08), Pages 11-20, Nantes, France, June 2008.

Research Reports

  1. Nadjib Lazaar, Nourredine Aribi, Arnaud Gotlieb, Yahia Lebbah. Negation for Free!. Research Report INRIA, No 0, October 2011. download

Thesis

  1. Arnaud Gotlieb. Contributions to Constraint-Based Testing. Habilitation à diriger des recherches University of Rennes 1, 2011.