Funder
National Science Foundation Directorate for Engineering
Subject
Computer Science Applications,Information Systems,Signal Processing,Theoretical Computer Science
Reference12 articles.
1. Relational Methods in Computer Science;Brink,1997
2. A Discipline of Programming;Dijkstra,1976
3. Various code clone detection techniques and tools: a comprehensive survey;Gautam,2016
4. Efficient mutation testing of multithreaded code;Gligorich;Softw. Test. Verif. Reliab.,2013
5. The Science of Programming;Gries,1981
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Subsumption, correctness and relative correctness: Implications for software testing;Science of Computer Programming;2025-01
2. Three Forms of Mutant Subsumption: Basic, Strict and Broad;Communications in Computer and Information Science;2023
3. Quantifying the Effectiveness of Mutant Sets;2022 IEEE 22nd International Conference on Software Quality, Reliability, and Security Companion (QRS-C);2022-12
4. Generalized Mutant Subsumption;Proceedings of the 17th International Conference on Software Technologies;2022
5. Mutation Subsumption as Relative Incorrectness;Communications in Computer and Information Science;2021