Follow
Mateus Borges
Mateus Borges
Verified email at ic.ac.uk - Homepage
Title
Cited by
Cited by
Year
Coral: Solving complex constraints for symbolic pathfinder
M Souza, M Borges, M d’Amorim, C Păsăreanu
NASA Formal Methods, 359-374, 2011
882011
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
672014
Symbolic Execution with Interval Solving and Meta-heuristic Search
M Borges, M d’Amorim, S Anand, D Bushnell, CS Pasareanu
56*
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
372015
Model-counting approaches for nonlinear numerical constraints
M Borges, QS Phan, A Filieri, CS Păsăreanu
NASA Formal Methods: 9th International Symposium, NFM 2017, Moffett Field …, 2017
292017
Advances in symbolic execution
G Yang, A Filieri, M Borges, D Clun, J Wen
Advances in Computers 113, 225-287, 2019
242019
Conditional Quantitative Program Analysis
M Gerrard, M Borges, MB Dwyer, A Filieri
IEEE Transactions on Software Engineering 48 (4), 1212-1227, 2020
32020
Techniques to facilitate probabilistic software analysis in real-world programs
MA BORGES
2015
The system can't perform the operation now. Try again later.
Articles 1–8