Publisher
Springer International Publishing
Reference44 articles.
1. King, J.C.: Symbolic execution and program testing. Commun. ACM 19, 385–394 (1976)
2. Sen, K., Marinov, D., Agha, G.: Cute: a concolic unit testing engine for C. In: Proceedings of the 10th European Software Engineering Conference (2005)
3. Godefroid, P., Klarlund, N., Sen, K.: Dart: directed automated random testing. In: Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2005) (2005)
4. Lecture Notes in Computer Science;D Song,2008
5. Cadar, C., Dunbar, D., Engler, D.: KLEE: unassisted and automatic generation of high-coverage tests for complex systems programs. In: Proceedings of the 8th USENIX Conference on Operating Systems Design and Implementation (OSDI 2008) (2008)
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Concolic execution for RPA testing;2023 27th International Conference on Engineering of Complex Computer Systems (ICECCS);2023-06-14
2. FirVer: Concolic Testing for Systematic Validation of Firmware Binaries;2022 27th Asia and South Pacific Design Automation Conference (ASP-DAC);2022-01-17
3. Versatile Binary-Level Concolic Testing;Handbook of Computer Architecture;2022
4. RIVER 2.0: an open-source testing framework using AI techniques;Proceedings of the 1st ACM SIGSOFT International Workshop on Languages and Tools for Next-Generation Testing;2020-11-08
5. A Novel Concolic Execution Approach on Embedded Device;Proceedings of the 2020 4th International Conference on Cryptography, Security and Privacy;2020-01-10