Mateus Borges

Publication Activity (10 Years)

Years Active: 2011-2022
Publications (10 Years): 4

Top Topics

Symbolic Execution

Top Venues

IACR Cryptol. ePrint Arch.

ESEC/SIGSOFT FSE

Publications

Mitchell J. Gerrard, Mateus Borges, Matthew B. Dwyer, Antonio Filieri
Conditional Quantitative Program Analysis. IEEE Trans. Software Eng. 48 (4) (2022)
Guowei Yang, Antonio Filieri, Mateus Borges, Donato Clun, Junye Wen
Chapter Five - Advances in Symbolic Execution. Adv. Comput. 113 (2019)
Mateus Borges, Quoc-Sang Phan, Antonio Filieri, Corina S. Pasareanu
Model-counting Approaches For Nonlinear Numerical Constraints. IACR Cryptol. ePrint Arch. 2017 (2017)
Mateus Borges, Quoc-Sang Phan, Antonio Filieri, Corina S. Pasareanu
Model-Counting Approaches for Nonlinear Numerical Constraints. NFM (2017)
Mateus Borges, Antonio Filieri, Marcelo d'Amorim, Corina S. Pasareanu
Iterative distribution-aware sampling for probabilistic symbolic execution. ESEC/SIGSOFT FSE (2015)
Mateus Borges, Antonio Filieri, Marcelo d'Amorim, Corina S. Pasareanu, Willem Visser
Compositional solution space quantification for probabilistic software analysis. PLDI (2014)
Mateus Borges, Marcelo d'Amorim, Saswat Anand, David H. Bushnell, Corina S. Pasareanu
Symbolic Execution with Interval Solving and Meta-heuristic Search. ICST (2012)
Matheus Souza, Mateus Borges, Marcelo d'Amorim, Corina S. Pasareanu
CORAL: Solving Complex Constraints for Symbolic PathFinder. NASA Formal Methods (2011)