Input Cubes with Lingering Synchronization Effects and their Use in Random Sequential Test Generation | IEEE Conference Publication | IEEE Xplore