Mateus Borges
Mateus Borges
E-mail confirmado em ic.ac.uk - Página inicial
Título
Citado por
Citado por
Ano
Coral: Solving complex constraints for symbolic pathfinder
M Souza, M Borges, M d’Amorim, C Păsăreanu
NASA Formal Methods, 359-374, 2011
722011
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
512014
Symbolic Execution with Interval Solving and Meta-heuristic Search
M Borges, M d’Amorim, S Anand, D Bushnell, CS Pasareanu
45*
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
202015
Model-counting approaches for nonlinear numerical constraints
M Borges, QS Phan, A Filieri, CS Păsăreanu
NASA Formal Methods Symposium, 131-138, 2017
102017
Advances in Symbolic Execution
G Yang, A Filieri, M Borges, D Clun, J Wen
Advances in Computers 113, 225-287, 2019
12019
Techniques to facilitate probabilistic software analysis in real-world programs
MA BORGES
Universidade Federal de Pernambuco, 2015
2015
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–7