Date of Original Version



Technical Report

Abstract or Description

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 symbolic execution tool. CORAL’s solvers have been designed
to deal with mathematical constraints and their heuristics have been
improved based on examples from the aerospace domain. This integration
significantly broadens the application of Symbolic PathFinder at NASA
and in industry.


To view the content in your browser, please download Adobe Reader or, alternately,
you may Download the file to your hard drive.

NOTE: The latest versions of Adobe Reader do not support viewing PDF files within Firefox on Mac OS and if you are using a modern (Intel) Mac, there is no official plugin for viewing PDF files within the browser window.