Deploying Constraint Programming for Testing ABB's Painting Robots
Article in AI Magazine (June 2017)
Testing Software and Systems
Springer Berlin Heidelberg
The most recent citing publications are shown below. View all 2 publications that cite this research output on Dimensions.
On Using ABC for Deriving Distinguishing Sequences for Verilog-Descriptions
Conference proceeding (January 2015)