Gabriela Sampaio

According to our database, Gabriela Sampaio authored at least 5 papers between 2019 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

A Trusted Infrastructure for Symbolic Analysis of Event-Driven Web Applications (Artifact).

Gabriela Sampaio, José Fragoso Santos, Petar Maksimovic, Philippa Gardner

Dagstuhl Artifacts Ser., 2020

GuyDance: Guiding Configuration Updates for Product-Line Evolution.

Michael Nieke, Gabriela Sampaio, Thomas Thüm, Christoph Seidl, Leopoldo Teixeira, Ina Schaefer

Proceedings of the SPLC '20: 24th ACM International Systems and Software Product Line Conference, 2020

A Trusted Infrastructure for Symbolic Analysis of Event-Driven Web Applications.

Gabriela Sampaio, José Fragoso Santos, Petar Maksimovic, Philippa Gardner

Proceedings of the 34th European Conference on Object-Oriented Programming, 2020

2019

JaVerT 2.0: compositional symbolic execution for JavaScript.

José Fragoso Santos, Petar Maksimovic, Gabriela Sampaio, Philippa Gardner

Proc. ACM Program. Lang., 2019

Partially safe evolution of software product lines.

Gabriela Sampaio, Paulo Borba, Leopoldo Teixeira

J. Syst. Softw., 2019