CORAL: Solving Complex Constraints for Symbolic PathFinder


Symbolic execution is a powerful automated technique for generating test cases. Its goal is to achieve high coverage of software. One major obstacle in adopting the technique in practice is its inability to handle complex mathematical constraints. To address the problem, we have integrated CORAL’s heuristic solvers into NASA Ames’ Symbolic PathFinder… (More)
DOI: 10.1007/978-3-642-20398-5_26


7 Figures and Tables


Citations per Year

Citation Velocity: 28

Averaging 28 citations per year over the last 3 years.

Learn more about how we calculate this metric in our FAQ.

Cite this paper

@inproceedings{Souza2011CORALSC, title={CORAL: Solving Complex Constraints for Symbolic PathFinder}, author={Matheus Souza and Mateus Borges and Marcelo d'Amorim and Corina S. Pasareanu}, booktitle={NASA Formal Methods}, year={2011} }