Dettaglio pubblicazione
2017, ASE 2017 - Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, Pages 613-618
Rethinking Pointer Reasoning in Symbolic Execution (04b Atto di convegno in volume)
Coppa Emilio, D'Elia Daniele Cono, Demetrescu Camil
ISBN: 978-153862684-9, ...
Gruppo di ricerca: Cybersecurity
keywords