Bita: Coverage-guided, automatic testing of actor programs

2013 28th IEEE/ACM International Conference on Automated Software Engineering, ASE 2013 - Proceedings

Volumn , Issue , 2013, Pages 114-124

  Tasharofi, Samira ^a   Pradel, Michael ^b   Lin, Yu ^a   Johnson, Ralph ^a  

^a University of Illinois at Urbana Champaign   (United States)

^b ETH ZURICH   (Switzerland)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATIC APPROACHES; CONCURRENCY BUGS; CONCURRENT PROGRAM; COVERAGE CRITERIA; FEASIBLE SCHEDULE; LARGE PROGRAMS; RANDOM SCHEDULING; REAL-WORLD;

AUTOMATIC TESTING; SCHEDULING;

SOFTWARE ENGINEERING;

EID: 84893627319     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ASE.2013.6693072     Document Type: Conference Paper

References (54)

1. https://github.com/uzh/signal-collect/issues/58.
2. "Fyrie redis," https://github.com/derekjw/fyrie-redis/tree/ akka-1.2.
3. "Gatling stress tool," http://gatling-tool.org/.
4. "Geotrellis," http://www.azavea.com/products/geotrellis/.
5. "Signal/collect," http://uzh.github.io/signal-collect/.
6. G. Agha, ACTORS: a model of concurrent computation in distributed systems. Cambridge, MA, USA: MIT Press, 1986.
7. J. Armstrong, "Making reliable distributed systems in the presence of software errors," Ph.D. dissertation, Kungl Tekniska Högskolan, 2003, http://www.erlang.org.
8. J. Bonér, V. Klang, R. Kuhn et al., "Akka library," http://akka.io.
9. A. Bron, E. Farchi, Y. Magid, Y. Nir, and S. Ur, "Applications of synchronization coverage," in PPOPP, 2005, pp. 206-212. (Pubitemid 43182847)
10. S. Burckhardt, P. Kothari, M. Musuvathi, and S. Nagarakatte, "A randomized scheduler with probabilistic guarantees of finding bugs," in ASPLOS, 2010, pp. 167-178.
11. S. Bykov, A. Geller, G. Kliot, J. R. Larus, R. Pandya, and J. Thelin, "Orleans: cloud computing for everyone," in SOCC, 2011, pp. 16:1- 16:14.
12. F. Chen, T. F. Serbanuta, and G. Rosu, "jPredictor: a predictive runtime analysis tool for java," in ICSE, 2008, pp. 221-230.
13. M. Christakis and K. Sagonas, "Detection of asynchronous message passing errors using static analysis," in PADL, 2011, pp. 5-18.
14. M. Christakis and K. F. Sagonas, "Detection of asynchronous message passing errors using static analysis," in PADL, 2011, pp. 5-18.
15. K. Claessen, M. Palka, N. Smallbone, J. Hughes, H. Svensson, T. Arts, and U. T. Wiger, "Finding race conditions in Erlang with QuickCheck and PULSE," in ICFP, 2009, pp. 149-160.
16. K. E. Coons, S. Burckhardt, and M. Musuvathi, "GAMBIT: effective unit testing for concurrency libraries," in PPOPP, 2010, pp. 15-24.
17. E. Deniz, A. Sen, and J. Holt, "Verification and coverage of message passing multicore applications." ACM T Des Automat El, p. 23, 2012.
18. O. Edelstein, E. Farchi, Y. Nir, G. Ratsaby, and S. Ur, "Multithreaded Java program test generation," IBM Syst J, vol. 41, no. 1, pp. 111-125, 2002. (Pubitemid 34811656)
19. C. Flanagan and S. N. Freund, "Adversarial memory for detecting destructive races," in PLDI, 2010, pp. 244-254.
20. L.-Å. Fredlund and H. Svensson, "Mcerlang: a model checker for a distributed functional programming language," in ICFP, 2007, pp. 125- 136. (Pubitemid 351203752)
21. Q. Gao, W. Zhang, Z. Chen, M. Zheng, and F. Qin, "2ndstrike: toward manifesting hidden concurrency typestate bugs," in ASPLOS, 2011, pp. 239-250.
22. P. Godefroid and N. Nagappan, "Concurrency at Microsoft - an exploratory survey," in EC2, 2008.
23. P. Haller and F. Sommers, Actors in Scala. Artima, 2012.
24. C. Hewitt, P. Bishop, and R. Steiger, "A universal modular actor formalism for artificial intelligence," in IJCAI, 1973, pp. 235-245.
25. S. Hong, J. Ahn, S. Park, M. Kim, and M. J. Harrold, "Testing concurrent programs to achieve high synchronization coverage," in ISSTA, 2012, pp. 210-220.
26. J. Huang and C. Zhang, "Persuasive prediction of concurrency access anomalies," in ISSTA, 2011, pp. 144-154.
27. V. Jagannath, M. Gligoric, D. Jin, Q. Luo, G. Rosu, and D. Marinov, "Improved multithreaded unit testing," in ESEC/FSE, 2011, pp. 223- 233.
28. P. Joshi, M. Naik, C.-S. Park, and K. Sen, "CalFuzzer: An extensible active testing framework for concurrent programs," in CAV, 2009, pp. 675-681.
29. R. K. Karmani, A. Shali, and G. Agha, "Actor frameworks for the JVM platform: a comparative analysis," in PPPJ, 2009, pp. 11-20.
30. B. Krena, Z. Letko, and T. Vojnar, "Coverage metrics for saturationbased and search-based testing of concurrent software," in RV, 2011, pp. 177-192.
31. Z. Lai, S.-C. Cheung, and W. K. Chan, "Detecting atomic-set serializability violations in multithreaded programs through active randomized testing," in ICSE, 2010, pp. 235-244.
32. S. Lauterburg, M. Dotta, D. Marinov, and G. A. Agha, "A framework for state-space exploration of Java-based actor programs," in ASE, 2009, pp. 468-479.
33. Y. Lei and W. E. Wong, "A novel framework for non-deterministic testing of message-passing programs." in HASE, 2005, pp. 66-75.
34. B. Long, D. Hoffman, and P. Strooper, "Tool support for testing concurrent Java components," IEEE Tr Softw Eng, vol. 29, no. 6, pp. 555-566, Jun. 2003.
35. S. Lu, W. Jiang, and Y. Zhou, "A study of interleaving coverage criteria," in ESEC/FSE, 2007, pp. 533-536. (Pubitemid 351438714)
36. M. Musuvathi, S. Qadeer, T. Ball, G. Basler, P. A. Nainar, and I. Neamtiu, "Finding and reproducing Heisenbugs in concurrent programs," in OSDI, 2008, pp. 267-280.
37. C.-S. Park and K. Sen, "Randomized active atomicity violation detection in concurrent programs," in FSE, 2008, pp. 135-145.
38. S. Park, S. Lu, and Y. Zhou, "CTrigger: exposing atomicity violation bugs from their hiding places," in ASPLOS, 2009, pp. 25-36.
39. V. Pech, D. König, R. Winder et al., "GPars," http://gpars.codehaus.org/.
40. W. Pugh and N. Ayewah, "Unit testing concurrent software," in ASE, 2007, pp. 513-516.
41. K. Sen, "Effective random testing of concurrent programs," in ASE, 2007, pp. 323-332.
42. -, "Race directed random testing of concurrent programs," in PLDI, 2008, pp. 11-21.
43. K. Sen and G. Agha, "Automated systematic testing of open distributed programs," in FASE, 2006, pp. 339-356. (Pubitemid 44019318)
44. F. Sorrentino, A. Farzan, and P. Madhusudan, "PENELOPE: weaving threads to expose atomicity violations," in FSE, 2010, pp. 37-46.
45. S. R. S. Souza, S. R. Vergilio, P. S. L. Souza, A. S. Simão, and A. C. Hausen, "Structural testing criteria for message-passing parallel programs," Concurr Comput: Pract Exper, vol. 20, no. 16, pp. 1893- 1916, Nov. 2008.
46. S. Tasharofi, "Efficient testing of actor programs with non-deterministic behavior," University of Illinois at Urbana-Champaign, Tech. Rep., 2013, http://hdl.handle.net/2142/45680.
47. S. Tasharofi, M. Gligoric, D. Marinov, and R. Johnson, "Setac: A framework for phased deterministic testing of scala actor programs," in Scala Days, 2011.
48. S. Tasharofi, R. K. Karmani, S. Lauterburg, A. Legay, D. Marinov, and G. Agha, "TransDPOR: A novel dynamic partial-order reduction technique for testing actor programs," in FMOODS/FORTE.
49. R. N. Taylor, D. L. Levine, and C. D. Kelly, "Structural testing of concurrent programs," IEEE Tr Softw Eng, vol. 18, no. 3, pp. 206-215, 1992.
50. W. Visser, K. Havelund, G. P. Brat, S. Park, and F. Lerda, "Model checking programs," Autom Software Eng, vol. 10, no. 2, pp. 203-232, 2003.
51. C.-S. D. Yang, A. L. Souter, and L. L. Pollock, "All-du-path coverage for parallel programs," in ISSTA, 1998, pp. 153-162.
52. J. Yu, S. Narayanasamy, C. Pereira, and G. Pokam, "Maple: a coveragedriven testing tool for multithreaded programs," in OOPSLA, 2012, pp. 485-502.
53. W. Zhang, J. Lim, R. Olichandran, J. Scherpelz, G. Jin, S. Lu, and T. W. Reps, "ConSeq: detecting concurrency bugs through sequential errors," in ASPLOS, 2011, pp. 251-264.
54. W. Zhang, C. Sun, and S. Lu, "ConMem: detecting severe concurrency bugs through an effect-oriented approach," in ASPLOS, 2010, pp. 179- 192.