Enhancing Compositional Static Analysis with Dynamic Analysis

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]

Authors

Dino Distefano

This author has not been identified. Look up 'Dino Distefano' in Google

Matteo Marescotti

This author has not been identified. Look up 'Matteo Marescotti' in Google

Cons Åhs

This author has not been identified. Look up 'Cons Åhs' in Google

Sopot Cela

This author has not been identified. Look up 'Sopot Cela' in Google

Gabriela Cunha Sampaio

This author has not been identified. Look up 'Gabriela Cunha Sampaio' in Google

Radu Grigore

This author has not been identified. Look up 'Radu Grigore' in Google

Ákos Hajdu

This author has not been identified. Look up 'Ákos Hajdu' in Google

Timotej Kapus

This author has not been identified. Look up 'Timotej Kapus' in Google

Ke Mao

This author has not been identified. Look up 'Ke Mao' in Google

Thibault Suzanne

This author has not been identified. Look up 'Thibault Suzanne' in Google