Statistics
Publications
4
Citations
140
H-Index
4
Active since
2012
Mateus Borges is an author at Universidade Federal de Pernambuco specializing in computer science, computing, and symbolic execution.
Publications per year
2012–2015
4
4
Symbolic Execution with Interval Solving and Meta-heuristic Search
Mateus Borges, Marcelo d’Amorim, Saswat Anand et al. · 2012 · 43 citations
Iterative distribution-aware sampling for probabilistic symbolic execution
Mateus Borges, Antonio Filieri, Marcelo d’Amorim et al. · 2015 · 28 citations
1–4 of 4