Mutation Operators for Actor Systems
暂无分享,去创建一个
Darko Marinov | Gul A. Agha | Vilas Jagannath | Milos Gligoric | Steven Lauterburg | G. Agha | D. Marinov | Miloš Gligorić | Steven Lauterburg | V. Jagannath
[1] Richard G. Hamlet,et al. Testing Programs with the Aid of a Compiler , 1977, IEEE Transactions on Software Engineering.
[2] Richard J. Lipton,et al. Hints on Test Data Selection: Help for the Practicing Programmer , 1978, Computer.
[3] Gul A. Agha,et al. ACTORS - a model of concurrent computation in distributed systems , 1985, MIT Press series in artificial intelligence.
[4] Jean Arlat,et al. Fault Injection for Dependability Validation: A Methodology and Some Applications , 1990, IEEE Trans. Software Eng..
[5] K. N. King,et al. A fortran language system for mutation‐based software testing , 1991, Softw. Pract. Exp..
[6] A. Jefferson Offutt,et al. Investigations of the software testing coupling effect , 1992, TSEM.
[7] Joe Armstrong,et al. Concurrent programming in ERLANG , 1993 .
[8] Richard H. Carver,et al. Mutation-based testing of concurrent programs , 1993, Proceedings of IEEE International Test Conference - (ITC).
[9] A. Jefferson Offutt,et al. Mutation Operators for Ada , 1996 .
[10] John A. Clark,et al. The Rigorous Generation of Java Mutation Operators Using HAZOP , 1999 .
[11] John A. Clark,et al. Assessing Test Set Adequacy for Object-Oriented Programs Using Class Mutation , 2000 .
[12] John A. Clark,et al. Class Mutation : Mutation Testing for Object-Oriented Programs , 2000 .
[13] Sudipto Ghosh,et al. Interface mutation , 2001, Softw. Test. Verification Reliab..
[14] A. Jefferson Offutt,et al. Mutation 2000: uniting the orthogonal , 2001 .
[15] A. Jefferson Offutt,et al. Inter-class mutation operators for Java , 2002, 13th International Symposium on Software Reliability Engineering, 2002. Proceedings..
[16] Eitan Farchi,et al. Concurrent bug patterns and how to test them , 2003, Proceedings International Parallel and Distributed Processing Symposium.
[17] William H. Sanders,et al. A global-state-triggered fault injector for distributed system evaluation , 2004, IEEE Transactions on Parallel and Distributed Systems.
[18] Yong Rae Kwon,et al. Evaluation of mutation testing for object-oriented programs , 2006, ICSE.
[19] A. Jefferson Offutt,et al. MuJava: a mutation system for java , 2006, ICSE.
[20] Wynne Hsu,et al. DESIGN OF MUTANT OPERATORS FOR THE C PROGRAMMING LANGUAGE , 2006 .
[21] J. Dingel,et al. Mutation Operators for Concurrent Java (J2SE 5.0) , 2006, Second Workshop on Mutation Analysis (Mutation 2006 - ISSRE Workshops 2006).
[22] Amin Vahdat,et al. Pip: Detecting the Unexpected in Distributed Systems , 2006, NSDI.
[23] James R. Larus,et al. Singularity: rethinking the software stack , 2007, OPSR.
[24] S. Inglis,et al. Jumble Java Byte Code to Measure the Effectiveness of Unit Tests , 2007, Testing: Academic and Industrial Conference Practice and Research Techniques - MUTATION (TAICPART-MUTATION 2007).
[25] Yuanyuan Zhou,et al. Learning from mistakes: a comprehensive study on real world concurrency bug characteristics , 2008, ASPLOS.
[26] Alan Mycroft,et al. Kilim: Isolation-Typed Actors for Java , 2008, ECOOP.
[27] Andreas Zeller,et al. Efficient mutation testing by checking invariant violations , 2009, ISSTA.
[28] Gul A. Agha,et al. Actor frameworks for the JVM platform: a comparative analysis , 2009, PPPJ '09.
[29] Mark Harman,et al. An Analysis and Survey of the Development of Mutation Testing , 2011, IEEE Transactions on Software Engineering.