Toggle navigation
Mateus Borges
Home
Publications
Contact
1
Model-counting Approaches For Nonlinear Numerical Constraints
Iterative Distribution-Aware Sampling for Probabilistic Symbolic Execution
Compositional Solution Space Quantification for Probabilistic Software Analysis
CORAL: Solving Complex Constraints for Symbolic PathFinder
Symbolic Execution with Interval Solving and Meta-heuristic Search