Mateus Borges

According to our database, Mateus Borges authored at least 7 papers between 2011 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Conditional Quantitative Program Analysis.

Mitchell J. Gerrard, Mateus Borges, Matthew B. Dwyer, Antonio Filieri

IEEE Trans. Software Eng., 2022

2019

Chapter Five - Advances in Symbolic Execution.

Guowei Yang, Antonio Filieri, Mateus Borges, Donato Clun, Junye Wen

Adv. Comput., 2019

2017

Model-counting Approaches For Nonlinear Numerical Constraints.

Mateus Borges, Quoc-Sang Phan, Antonio Filieri, Corina S. Pasareanu

IACR Cryptol. ePrint Arch., 2017

2015

Iterative distribution-aware sampling for probabilistic symbolic execution.

Mateus Borges, Antonio Filieri, Marcelo d'Amorim, Corina S. Pasareanu

Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, 2015

2014

Compositional solution space quantification for probabilistic software analysis.

Mateus Borges, Antonio Filieri, Marcelo d'Amorim, Corina S. Pasareanu, Willem Visser

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2014

2012

Symbolic Execution with Interval Solving and Meta-heuristic Search.

Mateus Borges, Marcelo d'Amorim, Saswat Anand, David H. Bushnell, Corina S. Pasareanu

Proceedings of the Fifth IEEE International Conference on Software Testing, 2012

2011

CORAL: Solving Complex Constraints for Symbolic PathFinder.

Matheus Souza, Mateus Borges, Marcelo d'Amorim, Corina S. Pasareanu

Proceedings of the NASA Formal Methods, 2011