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

Morten Mossige Arnaud Gotlieb Hein Meling

Published in: CP (2014)

Keyphrases

test generation
control system
test cases
artificial intelligence
design automation
computer vision
static analysis
symbolic execution
constraint programming
real time
fuzzy logic
software testing