Automatic Functional Test Generation - A Reality | IEEE Conference Publication | IEEE Xplore