ICST 2021
Mon 12 - Fri 16 April 2021
ICST 2021 (series) / Leopoldo Teixeira
Leopoldo Teixeira

Registered user since Fri 10 Oct 2014

Name:Leopoldo Teixeira
Bio:

Assistant Professor @ CIn-UFPE

Country:Brazil
Affiliation:Federal University of Pernambuco
Personal website:http://www.cin.ufpe.br/~lmt
Twitter:https://twitter.com/leopoldomt
GitHub:https://github.com/leopoldomt
Research interests:Software Evolution, Highly Configurable Systems, Software Testing, Program Analysis, Refactoring, Formal Methods

Contributions

ICST 2021 Demystifying the Challenges of Formally Specifying API Properties for Runtime Verification
Session Chair of Slicing and Static Analysis (part of Research Papers)
Committee Member in Tools Demo Program Committee within the Tool Demos Track-track
Show activities from other conferences

ICST 2021-profile
View general profile