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
4 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Three Forms of Mutant Subsumption: Basic, Strict and Broad;Communications in Computer and Information Science;2023
2. Quantifying the Effectiveness of Mutant Sets;2022 IEEE 22nd International Conference on Software Quality, Reliability, and Security Companion (QRS-C);2022-12
3. Generalized Mutant Subsumption;Proceedings of the 17th International Conference on Software Technologies;2022
4. Mutation Subsumption as Relative Incorrectness;Communications in Computer and Information Science;2021