Establishing the relevancy of the bookkeeping libraries to the functional testing of computer implementations | IEEE Journals & Magazine | IEEE Xplore