{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,1]],"date-time":"2025-11-01T09:32:02Z","timestamp":1761989522992,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":54,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,10,7]],"date-time":"2020-10-07T00:00:00Z","timestamp":1602028800000},"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":[[2020,10,7]]},"DOI":"10.1145\/3387903.3389303","type":"proceedings-article","created":{"date-parts":[[2020,9,12]],"date-time":"2020-09-12T20:02:18Z","timestamp":1599940938000},"page":"21-30","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["A Delta-Debugging Approach to Assessing the Resilience of Actor Programs through Run-time Test Perturbations"],"prefix":"10.1145","author":[{"given":"Jonas","family":"De Bleser","sequence":"first","affiliation":[{"name":"Vrije Universiteit Brussel, Brussels, Belgium"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dario","family":"Di Nucci","sequence":"additional","affiliation":[{"name":"Tilburg University - JADS, 's-Hertogenbosch, The Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Coen","family":"De Roover","sequence":"additional","affiliation":[{"name":"Vrije Universiteit Brussel, Brussels, Belgium"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2020,10,7]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/2771783.2771786"},{"volume-title":"Actors: A model of concurrent computation in distributed systems. Technical Report.","year":"1985","author":"Agha Gul A","key":"e_1_3_2_1_2_1"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/2987550.2987555"},{"volume-title":"Proceedings of the 2015 ACM SIGMOD International Conference on Management of Data","author":"Alvaro Peter","key":"e_1_3_2_1_4_1"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"crossref","unstructured":"Earl T Barr Mark Harman Phil McMinn Muzammil Shahbaz and Shin Yoo. 2014. The oracle problem in software testing: A survey. TSE 41 5 (2014).  Earl T Barr Mark Harman Phil McMinn Muzammil Shahbaz and Shin Yoo. 2014. The oracle problem in software testing: A survey. TSE 41 5 (2014).","DOI":"10.1109\/TSE.2014.2372785"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"crossref","unstructured":"Ali Basiri Niosha Behnam Ruud De Rooij Lorin Hochstein Luke Kosewski Justin Reynolds and Casey Rosenthal. 2016. Chaos engineering. 33 3 (2016).  Ali Basiri Niosha Behnam Ruud De Rooij Lorin Hochstein Luke Kosewski Justin Reynolds and Casey Rosenthal. 2016. Chaos engineering. 33 3 (2016).","DOI":"10.1109\/MS.2016.60"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"crossref","unstructured":"Moritz Beller Georgios Gousios Annibale Panichella Sebastian Proksch Sven Amann and Andy Zaidman. 2017. Developer testing in the ide: Patterns beliefs and behavior. bTransactions on Software Engineering 45 3 (2017).  Moritz Beller Georgios Gousios Annibale Panichella Sebastian Proksch Sven Amann and Andy Zaidman. 2017. Developer testing in the ide: Patterns beliefs and behavior. bTransactions on Software Engineering 45 3 (2017).","DOI":"10.1109\/TSE.2017.2776152"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"crossref","unstructured":"David Bowes Tracy Hall Jean Petric Thomas Shippey and Burak Turhan. 2017. How good are my tests?. In 2017 IEEE\/ACM 8th WETSoM.  David Bowes Tracy Hall Jean Petric Thomas Shippey and Burak Turhan. 2017. How good are my tests?. In 2017 IEEE\/ACM 8th WETSoM.","DOI":"10.1109\/WETSoM.2017.2"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-14186-7_6"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/2785956.2790038"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2014.08.004"},{"key":"e_1_3_2_1_12_1","unstructured":"Benjamin Danglot Oscar Vera-Perez Zhongxing Yu Martin Monperrus and Benoit Baudry. 2017. The Emerging Field of Test Amplification. CoRR (2017).  Benjamin Danglot Oscar Vera-Perez Zhongxing Yu Martin Monperrus and Benoit Baudry. 2017. The Emerging Field of Test Amplification. CoRR (2017)."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/MSR.2019.00072"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"crossref","unstructured":"Colin J Fidge. 1988. Partial orders for parallel debugging. In ACM Sigplan Notices.  Colin J Fidge. 1988. Partial orders for parallel debugging. In ACM Sigplan Notices.","DOI":"10.1145\/68210.69233"},{"key":"e_1_3_2_1_15_1","unstructured":"Martin Fowler. 2005. Event sourcing. (2005). https:\/\/martinfowler.com\/eaaDev\/EventSourcing.html  Martin Fowler. 2005. Event sourcing. (2005). https:\/\/martinfowler.com\/eaaDev\/EventSourcing.html"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/3297858.3304013"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/3236024.3236030"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2012.12.051"},{"key":"e_1_3_2_1_19_1","unstructured":"Yonas Ghidei. 2019. Lineage-driven Fault Injection for Actor-based Programs.  Yonas Ghidei. 2019. Lineage-driven Fault Injection for Actor-based Programs."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065036"},{"volume-title":"Proceedings of Symposium on Networked Systems Design and Implementation.","author":"Gunawi Haryadi S","key":"e_1_3_2_1_21_1"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/1101908.1101948"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/2786805.2786846"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"crossref","unstructured":"Pat Helland. 2012. Idempotence is not a medical condition. Queue 10 4 (2012).  Pat Helland. 2012. Idempotence is not a medical condition. Queue 10 4 (2012).","DOI":"10.1145\/2181796.2187821"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICDCS.2016.11"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.5555\/1624775.1624804"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-45065-5_19"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/2687357.2687368"},{"key":"e_1_3_2_1_29_1","unstructured":"Yury Izrailevsky and Ariel Tseitlin. 2011. The netflix simian army. Netflix (2011).  Yury Izrailevsky and Ariel Tseitlin. 2011. The netflix simian army. Netflix (2011)."},{"volume-title":"17th CSMR.","author":"Kochhar Pavneet Singh","key":"e_1_3_2_1_30_1"},{"key":"e_1_3_2_1_31_1","unstructured":"Roland Kuhn Brian Hanafee and Jamie Allen. 2017. Reactive design patterns.  Roland Kuhn Brian Hanafee and Jamie Allen. 2017. Reactive design patterns."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2006.79"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"crossref","unstructured":"Tanakorn Leesatapornwongsa Jeffrey F Lukman Shan Lu and Haryadi S Gunawi. 2016. TaxDC: A taxonomy of non-deterministic concurrency bugs in datacenter distributed systems. ACM SIGPLAN Notices 51 4 (2016).  Tanakorn Leesatapornwongsa Jeffrey F Lukman Shan Lu and Haryadi S Gunawi. 2016. TaxDC: A taxonomy of non-deterministic concurrency bugs in datacenter distributed systems. ACM SIGPLAN Notices 51 4 (2016).","DOI":"10.1145\/2954679.2872374"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/1321631.1321698"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/2254064.2254110"},{"key":"e_1_3_2_1_36_1","unstructured":"James Lewis and Martin Fowler. 2014. Microservices. martinfowler. com (2014).  James Lewis and Martin Fowler. 2014. Microservices. martinfowler. com (2014)."},{"key":"e_1_3_2_1_37_1","unstructured":"Lightbend. 2020. Lightbend Case Studies. https:\/\/lightbend.com\/case-studies  Lightbend. 2020. Lightbend Case Studies. https:\/\/lightbend.com\/case-studies"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"crossref","unstructured":"Carmen Torres Lopez Stefan Marr Elisa Gonzalez Boix and Hanspeter M\u00f6ssen-b\u00f6ck. 2018. A study of concurrency bugs and advanced development support for actor-based programs. In Programming with Actors. Springer 155--185.  Carmen Torres Lopez Stefan Marr Elisa Gonzalez Boix and Hanspeter M\u00f6ssen-b\u00f6ck. 2018. A study of concurrency bugs and advanced development support for actor-based programs. In Programming with Actors. Springer 155--185.","DOI":"10.1007\/978-3-030-00302-9_6"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/1134285.1134307"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"crossref","unstructured":"Glenford J Myers Corey Sandler and Tom Badgett. 2011. The art of software testing. John Wiley & Sons.  Glenford J Myers Corey Sandler and Tom Badgett. 2011. The art of software testing. John Wiley & Sons.","DOI":"10.1002\/9781119202486"},{"key":"e_1_3_2_1_41_1","unstructured":"Michael Nash and Wade Waldron. 2016. Applied Akka Patterns: A Hands-On Guide to Designing Distributed Applications. O'Reilly Media.  Michael Nash and Wade Waldron. 2016. Applied Akka Patterns: A Hands-On Guide to Designing Distributed Applications. O'Reilly Media."},{"key":"e_1_3_2_1_42_1","unstructured":"Lennart Oldenburg Xiangfeng Zhu Kamala Ramasubramanian and Peter Alvaro. 2019. Fixed It For You: Protocol Repair Using Lineage Graphs.. In CIDR.  Lennart Oldenburg Xiangfeng Zhu Kamala Ramasubramanian and Peter Alvaro. 2019. Fixed It For You: Protocol Repair Using Lineage Graphs.. In CIDR."},{"key":"e_1_3_2_1_43_1","unstructured":"Roger S Pressman. 2005. Software engineering: a practitioner's approach.  Roger S Pressman. 2005. Software engineering: a practitioner's approach."},{"key":"e_1_3_2_1_44_1","unstructured":"Raja R Sambasivan Rodrigo Fonseca Ilari Shafer and Gregory R Ganger. 2014. So you want to trace your distributed system? Key design insights from years of practical experience. Parallel Data Lab (2014).  Raja R Sambasivan Rodrigo Fonseca Ilari Shafer and Gregory R Ganger. 2014. So you want to trace your distributed system? Key design insights from years of practical experience. Parallel Data Lab (2014)."},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/2824815.2824821"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-39038-8_13"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2013.6693072"},{"volume-title":"Symposium on Operating Systems Design and Implementation.","year":"2014","author":"Yuan Ding","key":"e_1_3_2_1_48_1"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.988498"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1145\/2950290.2950313"},{"key":"e_1_3_2_1_51_1","unstructured":"Long Zhang Brice Morin Philipp Haller Benoit Baudry and Martin Monperrus. 2018. A Chaos Engineering System for Live Analysis and Falsification of Exception-handling in the JVM. arXiv preprint arXiv:1805.05246 (2018).  Long Zhang Brice Morin Philipp Haller Benoit Baudry and Martin Monperrus. 2018. A Chaos Engineering System for Live Analysis and Falsification of Exception-handling in the JVM. arXiv preprint arXiv:1805.05246 (2018)."},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1145\/2652483"},{"key":"e_1_3_2_1_53_1","unstructured":"Xiang Zhou Xin Peng Tao Xie Jun Sun Chao Ji Wenhai Li and Dan Ding. 2018. Fault analysis and debugging of microservice systems: Industrial survey benchmark system and empirical study. TSE (2018).  Xiang Zhou Xin Peng Tao Xie Jun Sun Chao Ji Wenhai Li and Dan Ding. 2018. Fault analysis and debugging of microservice systems: Industrial survey benchmark system and empirical study. TSE (2018)."},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1145\/3183440.3194991"}],"event":{"name":"AST '20: IEEE\/ACM 15nd International Conference on Automation of Software Test","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"],"location":"Seoul Republic of Korea","acronym":"AST '20"},"container-title":["Proceedings of the IEEE\/ACM 1st International Conference on Automation of Software Test"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3387903.3389303","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3387903.3389303","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:41:37Z","timestamp":1750200097000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3387903.3389303"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,10,7]]},"references-count":54,"alternative-id":["10.1145\/3387903.3389303","10.1145\/3387903"],"URL":"https:\/\/doi.org\/10.1145\/3387903.3389303","relation":{},"subject":[],"published":{"date-parts":[[2020,10,7]]},"assertion":[{"value":"2020-10-07","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}