Sound Symbolic Execution via Abstract Interpretation and Its Application to Security. - Ignacio Tiraboschi; Tamara Rezk; Xavier Rival (VMCAI, 2023)

Intertwining Symbolic Execution and Abstract Interpretation for the Analysis of Security Properties. (Combiner l'exécution symbolique et l'interprétation abstraite pour l'analyse des propriétés de sécurité). - Ignacio Tiraboschi (2024)