Partially safe evolution of software product lines. - Gabriela Cunha Sampaio; Paulo Borba; Leopoldo Teixeira (J. Syst. Softw., 2019)

JaVerT 2.0: compositional symbolic execution for JavaScript. - José Fragoso Santos; Petar Maksimovic 001; Gabriela Cunha Sampaio; Philippa Gardner (Proc. ACM Program. Lang., 2019)

GuyDance: Guiding Configuration Updates for Product-Line Evolution. - Michael Nieke; Gabriela Cunha Sampaio; Thomas Thüm; Christoph Seidl 001; Leopoldo Teixeira; Ina Schaefer (SPLC (B), 2020)

Guiding the evolution of product-line configurations. - Michael Nieke; Gabriela Cunha Sampaio; Thomas Thüm; Christoph Seidl 001; Leopoldo Teixeira; Ina Schaefer (Softw. Syst. Model., 2022)

PrivacyCAT: Privacy-Aware Code Analysis at Scale. - Ke Mao; Cons Åhs; Sopot Cela; Dino Distefano; Nick Gardner; Radu Grigore; Per Gustafsson; Ákos Hajdu; Timotej Kapus; Matteo Marescotti; Gabriela Cunha Sampaio; Thibault Suzanne (ICSE-SEIP, 2024)

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 (ASE, 2024)