Subject
Law,Hardware and Architecture,Software
Reference45 articles.
1. Testability transformation;Harman;IEEE Trans. Softw. Eng.,2004
2. Open problems in testability transformation;Harman,2008
3. Testability transformation program transformation to improve testability;Harman,2008
4. K. Kahkonen, R. Kindermann, K. Heljanko, I. Niemela, Experimental comparison of concolic and random testing for java card applets, Proceedings of International SPIN Workshop, LNCS 6349(2010) 22–39.
5. An improved distributed concolic testing;Godboley;Softw.: Pract. Exp.,2017
Cited by
16 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Educational Institution Management Information System;2024 35th Conference of Open Innovations Association (FRUCT);2024-04-24
2. An Extensive Investigation of Condition Reachability using CBMC: Study on Negative Results;2023 IEEE 20th India Council International Conference (INDICON);2023-12-14
3. SC-MCC: A Stronger Code Coverage Criterion;2023 IEEE 23rd International Conference on Software Quality, Reliability, and Security Companion (QRS-C);2023-10-22
4. Carbon-Box Testing;Proceedings of the 18th International Conference on Evaluation of Novel Approaches to Software Engineering;2023
5. CMHFL: A new Fault Localization technique based on Cochran–Mantel–Haenszel method;2022 IEEE 19th India Council International Conference (INDICON);2022-11-24