Uncovering Bugs in P4 Programs with Assertion-based Verification. - Lucas Freire; Miguel C. Neves; Lucas Leal; Kirill Levchenko; Alberto E. Schaeffer Filho; Marinho P. Barcellos (SOSR, 2018)

The SAMBA Approach for Self-Adaptive Model-Based Online Testing of Services Orchestrations. - Lucas Leal; Andrea Ceccarelli; Eliane Martins (COMPSAC (1), 2019)

Exploiting MDE for Platform-Independent Testing of Service Orchestrations. - Lucas Leal; Leonardo Montecchi; Andrea Ceccarelli; Eliane Martins (EDCC, 2019)

AS-Path Prepending: there is no rose without a thorn. - Pedro de B. Marcos; Lars Prehn; Lucas Leal; Alberto Dainotti; Anja Feldmann; Marinho P. Barcellos (Internet Measurement Conference, 2020)

Using Metamodels to Improve Model-Based Testing of Service Orchestrations. - Lucas Leal; Leonardo Montecchi; Andrea Ceccarelli; Eliane Martins (PRDC, 2020)