{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T16:39:21Z","timestamp":1729615161876,"version":"3.28.0"},"reference-count":54,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,11]]},"DOI":"10.1109\/ase.2013.6693072","type":"proceedings-article","created":{"date-parts":[[2014,1,6]],"date-time":"2014-01-06T12:07:25Z","timestamp":1389010045000},"page":"114-124","source":"Crossref","is-referenced-by-count":17,"title":["Bita: Coverage-guided, automatic testing of actor programs"],"prefix":"10.1109","author":[{"given":"Samira","family":"Tasharofi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Pradel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yu","family":"Lin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ralph","family":"Johnson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"35","doi-asserted-by":"publisher","DOI":"10.1145\/1287624.1287703"},{"key":"36","first-page":"267","article-title":"Finding and reproducing Heisenbugs in concurrent programs","author":"musuvathi","year":"2008","journal-title":"OSDI"},{"key":"33","first-page":"66","article-title":"A novel framework for non-deterministic testing of message-passing programs","author":"lei","year":"2005","journal-title":"HASE"},{"key":"34","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2003.1205182"},{"journal-title":"GPars","year":"0","author":"pech","key":"39"},{"key":"37","doi-asserted-by":"publisher","DOI":"10.1145\/1453101.1453121"},{"key":"38","doi-asserted-by":"publisher","DOI":"10.1145\/1508244.1508249"},{"key":"43","first-page":"339","article-title":"Automated systematic testing of open distributed programs","volume":"3922","author":"sen","year":"2006","journal-title":"Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)"},{"key":"42","doi-asserted-by":"publisher","DOI":"10.1145\/1375581.1375584"},{"key":"41","doi-asserted-by":"publisher","DOI":"10.1145\/1321631.1321679"},{"key":"40","doi-asserted-by":"publisher","DOI":"10.1145\/1321631.1321722"},{"key":"22","article-title":"Concurrency at Microsoft - An exploratory survey","author":"godefroid","year":"2008","journal-title":"EC2"},{"journal-title":"Actors in Scala","year":"2012","author":"haller","key":"23"},{"key":"24","first-page":"235","article-title":"A universal modular actor formalism for artificial intelligence","author":"hewitt","year":"1973","journal-title":"IJCAI"},{"key":"25","doi-asserted-by":"publisher","DOI":"10.1145\/2338965.2336779"},{"key":"26","doi-asserted-by":"publisher","DOI":"10.1145\/2001420.2001438"},{"key":"27","doi-asserted-by":"publisher","DOI":"10.1145\/2025113.2025145"},{"key":"28","first-page":"675","article-title":"CalFuzzer: An extensible active testing framework for concurrent programs","author":"joshi","year":"2009","journal-title":"CAV"},{"key":"29","doi-asserted-by":"publisher","DOI":"10.1145\/1596655.1596658"},{"journal-title":"Gatling Stress Tool","year":"0","key":"3"},{"journal-title":"Fyrie Redis","year":"0","key":"2"},{"year":"0","key":"1"},{"journal-title":"Making reliable distributed systems in the presence of software errors","year":"2003","author":"armstrong","key":"7"},{"key":"30","first-page":"177","article-title":"Coverage metrics for saturationbased and search-based testing of concurrent software","author":"krena","year":"2011","journal-title":"RV"},{"key":"6","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/1086.001.0001","author":"agha","year":"1986","journal-title":"Actors A Model of Concurrent Computation in Distributed Systems"},{"journal-title":"Signal\/collect","year":"0","key":"5"},{"key":"32","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2009.88"},{"journal-title":"Geotrellis","year":"0","key":"4"},{"key":"31","doi-asserted-by":"publisher","DOI":"10.1145\/1806799.1806836"},{"key":"9","first-page":"206","article-title":"Applications of synchronization coverage","author":"bron","year":"2005","journal-title":"Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming PPOPP"},{"journal-title":"Akka Library","year":"0","author":"bone?r","key":"8"},{"key":"19","doi-asserted-by":"publisher","DOI":"10.1145\/1806596.1806625"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1145\/2209291.2209296"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1147\/sj.411.0111"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1145\/1596550.1596574"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1145\/1693453.1693458"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-18378-2_3"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-18378-2_3"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1145\/2038916.2038932"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1145\/1368088.1368119"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1145\/1950365.1950394"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1145\/1291151.1291171"},{"key":"49","doi-asserted-by":"publisher","DOI":"10.1109\/32.126769"},{"key":"48","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-30793-5_14"},{"key":"45","doi-asserted-by":"publisher","DOI":"10.1002\/cpe.1297"},{"key":"44","doi-asserted-by":"publisher","DOI":"10.1145\/1882291.1882300"},{"key":"47","article-title":"Setac: A framework for phased deterministic testing of scala actor programs","author":"tasharofi","year":"2011","journal-title":"Scala Days"},{"key":"46","article-title":"Efficient testing of actor programs with non-deterministic behavior","author":"tasharofi","year":"2013","journal-title":"University of Illinois at Urbana-Champaign Tech Rep"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1145\/1736020.1736040"},{"key":"51","doi-asserted-by":"publisher","DOI":"10.1145\/271771.271804"},{"key":"52","doi-asserted-by":"publisher","DOI":"10.1145\/2384616.2384651"},{"key":"53","first-page":"251","article-title":"ConSeq: Detecting concurrency bugs through sequential errors","author":"zhang","year":"2011","journal-title":"ASPLOS"},{"key":"54","doi-asserted-by":"publisher","DOI":"10.1145\/1736020.1736041"},{"key":"50","doi-asserted-by":"publisher","DOI":"10.1023\/A:1022920129859"}],"event":{"name":"2013 IEEE\/ACM 28th International Conference on Automated Software Engineering (ASE)","start":{"date-parts":[[2013,11,11]]},"location":"Silicon Valley, CA, USA","end":{"date-parts":[[2013,11,15]]}},"container-title":["2013 28th IEEE\/ACM International Conference on Automated Software Engineering (ASE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6684409\/6693054\/06693072.pdf?arnumber=6693072","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,3,21]],"date-time":"2022-03-21T12:54:20Z","timestamp":1647867260000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6693072\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,11]]},"references-count":54,"URL":"https:\/\/doi.org\/10.1109\/ase.2013.6693072","relation":{},"subject":[],"published":{"date-parts":[[2013,11]]}}}