, SC-205) and EUROCAE Working Group 71 (WG-71): DO-178C, ED-12C, Software Considerations in Airborne Systems and Equipment Certification, vol.205, 2012.
Constraint Programming: In Pursuit of the Holy Grail, Proceedings of the Week of Doctoral Students (WDS99 -invited lecture, pp.555-564, 1999. ,
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
Offutt: Constraint-Based Automatic Test Data Generation, IEEE Transactions on Software Engineering, pp.900-910, 1991. ,