, SC-205) and EUROCAE Working Group 71 (WG-71): DO-178C, ED-12C, Software Considerations in Airborne Systems and Equipment Certification, vol.205, 2012.

R. Barták, Constraint Programming: In Pursuit of the Holy Grail, Proceedings of the Week of Doctoral Students (WDS99 -invited lecture, pp.555-564, 1999.

L. Granvilliers and F. Benhamou, RealPaver: An Interval Solver using Constraint Satisfaction Techniques, ACM Trans. on Mathematical Software, vol.32, issue.1, pp.138-156, 2006.
URL : https://hal.archives-ouvertes.fr/hal-00480813

R. A. Demillo and A. J. , Offutt: Constraint-Based Automatic Test Data Generation, IEEE Transactions on Software Engineering, pp.900-910, 1991.