Loading...
Please wait, while we are loading the content...
Similar Documents
Symbolic pathfinder: symbolic execution of java bytecode
| Content Provider | NASA Technical Reports Server (NTRS) |
|---|---|
| Author | Pasareanu, Corina S. Rungta, Neha |
| Copyright Year | 2010 |
| Description | Symbolic 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. |
| File Size | 158330 |
| Page Count | 2 |
| File Format | |
| Alternate Webpage(s) | http://archive.org/details/NASA_NTRS_Archive_20110008292 |
| Archival Resource Key | ark:/13960/t36161555 |
| Language | English |
| Publisher Date | 2010-09-20 |
| Access Restriction | Open |
| Subject Keyword | Computer Programming And Software Industries Errors Java Programming Language Proving Detection Reliability Computer Programs Commercial Off-the-shelf Products Ntrs Nasa Technical Reports ServerĀ (ntrs) Nasa Technical Reports Server Aerodynamics Aircraft Aerospace Engineering Aerospace Aeronautic Space Science |
| Content Type | Text |
| Resource Type | Article |