Coverage Criteria based Testing of Industrial Robots | IEEE Conference Publication | IEEE Xplore