An integrated Automatic Test Generation and executing system | IEEE Conference Publication | IEEE Xplore