A Framework for the Automatic Correction of Constraint Programs

@article{Lazaar2011AFF,
  title={A Framework for the Automatic Correction of Constraint Programs},
  author={Nadjib Lazaar and Arnaud Gotlieb and Yahia Lebbah},
  journal={2011 Fourth IEEE International Conference on Software Testing, Verification and Validation},
  year={2011},
  pages={319-326}
}
Constraint programs, such as those written in high-level constraint modelling languages, e.g., OPL (Optimization Programming Language), COMET, ZINC or ESSENCE, are more and more used in business-critical programs. As any other critical programs, they require to be thoroughly tested and corrected to prevent catastrophic loss of money. This paper presents a framework for the automatic correction of constraint programs that takes into account the specificity of the software development process of… CONTINUE READING
4 Citations
19 References
Similar Papers

Citations

Publications citing this paper.

References

Publications referenced by this paper.
Showing 1-10 of 19 references

The design of the zinc modelling language

  • P. J. Stuckey, M. Garcia De La Banda
  • Constraints
  • 2010

Air traffic flow management with ilog cp optimizer

  • U. Junker, D. Vidal
  • In International Workshop on Constraint…
  • 2008

Similar Papers

Loading similar papers…