Mateus Borges
Mateus Borges
E-mail confirmado em ic.ac.uk - Página inicial
TítuloCitado porAno
Coral: Solving complex constraints for symbolic pathfinder
M Souza, M Borges, M d’Amorim, C Păsăreanu
NASA Formal Methods, 359-374, 2011
682011
Compositional solution space quantification for probabilistic software analysis
M Borges, A Filieri, M d'Amorim, CS Păsăreanu, W Visser
Proceedings of the 35th ACM SIGPLAN Conference on Programming Language …, 2014
472014
Symbolic Execution with Interval Solving and Meta-heuristic Search
M Borges, M d’Amorim, S Anand, D Bushnell, CS Pasareanu
42*
Iterative distribution-aware sampling for probabilistic symbolic execution
M Borges, A Filieri, M d'Amorim, CS Păsăreanu
Proceedings of the 2015 10th Joint Meeting on Foundations of Software …, 2015
182015
Model-counting approaches for nonlinear numerical constraints
M Borges, QS Phan, A Filieri, CS Păsăreanu
NASA Formal Methods Symposium, 131-138, 2017
72017
Advances in Symbolic Execution
G Yang, A Filieri, M Borges, D Clun, J Wen
Advances in Computers 113, 225-287, 2019
2019
Techniques to facilitate probabilistic software analysis in real-world programs
MA BORGES
Universidade Federal de Pernambuco, 2015
2015
EFEITOS DA TAPOTAGEM SOBRE o VEF1 EM INDIVÍDUOS NORMAIS
MV Herbst-Rodrigues, C Guerra, K Lemes, M Souza, D Boaretto, ...
Brazilian Journal of Physical Therapy 8 (Suplemento), 64-64, 2004
2004
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–8