Steps Towards Efficiently Implementing Program Mutation Systems. The High Level Design of a Distributed Mutation System.
暂无分享,去创建一个
[1] Timothy Alan Budd,et al. Mutation analysis of program test data , 1980 .
[2] Richard J. Lipton,et al. Hints on Test Data Selection: Help for the Practicing Programmer , 1978, Computer.
[3] SIDNEY L. HANTLER,et al. An Introduction to Proving the Correctness of Programs , 1976, CSUR.
[4] William E. Howden. Methodology for the Generation of Program Test Data , 1975, IEEE Transactions on Computers.
[5] William E. Howden,et al. Reliability of the Path Analysis Testing Strategy , 1976, IEEE Transactions on Software Engineering.
[6] C. V. Ramamoorthy,et al. On the Automated Generation of Program Test Data , 1976, IEEE Transactions on Software Engineering.
[7] Richard J. Lipton,et al. The design of a prototype mutation system for program testing , 1899, AFIPS National Computer Conference.
[8] Lori A. Clarke,et al. A System to Generate Test Data and Symbolically Execute Programs , 1976, IEEE Transactions on Software Engineering.