Author:
Rajan Ajitha,Whalen Michael W.,Heimdahl Mats P.E.
Cited by
42 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. BDGSE: A Symbolic Execution Technique for High MC/DC;2023 IEEE 23rd International Conference on Software Quality, Reliability, and Security (QRS);2023-10-22
2. Automating Test Case Generation Based on Symbolic Execution for Railway Transportation Control Software;2023 IEEE 5th International Conference on Civil Aviation Safety and Information Technology (ICCASIT);2023-10-11
3. PopArt: Ranked Testing Efficiency;IEEE Transactions on Software Engineering;2023-04-01
4. A Fault Model to Detect Design Errors in Combinational Circuits;2021 IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems (DFT);2021-10-06
5. Toward optimal mc/dc test case generation;Proceedings of the 30th ACM SIGSOFT International Symposium on Software Testing and Analysis;2021-07-11