96 AI MAGAZINE
Improving the overall quality of painting robots
has always been of utmost importance, because it is
viewed as a competitive advantage. For this study, we
chose to automate tests that covers the most critical
aspects of the system, as well as tests that were the
most laborious to conduct manually.
While the goal of the project was not aimed at cost
savings, we did observe that validation engineers are
now relieved to focus on other tasks that have yet to
be automated. In the long run, however, we expect to
detect more bugs before shipping a product, rather
than detecting bugs at customer premises, where
they are typically much costlier to fix.
The deployment of CP as a part of a continuous
integration process at ABB Robotics, Norway, was
considered to be a success. It led the company to
engage in an ambitious deployment plan at the
Mossige, M.; Gotlieb, A.; and Meling, H. 2015. Testing Robot
Controllers Using Constraint Programming and Continu-
ous Integration. Information and Software Technolog,
Mossige, M.; Gotlieb, A.; and Meling, H. 2014a. Testing
Robotized Paint System Using Constraint Programming: An
Industrial Case Study. In Testing Software and Systems: 26th
IFIP WG 6. 1 International Conference Proceedings, Lecture
Notes in Computer Science 8763. Berlin: Springer.
Mossige, M.; Gotlieb, A.; and Meling, H. 2014b. Using CP in
Automatic Test Generation for ABB Robotics’ Paint Control
System. In Principles and Practice of Constraint Programming:
20th International Conference Proceedings, Lecture Notes in
Computer Science 865, 25–41. Berlin: Springer.
Morten Mossige is a principal engineer at ABB Robotics in
Bryne, Norway. He is also an adjunct associate professor at
the Department of Electrical Engineering and Computer Science in the University of Stavanger, Norway.
Arnaud Gotlieb is leader of the Certus research-based innovation center, Simula Research Laboratory, Fornebu, Norway.
Hein Meling is a professor in the Department of Electrical
Engineering and Computer Science at the University of Stavanger, Norway.
AAAI- 18 Conference
Dates Have Shifted!
February 2-7, 2018 n New Orleans, Louisiana, USA
Update your calendar! AAAI- 18 will now be held
Friday, February 2 – Wednesday, February 7, a shift
of two days earlier. This shift in dates will enable
us to continue with our traditional pattern of having the workshops and tutorials prior to the commencement of the main technical program. The
conference venue remain the same at the Hilton
New Orleans Riverside.
Please mark the following dates on your calendar:
July 1 – September 8, 2017: Authors register on the
AAAI web site
September 8, 2017: Electronic abstracts due at 11: 59
PM UTC- 10 (midnight Hawaii)
September 11, 2017: Electronic papers due at 11: 59
PM UTC- 10 (midnight Hawaii)
October 16-19, 2017: Author feedback about initial
November 9, 2017: Notification of acceptance or
November 21, 2017: Camera-ready copy due at 5:00
PM PDT (California)