Improved serial algorithms for mutation analysis
暂无分享,去创建一个
[1] V.N. Fleyshgakker,et al. HiTest: an architecture for highly parallel software , 1992, CompEuro 1992 Proceedings Computer Systems and Software Engineering.
[2] Richard J. Lipton,et al. Hints on Test Data Selection: Help for the Practicing Programmer , 1978, Computer.
[3] A. Jefferson Offutt. The Coupling Effect: Fact or Fiction , 1989, Symposium on Testing, Analysis, and Verification.
[4] Martin R. Woodward,et al. An integrated system for program testing using weak mutation and data flow analysis , 1985, ICSE '85.
[5] Larry J Morell,et al. A Theory of Fault-Based Testing , 1990, IEEE Trans. Software Eng..
[6] Elaine J. Weyuker,et al. Comparison of program testing strategies , 1991, TAV4.
[7] Debra J. Richardson,et al. The RELAY model of error detection and its application , 1988, [1988] Proceedings. Second Workshop on Software Testing, Verification, and Analysis.
[8] A. Jefferson Offutt,et al. How strong is weak mutation? , 1991, TAV4.
[9] Richard G. Hamlet,et al. Testing Programs with the Aid of a Compiler , 1977, IEEE Transactions on Software Engineering.
[10] K. N. King,et al. A fortran language system for mutation‐based software testing , 1991, Softw. Pract. Exp..
[11] Simeon C. Ntafos,et al. On Required Element Testing , 1984, IEEE Transactions on Software Engineering.
[12] Stewart N. Weiss,et al. Methods of comparing test data adequacy criteria , 1990, Proceedings., Fourteenth Annual International Computer Software and Applications Conference.
[13] Brian Marick,et al. The weak mutation hypothesis , 1991, TAV4.
[14] Richard A. DeMillo,et al. Compiler-integrated program mutation , 1991, [1991] Proceedings The Fifteenth Annual International Computer Software & Applications Conference.
[15] J. A. Acree. On mutation , 1980 .
[16] John S. Gourlay. A Mathematical Framework for the Investigation of Testing , 1983, IEEE Transactions on Software Engineering.
[17] Richard J. Lipton,et al. Theoretical and empirical studies on using program mutation to test the functional correctness of programs , 1980, POPL '80.
[18] Vernon Rego,et al. High Performance Software Testing on SIMD Machines , 1991, IEEE Trans. Software Eng..
[19] R.A. DeMillo,et al. An extended overview of the Mothra software testing environment , 1988, [1988] Proceedings. Second Workshop on Software Testing, Verification, and Analysis.
[20] Eugene H. Spafford,et al. The Mothra tool set (software testing) , 1989, [1989] Proceedings of the Twenty-Second Annual Hawaii International Conference on System Sciences. Volume II: Software Track.
[21] William E. Howden,et al. Weak Mutation Testing and Completeness of Test Sets , 1982, IEEE Transactions on Software Engineering.