Thales Araujo da Silva

Publication Activity (10 Years)

Years Active: 2023-2023
Publications (10 Years): 1

Top Topics

Software Testing

Development Team

Bounded Model Checking

Top Venues

Publications

Janislley Oliveira de Sousa, Bruno Carvalho de Farias, Thales Araujo da Silva, Eddie Batista de Lima Filho, Lucas C. Cordeiro
Finding Software Vulnerabilities in Open-Source C Projects via Bounded Model Checking. CoRR (2023)