Evaluating cognitive complexity measure with Weyuker properties | IEEE Conference Publication | IEEE Xplore