Common publications from CAVERN :


FDCC:  A combined approach for solving constraints over Finite Domains and Arrays
S. Bardin, A. Gotlieb
In Proc of CPAIOR'12, Nantes, France, May 2012

Constraint solving on modular integers
A. Gotlieb, B. Marre, and M. Leconte.
In Proc. of the 9th Int. Workshop on Constraint Modelling and Reformulation (ModRef'10), co-located with CP'2010, St Andrews, Scotland, Sept. 2010.

Improving the floating point addition and subtraction constraints
Bruno Marre, Claude Michel,
Proc. of the 16th International Conference on Principles and Practice of Constraint Programming, St Andrews, Scotland, Sep. 6-11, 2010.

Explanation-based generalization of infeasible path
M. Delahaye, B. Botella, and A. Gotlieb.
In 3rd IEEE International Conference on Software Testing, Validation and Verification (ICST'10), Paris, France, Apr. 2010.

Modelling dynamic memory management in constraint-based testing
F. Charreteur, B. Botella, A. Gotlieb.
In Journal of Systems and Software, 82(11):1755–1766, Nov. 2009.

Constraint-Based Software Testing
S. Bardin, B. Botella, F. Dadeau, F. Charreteur, A. Gotlieb, B. Marre, C. Michel, M. Rueher, N. Williams
 1ères Journées Nationales du GDR-GPL, 28-30 Janvier 2009, Toulouse.


          Publications from CAVERN :

Matthieu Carlier, Arnaud Gotlieb: Filtering by ULP Maximum. ICTAI 2011: 209-214

Approximating floating-point operations to verify numerical programs
Mohammed Said Belaid, Claude Michel, Michel Rueher,
SCAN 2010, 14th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics, ENS Lyon, France, September 27-30, 2010.

Automatic Verification of Loop Invariants
Olivier Ponsini, Hélène Collavizza, Carine Fédèle, Claude Michel, Michel Rueher,
ICSM 2010, 26th IEEE International Conference on Software Maintenance, Timisoara, Romania, September 12-18, 2010.

Résolution de contraintes sur les nombres à virgule flottante par une approximation sur les nombres réels [pdf]
Mohammed Said Belaid, Claude Michel, Michel Rueher,
Sixièmes Journées Francophones de Programmation par Contraintes (JFPC 2010), Caen, June 9-11, 2010.

Bruno Berstel and Michel Leconte. Using Constraints to Verify Properties of Rule Programs
Proc. of the 2nd Constraints in Software Testing, Verification and Analysis (CSTVA'10) workshop,
Paris, Apr. 2010, co-located with ICST'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.

B. Cama, Arnaud Gotlieb and Guillermo Andrade-Barroso. Tool demonstration : Euclide. Third International Conference on Tests And Proofs (TAP) in ETH Zurich, Switzerland, 2 & 3 July 2009.

Arnaud Gotlieb EUCLIDE : A Constraint-Based Testing platform for critical C programs. In proceedings of 2th International Conference on Software Testing, Validation and Verification (ICST'09), April 2009. (Bibtex entry).

Arnaud Gotlieb. TCAS software verification using Constraint Programming
CT for Air Traffic Control workshop, Dec. 2008, An INO Eurocae event, Bretigny sur Orge, France. (Submitted for publication in a Journal).

F. Charreteur et A. Gotlieb. Raisonnement à contraintes pour le test de bytecode Java. In JFPC (Journées Francophones de Programmation par Contraintes), Nantes, France, juin 2008.