Springer International Publishing Switzerland / BT / Simula Research Laboratory / /
Country
Norway / / /
Facility
port RAM / University of Stavanger / /
IndustryTerm
online configurability / industrial-grade network / physical equipment / paint robots / paint type / rst solution / paint pumps / feasible solution / sensor devices / process equipment / software failure / paint systems / industrial robot systems / paint activation / paint process / robot control systems / optimum solution / software engineering practice / dedicated process control systems / software testing / distributed systems / search heuristics / different interconnection technologies / software defects / at uncovering software defects / /
OperatingSystem
L3 / /
Organization
University of Stavanger / /
Position
validation engineer / ms. The robot controller / reT ime Controller / efficient CP model for generating test scenarios / robot controller / CP model for the IPS / /
ProgrammingLanguage
Prolog / DC / /
ProvinceOrState
Delaware / /
Technology
Ethernet / different interconnection technologies / process control system / process control / /
Using CP in Automatic Test Generation for ABB Robotics’ Paint Control System Morten Mossige1,3, Arnaud Gotlieb2 , and Hein Meling3 1 2