Patents by Inventor Maarten H. WIGGERS

Maarten H. WIGGERS has filed for patents to protect the following inventions. This listing includes patent applications that are pending as well as patents that have already been granted by the United States Patent and Trademark Office (USPTO).

  • Establishing a chain of trust within a virtual machine
    Patent number: 9992024
    Abstract: According to an aspect of an embodiment, a method of establishing a chain of trust into a virtual machine on a hardware system is described. The method may include measuring an immutable portion of a virtual machine image configured to instantiate as the virtual machine to generate a trust anchor measurement. The method may also include storing the trust anchor measurement in a sealed memory.
    Type: Grant
    Filed: January 25, 2012
    Date of Patent: June 5, 2018
    Assignee: FUJITSU LIMITED
    Inventors: Zhexuan Song, Maarten H. Wiggers, Ryusuke Masuoka
  • Software verification
    Patent number: 9081892
    Abstract: A method of verifying software includes receiving at least a portion of a software program. The portion of the software program may include a software function within a class. The method may also include generating a proxy class based on the class where the proxy class includes a proxy function that includes a call to the software function and analyzing the proxy function. The analysis of the proxy function may include analyzing the software function based on a proxy condition used by the proxy function, the proxy condition based on the software program and configured to apply conditions to parameters and/or variables in the software function.
    Type: Grant
    Filed: March 14, 2013
    Date of Patent: July 14, 2015
    Assignee: FUJITSU LIMITED
    Inventors: Hiroaki Yoshida, Maarten H. Wiggers
  • Software regression testing using symbolic execution
    Patent number: 9021449
    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.
    Type: Grant
    Filed: August 16, 2012
    Date of Patent: April 28, 2015
    Assignee: Fujitsu Limited
    Inventors: Maarten H. Wiggers, Mukul R. Prasad, Indradeep Ghosh
  • Symbolic testing of software using concrete software execution
    Patent number: 8997064
    Abstract: 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.
    Type: Grant
    Filed: August 16, 2012
    Date of Patent: March 31, 2015
    Assignee: Fujitsu Limited
    Inventors: Mukul R. Prasad, Maarten H. Wiggers
  • SOFTWARE VERIFICATION
    Publication number: 20140282419
    Abstract: A method of verifying software includes receiving at least a portion of a software program. The portion of the software program may include a software function within a class. The method may also include generating a proxy class based on the class where the proxy class includes a proxy function that includes a call to the software function and analyzing the proxy function. The analysis of the proxy function may include analyzing the software function based on a proxy condition used by the proxy function, the proxy condition based on the software program and configured to apply conditions to parameters and/or variables in the software function.
    Type: Application
    Filed: March 14, 2013
    Publication date: September 18, 2014
    Applicant: FUJITSU LIMITED
    Inventors: Hiroaki YOSHIDA, Maarten H. WIGGERS
  • SYMBOLIC TESTING OF SOFTWARE USING CONCRETE SOFTWARE EXECUTION
    Publication number: 20140053139
    Abstract: 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.
    Type: Application
    Filed: August 16, 2012
    Publication date: February 20, 2014
    Applicant: FUJITSU LIMITED
    Inventors: Mukul R. PRASAD, Maarten H. WIGGERS
  • SOFTWARE REGRESSION TESTING USING SYMBOLIC EXECUTION
    Publication number: 20140053134
    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.
    Type: Application
    Filed: August 16, 2012
    Publication date: February 20, 2014
    Applicant: FUJITSU LIMITED
    Inventors: Maarten H. WIGGERS, Mukul R. PRASAD, Indradeep GHOSH