H. Collavizza, M. Rueher, and P. Van-hentenryck, Cpbpv: A constraintprogramming framework for bounded program verification, Proc. of CP2008, pp.327-341, 2008.
URL : https://hal.archives-ouvertes.fr/hal-01099509

P. Flener, J. Pearson, M. Agren, C. Garcia-avello, M. Celiktin et al., Air-traffic complexity resolution in multi-sector planning, Journal of Air Transport Management, vol.13, issue.6, pp.323-328, 2007.
DOI : 10.1016/j.jairtraman.2007.05.001

A. Gotlieb, Tcas software verification using constraint programming. The Knowledge Engineering Review, 2009.
DOI : 10.1017/s0269888912000252
URL : https://hal.archives-ouvertes.fr/hal-00807905

A. Holland, O. Barry, and . Sullivan, Robust solutions for combinatorial auctions, Proceedings of the 6th ACM conference on Electronic commerce , EC '05, pp.183-192, 2005.
DOI : 10.1145/1064009.1064029

U. Junker and D. Vidal, Air traffic flow management with ilog cp optimizer, International Workshop on Constraint Programming for Air Traffic Control and Management, 2008.

L. Langevine, P. Deransart, M. Ducassé, and E. Jahier, Prototyping clp(fd) tracers: a trace model and an experimental validation environment, WLPE, 2001.

W. T. Rankin, Optimal golomb rulers: An exhaustive parallel search implementation, 1993.

N. V. Sahinidis and M. Twarmalani, Convexification and Global Optimization in Continuous and Mixed-Integer Nonlinear Programming, 2002.

P. Van and H. , The OPL optimization programming language, 1999.

E. J. Weyuker, On Testing Non-Testable Programs, The Computer Journal, vol.25, issue.4, pp.465-470, 1982.
DOI : 10.1093/comjnl/25.4.465

H. Zhu, P. A. Hall, and J. H. May, Software unit test coverage and adequacy, ACM Computing Surveys, vol.29, issue.4, pp.366-427, 1997.
DOI : 10.1145/267580.267590
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.93.7961