Controllability/observability measures for multiple-valued test generation based on D-algorithm | IEEE Conference Publication | IEEE Xplore