Publisher
Springer Science and Business Media LLC
Reference23 articles.
1. Ball T, Rajamani SK (2000) Boolean programs: a model and process for software analysis. Technical Report MSR-TR-2000-14, Microsoft Research, Redmond, WA
2. Beizer B (1990) Software testing techniques, 2nd edn. Van Nostrand Reinhold Inc., New York
3. Budd TA, DeMillo RA, Lipton RJ, Sayward FG (1980) Theoretical and empirical studies on using program mutation to test the functional correctness of programs. In: 7th symposium on principles of programming languages, ACM, pp 220–233
4. Chang J, Richardson DJ, Sankar S (1996) Structural specification-based testing with ADL. In: International symposium on software testing and analysis, pp 62–70
5. Chen TY, Lau MF (2001) Test case selection strategies based on boolean specifications. Softw Test, Verif Reliab 11(3):165–180
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Do we need high-order mutation in fault-based Boolean-specification testing?;Journal of Systems and Software;2024-04
2. Mutation‐based data augmentation for software defect prediction;Journal of Software: Evolution and Process;2023-11-06
3. A systematic literature review of how mutation testing supports quality assurance processes;Software Testing, Verification and Reliability;2018-07-16
4. The Theory of Composite Faults;2017 IEEE International Conference on Software Testing, Verification and Validation (ICST);2017-03
5. Coverage is not strongly correlated with test suite effectiveness;Proceedings of the 36th International Conference on Software Engineering;2014-05-31