Software regression testing using symbolic execution
US9021449B2 · kind B2 · utility
0Cited by
0References
22Claims
0Family size
Assignee
Inventors
Key dates
| Filing date | Aug 16, 2012 |
| Grant date | Apr 28, 2015 |
| Priority date | — |
| Expiry date | Aug 16, 2032 |
Classification
- Technology area (CPC G)Physics
- CPC primaryG06F11/368
- WIPO fieldComputer technology
- WIPO sectorElectrical engineering
Abstract
A method of testing software may include accessing first software that includes multiple execution paths and concretely executing the first software using a test case associated with second software to traverse at least a first execution path of the execution paths. The method may also include capturing concrete execution results produced from concretely executing the first software to record the first execution path and symbolically executing the first software using a symbolic input based on the recorded first execution path.
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.