Publication | Closed Access
Symbolic execution for software testing
732
Citations
44
References
2013
Year
Symbolic ManipulationEngineeringProgram AnalysisAutomated ReasoningSoftware TestingTest OracleFormal MethodsSoftware AnalysisSoftware EngineeringComputer EngineeringSymbolic ComputationTest Data GenerationComputer ScienceGreat PromiseStatic Program AnalysisFormal VerificationSymbolic ExecutionSystem Software
The challenges---and great promise---of modern symbolic execution techniques, and the tools to help implement them.
| Year | Citations | |
|---|---|---|
Page 1
Page 1