Mateus Borges
Mateus Borges
Verified email at ic.ac.uk - Homepage
TitleCited byYear
Coral: Solving complex constraints for symbolic pathfinder
M Souza, M Borges, M d’Amorim, C Păsăreanu
NASA Formal Methods, 359-374, 2011
592011
Compositional solution space quantification for probabilistic software analysis
M Borges, A Filieri, M d'Amorim, CS Păsăreanu, W Visser
ACM SIGPLAN Notices 49 (6), 123-132, 2014
412014
Symbolic Execution with Interval Solving and Meta-heuristic Search
M Borges, M d’Amorim, S Anand, D Bushnell, CS Pasareanu
39*
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
112015
Model-counting approaches for nonlinear numerical constraints
M Borges, QS Phan, A Filieri, CS Păsăreanu
NASA Formal Methods Symposium, 131-138, 2017
62017
Advances in Symbolic Execution
G Yang, A Filieri, M Borges, D Clun, J Wen
Elsevier, 2018
2018
Techniques to facilitate probabilistic software analysis in real-world programs
MA BORGES
Universidade Federal de Pernambuco, 2015
2015
The system can't perform the operation now. Try again later.
Articles 1–7