{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,4]],"date-time":"2026-04-04T14:03:20Z","timestamp":1775311400349,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":17,"publisher":"ACM","license":[{"start":{"date-parts":[[2010,6,10]],"date-time":"2010-06-10T00:00:00Z","timestamp":1276128000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2010,6,10]]},"DOI":"10.1145\/1807128.1807153","type":"proceedings-article","created":{"date-parts":[[2010,6,11]],"date-time":"2010-06-11T18:52:58Z","timestamp":1276282378000},"page":"155-160","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":84,"title":["Automated software testing as a service"],"prefix":"10.1145","author":[{"given":"George","family":"Candea","sequence":"first","affiliation":[{"name":"EPFL, Lausanne, Switzerland"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stefan","family":"Bucur","sequence":"additional","affiliation":[{"name":"EPFL, Lausanne, Switzerland"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Cristian","family":"Zamfir","sequence":"additional","affiliation":[{"name":"EPFL, Lausanne, Switzerland"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2010,6,10]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Symp. on Operating Systems Design and Implementation","author":"Cadar C.","year":"2008","unstructured":"C. Cadar , D. Dunbar , and D. R. Engler . KLEE: Unassisted and automatic generation of high-coverage tests for complex systems programs . In Symp. on Operating Systems Design and Implementation , 2008 . C. Cadar, D. Dunbar, and D. R. Engler. KLEE: Unassisted and automatic generation of high-coverage tests for complex systems programs. In Symp. on Operating Systems Design and Implementation, 2008."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/1180405.1180445"},{"key":"e_1_3_2_1_3_1","volume-title":"Workshop on Large Scale Distributed Systems and Middleware","author":"Ciortea L.","year":"2009","unstructured":"L. Ciortea , C. Zamfir , S. Bucur , V. Chipounov , and G. Candea . Cloud9: A software testing service . In Workshop on Large Scale Distributed Systems and Middleware , 2009 . L. Ciortea, C. Zamfir, S. Bucur, V. Chipounov, and G. Candea. Cloud9: A software testing service. In Workshop on Large Scale Distributed Systems and Middleware, 2009."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065036"},{"key":"e_1_3_2_1_6_1","volume-title":"Automated Whitebox Fuzz Testing. In Network and Distributed System Security Symp.","author":"Godefroid P.","year":"2008","unstructured":"P. Godefroid , M. Y. Levin , and D. Molnar . Automated Whitebox Fuzz Testing. In Network and Distributed System Security Symp. , 2008 . P. Godefroid, M. Y. Levin, and D. Molnar. Automated Whitebox Fuzz Testing. In Network and Distributed System Security Symp., 2008."},{"key":"e_1_3_2_1_7_1","unstructured":"Google Knol. http:\/\/knol.google.com.  Google Knol. http:\/\/knol.google.com."},{"key":"e_1_3_2_1_8_1","volume-title":"USENIX Annual Technical Conf.","author":"Guo P. J.","year":"2009","unstructured":"P. J. Guo and D. Engler . Linux kernel developer responses to static analysis bug reports . In USENIX Annual Technical Conf. , 2009 . P. J. Guo and D. Engler. Linux kernel developer responses to static analysis bug reports. In USENIX Annual Technical Conf., 2009."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/IPDPS.2007.370410"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/360248.360252"},{"key":"e_1_3_2_1_11_1","volume-title":"USENIX Annual Technical Conf.","author":"Kuznetsov V.","year":"2010","unstructured":"V. Kuznetsov , V. Chipounov , and G. Candea . Testing closed-source binary device drivers with DDT . In USENIX Annual Technical Conf. , 2010 . V. Kuznetsov, V. Chipounov, and G. Candea. Testing closed-source binary device drivers with DDT. In USENIX Annual Technical Conf., 2010."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2007.41"},{"key":"e_1_3_2_1_13_1","unstructured":"S. McConnell. Code Complete. Microsoft Press 2004.  S. McConnell. Code Complete. Microsoft Press 2004."},{"key":"e_1_3_2_1_14_1","unstructured":"Microsoft. Driver verifier. http:\/\/www.microsoft.com\/whdc\/DevTools\/tools 2009.  Microsoft. Driver verifier. http:\/\/www.microsoft.com\/whdc\/DevTools\/tools 2009."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/1287624.1287645"},{"key":"e_1_3_2_1_16_1","volume-title":"http:\/\/www.redhat.com\/security\/updates\/classification","year":"2005","unstructured":"Redhat security. http:\/\/www.redhat.com\/security\/updates\/classification , 2005 . Redhat security. http:\/\/www.redhat.com\/security\/updates\/classification, 2005."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.5555\/951952.952340"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/1755913.1755946"}],"event":{"name":"SOCC '10: ACM SIGMOD-SIGOPS Workshop on Cloud Computing in conjunction with SIGMOD 2010","location":"Indianapolis Indiana USA","acronym":"SOCC '10","sponsor":["SIGMOD ACM Special Interest Group on Management of Data","SIGOPS ACM Special Interest Group on Operating Systems"]},"container-title":["Proceedings of the 1st ACM symposium on Cloud computing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1807128.1807153","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1807128.1807153","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T12:17:34Z","timestamp":1750249054000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1807128.1807153"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,6,10]]},"references-count":17,"alternative-id":["10.1145\/1807128.1807153","10.1145\/1807128"],"URL":"https:\/\/doi.org\/10.1145\/1807128.1807153","relation":{},"subject":[],"published":{"date-parts":[[2010,6,10]]},"assertion":[{"value":"2010-06-10","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}