Using CP in Automatic Test Generation for ABB Robotics' Paint Control System

Using CP in Automatic Test Generation for ABB Robotics' Paint Control System

Authors
M. Mossige, A. Gotlieb and H. Meling