Using CP in Automatic Test Generation for ABB Robotics' Paint Control System
- Authors
- M. Mossige, A. Gotlieb and H. Meling
- Status
- Published
- Publication type
- Proceedings Refereed
- Year of publication
- 2014
- Journal
- Proceedings of Principles of Constraint Programming (CP'14), Lyon, France, Sep. 2014 - Best Application Track Paper
- Publisher
- LNCS
- Citation key
- 8769