The patent badge is an abbreviated version of the USPTO patent document. The patent badge does contain a link to the full patent document.
The patent badge is an abbreviated version of the USPTO patent document. The patent badge covers the following: Patent number, Date patent was issued, Date patent was filed, Title of the patent, Applicant, Inventor, Assignee, Attorney firm, Primary examiner, Assistant examiner, CPCs, and Abstract. The patent badge does contain a link to the full patent document (in Adobe Acrobat format, aka pdf). To download or print any patent click here.
Patent No.:
Date of Patent:
Apr. 28, 2015
Filed:
Aug. 16, 2012
Maarten H. Wiggers, San Jose, CA (US);
Mukul R. Prasad, San Jose, CA (US);
Indradeep Ghosh, Cupertino, CA (US);
Maarten H. Wiggers, San Jose, CA (US);
Mukul R. Prasad, San Jose, CA (US);
Indradeep Ghosh, Cupertino, CA (US);
Fujitsu Limited, Kawasaki, JP;
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.