Dino Distefano, Matteo Marescotti, Cons Åhs, Sopot Cela, Gabriela Cunha Sampaio, Radu Grigore, Ákos Hajdu, Timotej Kapus, Ke Mao, Thibault Suzanne. Enhancing Compositional Static Analysis with Dynamic Analysis. In Vladimir Filkov, Baishakhi Ray, Minghui Zhou 0001, editors, Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering, ASE 2024, Sacramento, CA, USA, October 27 - November 1, 2024. pages 2121-2129, ACM, 2024. [doi]
No references recorded for this publication.
No citations of this publication recorded.