Author:
Godboley Sangharatna,Dutta Arpita,Mohapatra Durga Prasad,Mall Rajib
Subject
Law,Hardware and Architecture,Software
Reference57 articles.
1. J.C. King, Symbolic execution and program testing, in: Commun. ACM, 19, 7, 1976, pp. 385–394.
2. Automatic generation of floating-point test data;Miller;IEEE Trans. Softw. Eng.,1976
3. P. Godefroid, N. Klarlund, K. Sen, DART: Directed automated random testing, in: Proceedings PLDI, New York, USA, 2005, pp. 75–84.
4. C. Pacheco, S.K. Lahiri, M.D. Ernst, T. Ball, Feedback-directed random test generation, in: Proceedings ICSE, Minneapolis, USA, 2007, pp. 75–84.
5. RTCA, Inc., December 1992, RTCA/DO-178B, Software Considerations in Airborne Systems and Equipment Certification,Washington, D.C., Dec. 1992.
Cited by
20 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Automated SC-MCC Test Case Generation using Bounded Model Checking for Safety-Critical Applications;Expert Systems with Applications;2024-03
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. CMHFL: A new Fault Localization technique based on Cochran–Mantel–Haenszel method;2022 IEEE 19th India Council International Conference (INDICON);2022-11-24
5. BOOMPizer: Minimization and prioritization of CONCOLIC based boosted MC/DC test cases;Journal of King Saud University - Computer and Information Sciences;2022-11