NASA Logo

NTRS

NTRS - NASA Technical Reports Server

Back to Results
Symbolic PathFinder: Symbolic Execution of Java BytecodeSymbolic Pathfinder (SPF) combines symbolic execution with model checking and constraint solving for automated test case generation and error detection in Java programs with unspecified inputs. In this tool, programs are executed on symbolic inputs representing multiple concrete inputs. Values of variables are represented as constraints generated from the analysis of Java bytecode. The constraints are solved using off-the shelf solvers to generate test inputs guaranteed to achieve complex coverage criteria. SPF has been used successfully at NASA, in academia, and in industry.
Document ID
20110008292
Acquisition Source
Ames Research Center
Document Type
Conference Paper
Authors
Pasareanu, Corina S.
(SGT, Inc. Moffett Field, CA, United States)
Rungta, Neha
(SGT, Inc. Moffett Field, CA, United States)
Date Acquired
August 25, 2013
Publication Date
September 20, 2010
Subject Category
Computer Programming And Software
Report/Patent Number
ARC-E-DAA-TN1868
Meeting Information
Meeting: 25th IEEE/ACM International Conference on Automated Software Engineering
Location: Antwerp
Country: Belgium
Start Date: September 20, 2010
End Date: September 24, 2010
Sponsors: Institute of Electrical and Electronics Engineers
Funding Number(s)
CONTRACT_GRANT: NNA08CG83C
Distribution Limits
Public
Copyright
Public Use Permitted.
No Preview Available