Ordering Mutants to Minimise Test Effort in Mutation Testing-Reference-Cited by-同舟云学术

Ordering Mutants to Minimise Test Effort in Mutation Testing

Published:2005 Issue: Volume: Page:195-209
ISSN:0302-9743
Container-title:Formal Approaches to Software Testing
language:
Short-container-title:

Author:

Kapoor Kalpesh,Bowen Jonathan P.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-31848-4_14

Reference26 articles.

1. Budd, T.A., DeMillo, R.A., Lipton, R.J., Sayward, F.G.: Theoretical and Empirical Studies on using Program Mutation to Test the Functional Correctness of Programs. In: 7th Symposium on Principles of Programming Languages, pp. 220–233. ACM, New York (1980)

2. Cooperating Validity Checker, Stanford University, USA, http://verify.stanford.edu/CVC/ (last accessed: August 14, 2004)

3. DeMillo, R.A., Lipton, R.J., Sayward, F.G.: Hints on Test Data Selection: Help for the Practicing Programmer. IEEE Computer 11(4), 34–41 (1978)

4. DeMillo, R.A., Jefferson Offutt, A.: Constraint-Based Automatic Test Data Generation. IEEE Transactions on Software Engineering 17(9), 900–910 (1991)

5. Duncan, I.M.M., Robson, D.J.: Ordered Mutation Testing. ACM SIGSOFT Software Engineering Notes 15, 29–30 (1990)

Cited by 5 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. SMBFL: slice-based cost reduction of mutation-based fault localization;Empirical Software Engineering;2020-08-27

2. Featured model-based mutation analysis;Proceedings of the 38th International Conference on Software Engineering;2016-05-14

3. Semantic mutation testing;Science of Computer Programming;2013-04

4. Test conditions for fault classes in Boolean specifications;ACM Transactions on Software Engineering and Methodology;2007-07

5. Using Model Checking to Generate Fault Detecting Tests;Tests and Proofs