Prioritizing Mutation Operators Based on Importance Sampling
暂无分享,去创建一个
[1] A. Jefferson Offutt,et al. Mutation 2000: uniting the orthogonal , 2001 .
[2] Roland H. Untch. On reduced neighborhood mutation analysis using a single mutagenic operator , 2009, ACM-SE 47.
[3] Andreas Zeller,et al. Efficient mutation testing by checking invariant violations , 2009, ISSTA.
[4] Gregg Rothermel,et al. An experimental determination of sufficient mutant operators , 1996, TSEM.
[5] Mark Harman,et al. Using program slicing to assist in the detection of equivalent mutants , 1999, Softw. Test. Verification Reliab..
[6] Sebastian Thrun,et al. Probabilistic robotics , 2002, CACM.
[7] A. Jefferson Offutt,et al. MuJava: an automated class mutation system , 2005, Softw. Test. Verification Reliab..
[8] J.H. Andrews,et al. Finding Sufficient Mutation Operators via Variable Reduction , 2006, Second Workshop on Mutation Analysis (Mutation 2006 - ISSRE Workshops 2006).
[9] Richard G. Hamlet,et al. Testing Programs with the Aid of a Compiler , 1977, IEEE Transactions on Software Engineering.
[10] Peter Stone,et al. Practical Vision-Based Monte Carlo Localization on a Legged Robot , 2005, Proceedings of the 2005 IEEE International Conference on Robotics and Automation.
[11] Akbar Siami Namin,et al. Sufficient mutation operators for measuring test effectiveness , 2008, 2008 ACM/IEEE 30th International Conference on Software Engineering.
[12] A. Jefferson Offutt,et al. Detecting equivalent mutants and the feasible path problem , 1996, Proceedings of 11th Annual Conference on Computer Assurance. COMPASS '96.
[13] Richard J. Lipton,et al. Hints on Test Data Selection: Help for the Practicing Programmer , 1978, Computer.
[14] Wynne Hsu,et al. DESIGN OF MUTANT OPERATORS FOR THE C PROGRAMMING LANGUAGE , 2006 .
[15] Dieter Fox,et al. Adapting the Sample Size in Particle Filters Through KLD-Sampling , 2003, Int. J. Robotics Res..
[16] Lionel C. Briand,et al. Is mutation an appropriate tool for testing experiments? , 2005, ICSE.
[17] Douglas Baldwin,et al. Heuristics for Determining Equivalence of Program Mutations. , 1979 .
[18] Thomas J. Ostrand,et al. Experiments on the effectiveness of dataflow- and control-flow-based test adequacy criteria , 1994, Proceedings of 16th International Conference on Software Engineering.
[19] Márcio Eduardo Delamaro,et al. Proteum - A Tool for the Assessment of Test Adequacy for C Programs User's guide , 1996 .
[20] Radford M. Neal. Pattern Recognition and Machine Learning , 2007, Technometrics.
[21] Thomas M. Cover,et al. Elements of Information Theory , 2005 .