Publication | Closed Access
Symbolic PathFinder
247
Citations
6
References
2010
Year
Unknown Venue
EngineeringVerificationTest Data GenerationSoftware EngineeringModel CheckingSoftware AnalysisFormal VerificationError DetectionTest OracleSystems EngineeringRuntime VerificationComputer EngineeringSymbolic PathfinderComputer ScienceStatic Program AnalysisSoftware DesignAutomated ReasoningProgram AnalysisSoftware TestingFormal MethodsSymbolic Execution
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.
| Year | Citations | |
|---|---|---|
Page 1
Page 1