Patent №
US 8,997,064
Granted
2015-03-31
Filed 2012
Owner
FUJITSU LIMITED
Lab
—
AI components
2
kr · hardware
Assignment
Recorded
Dataset
AIPD
2023_r1 edition
Application
13587423
A method of testing software may include accessing software that includes multiple execution paths that each include one or more branching points. The method may also include concretely executing the software using multiple concrete inputs to traverse at least two of the execution paths of the software. The method may also include capturing concrete execution results produced from executing the software using the concrete inputs. The method may also include symbolically executing the software using one or more symbolic inputs based on the concrete execution results.
AI classification
Ownership
FUJITSU LIMITED
assignment · 288080507
Assignors
PRASAD, MUKUL R., WIGGERS, MAARTEN H.
On an employer assignment, the assignors are typically the inventors.