A Delta-Debugging Approach to Assessing the Resilience of Actor Programs through Run-time Test Perturbations

[1]  Philipp Haller,et al.  Akka.js: towards a portable actor runtime environment , 2015, AGERE!@SPLASH.

[2]  Zhendong Su,et al.  HDD: hierarchical delta debugging , 2006, ICSE.

[3]  Hanspeter Mössenböck,et al.  A Study of Concurrency Bugs and Advanced Development Support for Actor-based Programs , 2017, Programming with Actors.

[4]  Pat Helland,et al.  Idempotence is not a medical condition , 2012, Commun. ACM.

[5]  Florian Rosenberg,et al.  Testing Idempotence for Infrastructure as Code , 2013, Middleware.

[6]  Xiangyu Zhang,et al.  Locating faulty code using failure-inducing chops , 2005, ASE.

[7]  Sebastian G. Elbaum,et al.  Amplifying Tests to Validate Exception Handling Code: An Extended Study in the Mobile Application Domain , 2014, TSEM.

[8]  Laurent Vanbever,et al.  Chaos Monkey: Increasing SDN Reliability through Systematic Network Destruction , 2015, Comput. Commun. Rev..

[9]  Peter Alvaro,et al.  Fixed It For You: Protocol Repair Using Lineage Graphs , 2019, CIDR.

[10]  Ralph E. Johnson,et al.  Bita: Coverage-guided, automatic testing of actor programs , 2013, 2013 28th IEEE/ACM International Conference on Automated Software Engineering (ASE).

[11]  Dong Wang,et al.  An empirical study on crash recovery bugs in large-scale distributed systems , 2018, ESEC/SIGSOFT FSE.

[12]  Colin J. Fidge,et al.  Partial orders for parallel debugging , 1988, PADD '88.

[13]  Glenford J. Myers,et al.  Art of Software Testing , 1979 .

[14]  Vivek Sarkar,et al.  Savina - An Actor Benchmark Suite: Enabling Empirical Evaluation of Actor Libraries , 2014, AGERE!@SPLASH.

[15]  Burak Turhan,et al.  How good are my tests , 2017 .

[16]  Andreas Zeller,et al.  Simplifying and Isolating Failure-Inducing Input , 2002, IEEE Trans. Software Eng..

[17]  Armin Biere,et al.  Automated Testing and Debugging of SAT and QBF Solvers , 2010, SAT.

[18]  Christoffer Quist Adamsen,et al.  Systematic execution of Android test suites in adverse conditions , 2015, ISSTA.

[19]  Koushik Sen,et al.  DART: directed automated random testing , 2005, PLDI '05.

[20]  Ruud C. M. de Rooij,et al.  Chaos Engineering , 2017, IEEE Software.

[21]  Zhongxing Yu,et al.  The Emerging Field of Test Amplification: A Survey , 2017, ArXiv.

[22]  Yuan He,et al.  An Open-Source Benchmark Suite for Microservices and Their Hardware-Software Implications for Cloud & Edge Systems , 2019, ASPLOS.

[23]  Shan Lu,et al.  TaxDC: A Taxonomy of Non-Deterministic Concurrency Bugs in Datacenter Distributed Systems , 2016, ASPLOS.

[24]  Ralph E. Johnson,et al.  Why Do Scala Developers Mix the Actor Model with other Concurrency Models? , 2013, ECOOP.

[25]  Roger S. Pressman,et al.  Software Engineering: A Practitioner's Approach , 1982 .

[26]  Coen De Roover,et al.  Assessing diffusion and perception of test smells in scala projects , 2019, MSR.

[27]  Sorin Lerner,et al.  Verifying GPU kernels by test amplification , 2012, PLDI.

[28]  Dan Ding,et al.  Fault Analysis and Debugging of Microservice Systems: Industrial Survey, Benchmark System, and Empirical Study , 2018, IEEE Transactions on Software Engineering.

[29]  Andreas Zeller,et al.  Efficient unit test case minimization , 2007, ASE '07.

[30]  Georgios Gousios,et al.  Developer Testing in the IDE: Patterns, Beliefs, and Behavior , 2019, IEEE Trans. Software Eng..

[31]  Jean-Marc Jézéquel,et al.  Design by Contract to Improve Software Vigilance , 2006, IEEE Transactions on Software Engineering.

[32]  Vahid Garousi,et al.  A survey of software testing practices in Canada , 2013, J. Syst. Softw..

[33]  Vyas Sekar,et al.  Gremlin: Systematic Resilience Testing of Microservices , 2016, 2016 IEEE 36th International Conference on Distributed Computing Systems (ICDCS).

[34]  Brice Morin,et al.  A Chaos Engineering System for Live Analysis and Falsification of Exception-Handling in the JVM , 2018, IEEE Transactions on Software Engineering.

[35]  Jun Sun,et al.  Poster: Benchmarking Microservice Systems for Software Engineering Research , 2018, 2018 IEEE/ACM 40th International Conference on Software Engineering: Companion (ICSE-Companion).

[36]  Peter Alvaro,et al.  Automating Failure Testing Research at Internet Scale , 2016, SoCC.

[37]  Martin Monperrus,et al.  Exception handling analysis and transformation using fault injection: Study of resilience against unanticipated exceptions , 2015, Inf. Softw. Technol..

[38]  Mark Harman,et al.  The Oracle Problem in Software Testing: A Survey , 2015, IEEE Transactions on Software Engineering.

[39]  Gregg Rothermel,et al.  On the use of delta debugging to reduce recordings and facilitate debugging of web applications , 2015, ESEC/SIGSOFT FSE.

[40]  G. Myers,et al.  The Art of Software Testing: Myers/Art , 2012 .

[41]  Lu Zhang,et al.  Isomorphic regression testing: executing uncovered branches without test augmentation , 2016, SIGSOFT FSE.