INTERNATIONAL JOURNALS -- 7 references, last updated Tue Dec 6 10:01:28 2011
- [Lazaar et al., 2011]
- N. Lazaar, A. Gotlieb, and
Y. Lebbah.
A cp framework for testing cp.
CONSTRAINTS Journal, 2011.
Under revision.
- [Gotlieb and Petit, 2010]
- A. Gotlieb and
M. Petit.
A uniform random test data generator for path testing.
The Journal of Systems and Software, 83(12):2618–2626, Dec.
2010.
- [Charreteur et al., 2009]
- F. Charreteur,
B. Botella, and A. Gotlieb.
Modelling dynamic memory management in constraint-based testing.
The Journal of Systems and Software, 82(11):1755–1766, Nov. 2009.
Special Issue: TAIC-PART 2007 and MUTATION 2007.
- [Gotlieb, 2009]
- A. Gotlieb.
Tcas software verification using constraint programming.
The Knowledge Engineering Review, 2009.
Accepted for publication.
- [Gotlieb et al., 2007]
- A. Gotlieb, T. Denmat,
and B. Botella.
Goal-oriented test data generation for pointer programs.
Information and Soft. Technol., 49(9-10):1030–1044, Sep. 2007.
(PostScript, 28 pages, 364841 bytes)
(PDF, 384902 bytes)
- [Botella et al., 2006]
- B. Botella, A. Gotlieb,
and C. Michel.
Symbolic execution of floating-point computations.
The Software Testing, Verification and Reliability journal,
16(2):pp 97–121, June 2006.
(PostScript, 41 pages, 601488 bytes)
(PDF, 430223 bytes)
- [Lhomme et al., 1998]
- O. Lhomme, A. Gotlieb,
and M. Rueher.
Dynamic optimization of interval narrowing algorithms.
Journal of Logic Programming, 37:164–182, 1998.
INTERNATIONAL CONFERENCES -- 27 references, last updated Tue Dec 6 10:02:12 2011
- [Carlier and Gotlieb, 2011]
- M. Carlier and
A. Gotlieb.
Filtering by ulp maximum.
In Proc. of the IEEE Int. Conf. on Tools for Artificial Intelligence
(ICTAI'11), Nov. 2011.
Short paper, 4 pages.
- [Hervieu et al., 2011]
- A. Hervieu, B. Baudry,
and A. Gotlieb.
Pacogen: Automatic generation of pairwise test configurations from feature
models.
In Proc. of the 22nd IEEE Int. Symp. on Softw. Reliability Engineering
(ISSRE'11), Hiroshima, Japan, Nov. 2011.
- [Lazaar et al., 2011]
- N. Lazaar, A. Gotlieb,
and 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, Mar. 2011.
- [Carlier et al., 2010]
- M. Carlier, C. Dubois,
and A. Gotlieb.
Constraint reasonning in focaltest.
In 5rd International Conference on Software and Data Technologies
(ICSOFT'10), Athens, Greece, Jul. 2010.
- [Charreteur and Gotlieb, 2010]
- F. Charreteur and
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, Nov. 2010.
- [Delahaye et al., 2010]
- M. Delahaye,
B. Botella, and A. Gotlieb.
Explanation-based generalization of infeasible path.
In 3rd IEEE International Conference on Software Testing, Validation and
Verification (ICST'10), Paris, France, Apr. 2010.
- [Lazaar et al., 2010a]
- N. Lazaar, A. Gotlieb,
and Y. Lebbah.
Fault localization in constraint programs.
In 22th Int. Conf. on Tools with Artificial Intelligence
(ICTAI'2010), Arras, France, Oct. 2010.
- [Lazaar et al., 2010b]
- N. Lazaar, A. Gotlieb,
and Y. Lebbah.
On testing constraint programs.
In 16th Int. Conf. on Principles and Practices of Constraint Programming
(CP'2010), St Andrews, Scotland, Sept. 2010.
- [Gotlieb, 2009]
- A. Gotlieb.
Euclide: A constraint-based testing platform for critical c programs.
In 2th IEEE International Conference on Software Testing, Validation and
Verification (ICST'09), Denver, CO, Apr. 2009.
(PostScript, 10 pages, 1366091 bytes)
(PDF, 139952 bytes)
- [Gotlieb and Petit, 2009]
- A. Gotlieb and
M. Petit.
Towards a theory for testing non-terminating programs.
In 33nd Annual IEEE International Computer Software and Applications
Conference (COMPSAC'09), Seattle, USA, Jul. 2009.
6 pages.
(PostScript, 6 pages, 256312 bytes)
(PDF, 108917 bytes)
- [Gotlieb and Petit, 2008]
- A. Gotlieb and
M. Petit.
Constraint reasonning in path-oriented random testing.
In 32nd Annual IEEE International Computer Software and Applications
Conference (COMPSAC'08), Turku, Finland, Jul. 2008.
Short paper, 4 pages.
(PostScript, 4 pages, 71078 bytes)
(PDF, 69740 bytes)
- [Charreteur et al., 2007]
- F. Charreteur,
B. Botella, and A. Gotlieb.
Modelling dynamic memory management in constraint-based testing.
In TAIC-PART (Testing: Academic and Industrial Conference),
Windsor, UK, Sep. 2007.
(PostScript, 6152496 bytes)
(PDF, 526178 bytes)
- [Denmat et al., 2007a]
- T. Denmat, A. Gotlieb,
and 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,
Sep. 2007.
(PostScript, 16 pages, 266696 bytes)
(PDF, 176059 bytes)
- [Denmat et al., 2007b]
- T. Denmat, A. Gotlieb,
and M. Ducasse.
Improving constraint-based testing with dynamic linear relaxations.
In 18th IEEE International Symposium on Software Reliability Engineering
(ISSRE' 2007), Trollhättan, Sweden, Nov. 2007.
(PostScript, 10 pages, 209818 bytes)
(PDF, 156273 bytes)
- [Petit and Gotlieb, 2007a]
- M. Petit and
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.
(PostScript, 2005163 bytes)
(PDF, 221946 bytes)
- [Petit and Gotlieb, 2007b]
- M. Petit and
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.
(PostScript, 2823893 bytes)
(PDF, 89149 bytes)
- [Gotlieb and Bernard, 2006]
- A. Gotlieb and
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, Oct. 2006.
(PostScript, 8 pages, 1144299 bytes)
(PDF, 163456 bytes)
- [Gotlieb et al., 2006]
- A. Gotlieb, B. Botella,
and M. Watel.
Inka: Ten years after the first ideas.
In 19th Int. Conf. on Soft. and Systems Eng. and their Applications
(ICSSEA'06), Paris, France, Dec. 2006.
(PostScript, 4655495 bytes)
(PDF, 146441 bytes)
- [Gouraud and Gotlieb, 2006]
- S.D. Gouraud and
A. Gotlieb.
Using chrs to generate test cases for the jcvm.
In Eighth International Symposium on Practical Aspects of Declarative
Languages, PADL 06, Charleston, South Carolina, January 2006.
LNCS 3819.
(PostScript, 15 pages, 400010 bytes)
(PDF, 151743 bytes)
- [Gotlieb et al., 2005a]
- A. Gotlieb, T. Denmat,
and 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), Long Beach, CA, USA, Nov. 2005.
4 pages.
- [Gotlieb et al., 2005b]
- A. Gotlieb, T. Denmat,
and B. Botella.
Goal-oriented test data generation for programs with pointer variables.
In 29th IEEE Annual International Computer Software and Applications
Conference (COMPSAC'05), pages 449–454, Edinburh, Scotland, July
2005.
6 pages.
(PostScript, 6 pages, 117959 bytes)
(PDF, 118173 bytes)
- [Gotlieb, 2003]
- A. Gotlieb.
Exploiting symmetries to test programs.
In IEEE International Symposium on Software Reliability and Enginering
(ISSRE), Denver, CO, USA, November 2003.
(PostScript, 10 pages, 163723 bytes)
(PDF, 153082 bytes)
- [Gotlieb and Botella, 2003]
- A. Gotlieb and
B. Botella.
Automated metamorphic testing.
In 27th IEEE Annual International Computer Software and Applications
Conference (COMPSAC'03), Dallas, TX, USA, November 2003.
(PostScript, 7 pages, 144396 bytes)
(PDF, 139784 bytes)
- [Gotlieb, 2001]
- A. Gotlieb.
Inka: An automatic software test data generator.
In Proceedings of DAta Systems In Aerospace (DASIA 2001),
Eurospace, The Association of European Space Industry, Nice, France, May
2001.
(PostScript, 1131959 bytes)
(PDF, 44913 bytes)
- [Gotlieb et al., 2000]
- A. Gotlieb, B. Botella,
and M. Rueher.
A clp framework for computing structural test data.
In Proceedings of Computational Logic (CL'2000), LNAI 1891, pages
399–413, London, UK, July 2000.
(PostScript, 15 pages, 225107 bytes)
(PDF, 2394103 bytes)
- [Gotlieb et al., 1998]
- A. Gotlieb, B. Botella,
and M. Rueher.
Automatic test data generation using constraint solving techniques.
In Proc. of Int. Symp. on Soft. Testing and Analysis (ISSTA'98),
pages 53–62, 1998.
(PostScript, 10 pages, 154783 bytes)
(PDF, 210013 bytes)
- [Lhomme et al., 1996]
- O. Lhomme, A. Gotlieb,
M. Rueher, and P. Taillibert.
Boosting the interval narrowing algorithm.
In Proc. of the Joint Int. Conf. and Symp. on Logic Programming
(JICSLP'96), pages 378–392, Bonn, Germany, Sep. 1996. MIT Press.
^****** INTERNATIONAL WORKSHOPS ^****** ^//////
6 references, last updated Tue Dec 6 10:02:12 2011
- [Gotlieb et al., 2010]
- A. Gotlieb, M. Leconte,
and 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, Sept. 2010.
- [Petit and Gotlieb, 2009]
- M. Petit and
A. Gotlieb.
Distinguish dynamic basic blocks by structural statistical testing.
In Proc. of the 12th European Workshop on Dependable Computing,
Toulouse, France, May 2009.
- [Blanc et al., 2006]
- B. Blanc, F. Bouquet,
A. Gotlieb, B. Jeannet, T. Jéron, B. Legeard, B. Marre, C. Michel, and
M. Rueher.
The v3f project.
In Proc. of the 1st Workshop on Constraints in Software Testing,
Verification and Analysis (CSTVA'06), Nantes, France, Sep. 2006.
- [Gotlieb and Petit, 2006]
- A. Gotlieb and
M. Petit.
Path-oriented random testing.
In 1st ACM Int. Workshop on Random Testing (RT'06), Portland,
Maine, July 2006.
- [Denmat et al., 2005]
- T. Denmat, A. Gotlieb,
and M. Ducassé.
Proving or disproving likely invariants with constraint reasoning.
In Proc.of the 15th Workshop on Logic-Based Methods in Programming
Environments (WLPE'05), Sitges, SPAIN, Oct. 2005.
satelite event of International Conference on Logic Programming (ICLP'2005).
(PostScript, 15 pages, 187888 bytes)
(PDF, 222489 bytes)
- [Petit and Gotlieb, 2004]
- M. Petit and
A. Gotlieb.
An ongoing work on statistical structural testing via probabilistic concurrent
constraint programming.
In SIVOES-MODEVA workshop – satelite event of Int. Symp. on Software
Reliability Engineering (ISSRE'04), Saint-Malo, France, November
2004.
^****** BOOK CHAPTERS ^****** ^//////
1 references, last updated Tue Dec 6 10:02:13 2011
- [Blanc et al., 2007]
- B. Blanc, A. Gotlieb,
and C. Michel.
Constraints in software testing, verification and analysis.
In Frédéric Benhamou, Narendra Jussien, and Barry O'Sullivan, editors,
Trends in Constraint Programming, part 7, pages 333–368. ISTE,
London, UK, May 2007.
^****** NATIONAL JOURNALS ^****** ^//////
2 references, last updated Tue Dec 6 10:02:14 2011
- [Botella et al., 2002]
- B. Botella, A. Gotlieb,
C. Michel, M. Rueher, and P. Taillibert.
Utilisation des contraintes pour la génération automatique de cas de test
structurels.
In Technique et sciences informatiques, volume 21–9 of
TSI, pages 1163–1187. Hermes – Lavoisier, 2002.
(PostScript, 25 pages, 275930 bytes)
(PDF, 178499 bytes)
- [Gotlieb et al., 1996]
- A. Gotlieb, F. Calvet,
and M. Rueher.
Génération automatique de cas de test : une approche programmation logique par
contraintes.
In Actes des journées Génie Logiciels GL'96 publiés dans Génie
Logiciel, pages 135–140, Paris, France, Nov. 1996. EC2.
^****** NATIONAL CONFERENCES ^****** ^//////
6 references, last updated Tue Dec 6 10:02:15 2011
- [Hervieu et al., 2011]
- A. Hervieu, B. Baudry,
and A. Gotlieb.
Pacogen: Automatic generation of pairwise test configurations from feature
models.
In Journées des Lignes de Produits Logiciels (JLdP'11), Paris,
Oct. 2011.
- [Bardin et al., 2009]
- S. Bardin, B. Botella,
F. Dadeau, F. Charreteur, A. Gotlieb, B. Marre, C. Michel, M. Rueher, and
N. Williams.
Constraint-based software testing.
In 1eres journées nationales du GDR-GPL, groupe de travail MTVV,
Toulouse, France, Jan. 2009.
(PostScript, 5 pages, 194426 bytes)
(PDF, 82004 bytes)
- [Lazaar et al., 2009]
- N. Lazaar, A. Gotlieb, and
Y. Lebbah.
Vers une théorie du test des programmes à contraintes.
In Cinquièmes Journées Francophones de Programmation par Contraintes
(JFPC'09), Amiens, France, Juin 2009.
- [Charreteur and Gotlieb, 2008]
- F. Charreteur and
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, Juin 2008.
(PDF, 222008 bytes)
- [Petit and Gotlieb, 2006]
- M. Petit and
A. Gotlieb.
Raisonner et filtrer avec un choix probabiliste partiellement connu.
In Secondes Journées Francophones de Programmation par Contraintes
(JFPC'06), Nimes, France, Juin 2006.
- [Gouraud and A., 2005]
- S.D. Gouraud and Gotlieb
A.
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, juin 2005.
^****** POSTERS ^****** ^//////
3 references, last updated Tue Dec 6 10:02:16 2011
- [Gotlieb, 2010]
- A Gotlieb.
Euclide.
In 2emes journées nationales du GDR-GPL, groupe de travail MTVV,
Pau, France, Jan. 2010.
won the best poster prize.
- [Lazaar et al., 2008]
- N. Lazaar, A. Gotlieb,
and Y. Lebbah.
Towards constraint-based local search for automatic test data generation.
In Poster in the 1th International Workshop on Search-based Test Data
Generation, co-located with ICST 2008, Lillehammer, Norway, Apr. 2008.
(PDF, 2572148 bytes)
- [Petit and Gotlieb,
2004]
- M. Petit and A. Gotlieb.
Probabilistic choice operators as global constraints : application to
statistical software testing.
In Poster presentation in ICLP'04, number 3132 in Springer LNCS,
pages 471–472, 2004.
^****** OTHERS ^****** ^//////
3 references, last updated Tue Dec 6 10:02:16 2011
- [Botella and Gotlieb, 2005]
- B. Botella and
A. Gotlieb.
FPSE: Floating-Point Symbolic Execution.
INRIA-IRISA, Rennes, 2005.
Documentation of a floating-point interval constraint solver.
- [Botella et al., 2004]
- B. Botella, A. Gotlieb,
and C. Michel.
Correct handling of floating-point computations in symbolic execution, March
2004.
INRIA Research report 5150, 24 pp.
- [Gotlieb, 2000]
- A. Gotlieb.
Utilisation de la Programmation Logique par Contraintes pour la
génération automatique de données de test.
Thèse de doctorat, Université de Nice Sophia-Antipolis, Jan 2000.