Mateus Borges - UFPE

Mateus Borges

Master's Student
Centro de Informática
Federal University of Pernambuco

I am currently working under the supervision of professor Marcelo d'Amorim.
Our group research ways to make testing and debugging techiniques more acurate
and efficient.


  1. (C)  Compositional Solution Space Quantification for Probabilistic Software Analysis (.pdf)
    Mateus Borges, Antonio Filieri, Marcelo d'Amorim, Corina Păsăreanu, and Willem Visser
    ACM SIGPLAN Programming Language Design and Implementation
    (PLDI 2014), Edinburgh, UK, June 2014.

  2. (C) Symbolic Execution with Interval Constraint Solving and Meta-heuristic Search. (.pdf)
    Mateus Borges, Marcelo d'Amorim Saswat Anand, David Bushnell, Corina Păsăreanu.
    IEEE International Conference on Software Testing, Verification and Validation (accpt. 27% [39/145])
    (ICST 2012), Montreal, CA, April 2012

  3. (C)  CORAL: Solving Complex Constraints for Symbolic PathFinder (.pdf).
    Matheus Souza, Mateus Borges, Marcelo d'Amorim, Corina Păsăreanu.
    NASA Formal Methods Symposium (accpt. 23% [26/112])
    (NFM 2011), Pasadena (CA), USA, April 2011