Testing: closing the loop through verification and validation of procedures | IEEE Conference Publication | IEEE Xplore