Mateus Araújo Borges Undergraduate Student Centro de Informática Federal University of Pernambuco mab@cin.ufpe.br

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.

Publications:

1. (C) Symbolic Execution with Interval Constraint Solving and Meta-heuristic Search. (.pdf) (TO APPEAR)
   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
   
   
2. (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