Cloud-based test modeling and automatic generation of test cases | IEEE Conference Publication | IEEE Xplore