Publisher
Springer Nature Switzerland
Reference48 articles.
1. The banal static analyzer prototype. http://www.di.ens.fr/~mine/banal. Accessed 11 Sep 2023
2. Afzal, M., et al.: Veriabs: verification by abstraction and test generation. In: 2019 34th IEEE/ACM International Conference on Automated Software Engineering (ASE), pp. 1138–1141. IEEE (2019)
3. Lecture Notes in Computer Science;F Ascari,2022
4. Bagnara, R., Hill, P.M., Zaffanella, E.: Exact join detection for convex polyhedra and other numerical abstractions. Comput. Geom. 43(5), 453–473 (2010)
5. Baldoni, R., Coppa, E., D’elia, D.C., Demetrescu, C., Finocchi, I.: A survey of symbolic execution techniques. ACM Comput. Surv. (CSUR) 51(3), 1–39 (2018)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献