| Coral: Solving complex constraints for symbolic pathfinder M Souza, M Borges, M d’Amorim, C Păsăreanu NASA Formal Methods, 359-374, 2011 | 85 | 2011 |
| 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 | 62 | 2014 |
| Symbolic Execution with Interval Solving and Meta-heuristic Search M Borges, M d’Amorim, S Anand, D Bushnell, CS Pasareanu | 57* | |
| 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 | 32 | 2015 |
| 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 | 26 | 2017 |
| Advances in symbolic execution G Yang, A Filieri, M Borges, D Clun, J Wen Advances in Computers 113, 225-287, 2019 | 14 | 2019 |
| Conditional Quantitative Program Analysis M Gerrard, M Borges, MB Dwyer, A Filieri IEEE Transactions on Software Engineering 48 (4), 1212-1227, 2020 | | 2020 |
| Techniques to facilitate probabilistic software analysis in real-world programs MA BORGES Universidade Federal de Pernambuco, 2015 | | 2015 |
Corina PasareanuCMU/NASA AmesVerified email at nasa.gov
