Publisher
Springer Science and Business Media LLC
Reference32 articles.
1. King JC (1976) Symbolic execution and program testing. Commun ACM 19(7):385–394
2. Miller W, Spooner DL (1976) Automatic generation of floating-point test data. IEEE Trans Softw Eng 2(3):223–226
3. Godefroid P, Klarlund N, Sen K (2005) DART: Directed automated random testing. In: Proceedings of PLDI, New York, USA, pp 75–84
4. Pacheco C, Lahiri SK, Ernst MD, Ball T (2007) Feedback-directed random test generation. In: Proceedings of ICSE, Minneapolis, USA, pp 75–84
5. RTCA Inc. (2011) RTCA/DO-178C, Software Considerations in Airborne Systems and Equipment Certification, Washington, D.C. December, Issue Date 13/12/2011
Cited by
19 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. An Extensive Investigation of Condition Reachability using CBMC: Study on Negative Results;2023 IEEE 20th India Council International Conference (INDICON);2023-12-14
2. PRCMHFL: A Fault Localization Technique Based on Predicate Ranking and CMH Method;2023 IEEE 23rd International Conference on Software Quality, Reliability, and Security Companion (QRS-C);2023-10-22
3. BDGSE: A Symbolic Execution Technique for High MC/DC;2023 IEEE 23rd International Conference on Software Quality, Reliability, and Security (QRS);2023-10-22
4. CMHFL: A new Fault Localization technique based on Cochran–Mantel–Haenszel method;2022 IEEE 19th India Council International Conference (INDICON);2022-11-24
5. Towards Agile Mutation Testing Using Branch Coverage Based Prioritization Technique;Lecture Notes in Business Information Processing;2022