Automated Concurrency Testing for Cloud-Based Polling Systems | IEEE Conference Publication | IEEE Xplore