Publications of nadjib lazaar

Thesis

  1. Nadjib Lazaar. Méthodologie et outil de Test, de localisation de fautes et de correction automatique des programmes à contraintes. Defended on December, 5th 2011. [pdf]

Journal articles

  1. Nadjib Lazaar, Arnaud Gotlieb, and Yahia Lebbah. A CP framework for testing CP. Constraints Journal, March 2012, Springer Netherlands.

International Conference articles

  1. Nadjib Lazaar, Arnaud Gotlieb, and Yahia Lebbah. A framework for the automatic correction of constraint programs. In Proc. of the 2011 IEEE International Conference on Software Testing, Verification and Validation, ICST’2011, Mar. 2011, Berlin (Germany).
  2. Nadjib Lazaar, Arnaud Gotlieb, and Yahia Lebbah. Fault localization in constraint programs. In Proc. of the 2010 IEEE International Conference on Tools with Artificial Intelligence, ICTAI ’2010, Oct. 2010, Arras (France).
  3. Nadjib Lazaar, Arnaud Gotlieb, and Yahia Lebbah. On testing constraint programs.
    In Proc. of Principles of Constraint Programming, CP’2010, Sept. 2010, St-Andrews (Scotland).

International Conference articles

  1. Nadjib Lazaar.CPTEST: A framework for the automatic fault detection, localization and correction of constraint. In Proc. of the 3rd Workshop on Constraints in Software Testing, Verification, and Analysis programs (CSTVA'11), held within ICST'11, Mar. 2011, Berlin (Germany).

International Conference posters

  1. Nadjib Lazaar ,Arnaud Gotlieb , Yahia Lebbah .Toward Constraint-Based Local Search for Automatic Test Data Generation . In Poster presentation in ICSTW '08: Proceedings of the 2008 IEEE International Conference on Software Testing Verification and Validation Workshop , April 2008, Lillehammer (Norway). [paper] [poster]

National Conference articles

  1. Nadjib Lazaar ,Arnaud Gotlieb , Yahia Lebbah. Vers une Théorie du Test des programmes à contraintes. In paper presentation in JFPC'09: Journées Francophones de Programmation par Contraintes, June 2009, Orléans (France). [paper]

Research reports

  1. Nadjib Lazaar ,Nourredine Aribi, Arnaud Gotlieb , Yahia Lebbah. Negation for free!!. Hal-INRIA, inria-00629657, N° RR-7749 (2011).
  2. Nadjib Lazaar, Arnaud Gotlieb , Yahia Lebbah. On Testing Constraint Programs . Hal-INRIA, inria-00483410,N° RR-7291 (2010).