Pedro Adão - ECOOP and ISSTA 2023

Mon 17 - Fri 21 July 2023 Seattle (University of Washington campus), Washington, United States

Registered user since Thu 5 May 2022

Name:Pedro Adão

Country:Portugal

Affiliation:IST-ULisboa and Instituto de Telecomunicações

Contributions

2023

ECOOP

Toward Tool-Independent Summaries for Symbolic Execution

ISSTA

Committee Member in Tool Demonstrations within the Tool Demonstrations-track

Show activities from other conferences

ECOOP and ISSTA 2023-profile
View general profile