CORAL: Solving Complex Constraints for Symbolic PathFinder

Abstract

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

Topics

7 Figures and Tables

Statistics

050100201520162017
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} }