Author:
Neubaum Andreas,Al Sardy Loui,Spisländer Marc,Saglietti Francesca,Biener Yves
Publisher
Springer International Publishing
Reference24 articles.
1. Lecture Notes in Computer Science;L Al Sardy,2019
2. Lecture Notes in Computer Science;L Al Sardy,2018
3. Baldoni, R., Coppa, E., D’Elia, D., Demetrescu, C., Finocchi, I.: A survey of symbolic execution techniques. ACM Comput. Surv. 51(3), 1–39 (2018)
4. Blanc, N., Kroening, D.: Race analysis for SystemC using model checking. In: IEEE/ACM International Conference on Computer-Aided Design, pp. 356–363 (2008)
5. Cadar, C., Dunbar, D., Engler, D.: KLEE: unassisted and automatic generation of high-coverage tests for complex system programs. In: USENIX Symposium on Operating Systems Design and Implementation, pp. 209–224, USENIX Association (2008)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献