State based test case generation using VCL-GA | IEEE Conference Publication | IEEE Xplore