Publications

Filter by type:

Mateus Borges, Quoc-Sang Phan, Antonio Filieri, Corina S. Pasareanu. Model-counting Approaches For Nonlinear Numerical Constraints. In NFM, 2017.

Details PDF Code

Mateus Borges, Antonio Filieri, Marcelo d’Amorim, Corina S. Pasareanu. Iterative Distribution-Aware Sampling for Probabilistic Symbolic Execution. In ESEC/FSE, 2015.

Details PDF Code

Mateus Borges, Antonio Filieri, Marcelo d’Amorim, Corina S. Pasareanu, Willem Visser. Compositional Solution Space Quantification for Probabilistic Software Analysis. In PLDI, 2014.

Details PDF Code

Mateus Borges, Marcelo d’Amorim, Saswat Anand, David Bushnell, Corina S. Pasareanu. Symbolic Execution with Interval Solving and Meta-heuristic Search. In ICST, 2012.

Details PDF Code

Matheus Souza, Mateus Borges, Marcelo d’Amorim, Corina S. Pasareanu. CORAL: Solving Complex Constraints for Symbolic PathFinder. In NFM, 2012.

Details PDF Code