Cloud9: A software testing service

FREE-DOWNLOAD [PDF] L Ciortea, C Zamfir, S Bucur… – ACM SIGOPS …, 2010
Cloud9 aims to reduce the resource-intensive and labor- intensive nature of high-quality software
testing. First, Cloud9 parallelizes symbolic execution (an effective, but still poorly scalable test
automation technique) to large shared-nothing clusters. To our knowledge, Cloud9 is the