Mutation operators for actor systems

ICSTW 2010 - 3rd International Conference on Software Testing, Verification, and Validation Workshops

Volumn , Issue , 2010, Pages 157-162

  Jagannath, Vilas ^a   Gligoric, Milos ^a   Lauterburg, Steven ^a   Marinov, Darko ^a   Agha, Gul ^a  

^a University of Illinois ^*  (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ACTOR SYSTEMS; MULTITHREADED; MUTATION OPERATORS; MUTATION TESTING; PROGRAMMING MODELS; PROGRAMMING PARADIGMS; TEST CASE;

COMPUTER SOFTWARE SELECTION AND EVALUATION; VERIFICATION;

SOFTWARE TESTING;

EID: 77953753371     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICSTW.2010.6     Document Type: Conference Paper

References (32)

1. G. Agha, Actors: A Model of Concurrent Computation in Distributed Systems. MIT Press, 1986.
2. "ActorFoundry Webpage," http://osl.cs.uiuc.edu/af/.
3. R. K. Karmani, A. Shali, and G. Agha, "Actor frameworks for the JVM platform: A comparative analysis," in PPPJ, 2009.
4. Microsoft, "Axum webpage," http://msdn.microsoft.com/enus/ devlabs/dd795202.aspx.
5. J. Armstrong, R. Virding, C. Wikström, and M. Williams, Concurrent Programming in ERLANG. Prentice Hall, 1993, Second Edition.
6. S. Srinivasan and A. Mycroft, "Kilim: Isolation-typed actors for Java," in ECOOP, 2008.
7. M. Odersky, L. Spoon, and B. Venners, Programming in Scala. Artima, 2008.
8. G. C. Hunt and J. R. Larus, "Singularity: Rethinking the software stack," SIGOPS Oper. Syst. Rev., vol. 41, no. 2, pp. 37-49, 2007.
9. Microsoft, "Asynchronous agents library," http://msdn. microsoft.com/en-us/library/dd492627(VS.100).aspx.
10. R. A. DeMillo, R. J. Lipton, and F. G. Sayward, "Hints on test data selection: Help for the practicing programmer," IEEE Computer, vol. 4, no. 11, 1978.
11. R. G. Hamlet, "Testing programs with the aid of a compiler," IEEE TSE, vol. 3, no. 4, 1977.
12. J. Offutt and R. Untch, "Mutation 2000: Uniting the orthogonal," 2001.
13. S. Kim, J. Clark, and J. McDermid, "Class mutation: Mutation testing for object oriented programs," in FMES, 2000.
14. Y.-S. Ma, M. J. Harrold, and Y.-R. Kwon, "Evaluation of mutation testing for object-oriented programs," in ICSE, 2006.
15. J. S. Bradbury, J. R. Cordy, and J. Dingel, "Mutation operators for concurrent Java (J2SE 5.0)," in MUTATION, 2006.
16. R. H. Carver, "Mutation-based testing of concurrent programs," in ITC, 1993.
17. J. Offutt, "Investigations of the software testing coupling effect," ACM TOSEM, vol. 1, no. 1, 1992.
18. E. Farchi, Y. Nir, and S. Ur, "Concurrent bug patterns and how to test them," in IPDPS, 2003.
19. S. Lu, S. Park, E. Seo, and Y. Zhou, "Learning from mistakes: A comprehensive study on real world concurrency bug characteristics," in ASPLOS, 2008.
20. P. Reynolds, C. Killian, J. L.Wiener, J. C. Mogul, M. A. Shah, and A. Vahdat, "Pip: Detecting the unexpected in distributed systems," in NSDI, 2006.
21. S. Ghosh and A. P. Mathur, "Interface mutation," Wiley STVR, vol. 11, no. 3, 2001.
22. J. Offutt, J. Voas, and J. Payne, "Mutation operators for Ada," George Mason University, Tech. Rep., 1996.
23. K. N. King and J. Offutt, "A Fortran language system for mutation-based software testing," Wiley SPE, vol. 21, no. 7, 1991.
24. H. Agrawal, R. A. DeMillo, R. Hathaway, W. Hsu, W. Hsu, E. W. Krauser, R. J. Martin, A. P. Mathur, and E. H. Spafford, "Design of mutant operators for the C programming language," Purdue University, Tech. Rep., 1989.
25. S. Kim, J. Clark, and J. McDermid, "The rigorous generation of Java mutation operators using HAZOP," in ICSSEA, 1999.
26. Y.-S. Ma, Y.-R. Kwon, and J. Offutt, "Inter-class mutation operators for Java," in ISSRE, 2002.
27. D. Schuler, V. Dallmeier, and A. Zeller, "Efficient mutation testing by checking invariant violations," in ISSTA 2009.
28. S. A. Irvine, T. Pavlinic, L. Trigg, J. G. Cleary, S. Inglis, and M. Utting, "Jumble Java byte code to measure the effectiveness of unit tests," in MUTATION, 2007.
29. Y.-S. Ma, J. Offutt, and Y. R. Kwon, "MuJava: A mutation system for Java," in ICSE, 2006.
30. Y. Jia and M. Harman, "An analysis and survey of the development of mutation testing," King's College London, Tech. Rep., 2009.
31. R. Chandra, R. M. Lefever, K. R. Joshi, M. Cukier, and W. H. Sanders, "A global-state-triggered fault injector for distributed system evaluation," IEEE TPDS, vol. 15, no. 7, 2004.
32. J. Arlat, M. Aguera, L. Amat, Y. Crouzet, J.-C. Fabre, J.- C. Laprie, E. Martins, and D. Powell, "Fault injection for dependability validation: A methodology and some applications," IEEE TSE, vol. 16, no. 2, 1990.