Volgen
Mateus Borges
Mateus Borges
Geverifieerd e-mailadres voor ic.ac.uk - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
Coral: Solving complex constraints for symbolic pathfinder
M Souza, M Borges, M d’Amorim, C Păsăreanu
NASA Formal Methods, 359-374, 2011
862011
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
642014
Symbolic Execution with Interval Solving and Meta-heuristic Search
M Borges, M d’Amorim, S Anand, D Bushnell, CS Pasareanu
55*
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
352015
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
272017
Advances in symbolic execution
G Yang, A Filieri, M Borges, D Clun, J Wen
Advances in Computers 113, 225-287, 2019
222019
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
Universidade Federal de Pernambuco, 2015
2015
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–8