CORAL: Solving Complex Constraints for Symbolic PathFinder. - Matheus Souza 003; Mateus Borges; Marcelo d'Amorim; Corina S. Pasareanu (NASA Formal Methods, 2011)

Symbolic Execution with Interval Solving and Meta-heuristic Search. - Mateus Borges; Marcelo d'Amorim; Saswat Anand; David H. Bushnell; Corina S. Pasareanu (ICST, 2012)

Compositional solution space quantification for probabilistic software analysis. - Mateus Borges; Antonio Filieri; Marcelo d'Amorim; Corina S. Pasareanu; Willem Visser (PLDI, 2014)

Iterative distribution-aware sampling for probabilistic symbolic execution. - Mateus Borges; Antonio Filieri; Marcelo d'Amorim; Corina S. Pasareanu (ESEC/SIGSOFT FSE, 2015)

Model-counting Approaches For Nonlinear Numerical Constraints. - Mateus Borges; Quoc-Sang Phan; Antonio Filieri; Corina S. Pasareanu (IACR Cryptol. ePrint Arch., 2017)

Chapter Five - Advances in Symbolic Execution. - Guowei Yang 001; Antonio Filieri; Mateus Borges; Donato Clun; Junye Wen (Adv. Comput., 2019)

Conditional Quantitative Program Analysis. - Mitchell J. Gerrard; Mateus Borges; Matthew B. Dwyer; Antonio Filieri (IEEE Trans. Software Eng., 2022)