A weighted random pattern test generation system | IEEE Journals & Magazine | IEEE Xplore