Maarten H. WIGGERS

Person

San Jose, CA, US

People

Patents Grantslast 30 patents

Information Patent Grant
Establishing a chain of trust within a virtual machine
- Patent number 9,992,024
- Issue date Jun 5, 2018
- Fujitsu Limited
- Zhexuan Song
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Grant
Software verification
- Patent number 9,396,095
- Issue date Jul 19, 2016
- Fujitsu Limited
- Maarten Wiggers
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Software verification
- Patent number 9,081,892
- Issue date Jul 14, 2015
- Fujitsu Limited
- Hiroaki Yoshida
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Iterative generation of symbolic test drivers for object-oriented l...
- Patent number 9,058,427
- Issue date Jun 16, 2015
- Fujitsu Limited
- Maarten Wiggers
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Software regression testing using symbolic execution
- Patent number 9,021,449
- Issue date Apr 28, 2015
- Fujitsu Limited
- Maarten H. Wiggers
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Symbolic testing of software using concrete software execution
- Patent number 8,997,064
- Issue date Mar 31, 2015
- Fujitsu Limited
- Mukul R. Prasad
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
SOFTWARE VERIFICATION
- Publication number 20150331787
- Publication date Nov 19, 2015
- Fujitsu Limited
- Maarten WIGGERS
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
PATH EXECUTION REDUCTION IN SOFTWARE PROGRAM VERIFICATION
- Publication number 20150331786
- Publication date Nov 19, 2015
- Fujitsu Limited
- Maarten WIGGERS
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SOFTWARE VERIFICATION
- Publication number 20140282419
- Publication date Sep 18, 2014
- Fujitsu Limited
- Hiroaki YOSHIDA
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SOFTWARE REGRESSION TESTING USING SYMBOLIC EXECUTION
- Publication number 20140053134
- Publication date Feb 20, 2014
- Fujitsu Limited
- Maarten H. WIGGERS
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SYMBOLIC TESTING OF SOFTWARE USING CONCRETE SOFTWARE EXECUTION
- Publication number 20140053139
- Publication date Feb 20, 2014
- Fujitsu Limited
- Mukul R. PRASAD
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Iterative Generation of Symbolic Test Drivers for Object-Oriented L...
- Publication number 20140019939
- Publication date Jan 16, 2014
- FUJITSU LIMITED
- Maarten Wiggers
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
ESTABLISHING A CHAIN OF TRUST WITHIN A VIRTUAL MACHINE
- Publication number 20130191643
- Publication date Jul 25, 2013
- Fujitsu Limited
- Zhexuan Song
- G06 - COMPUTING CALCULATING COUNTING

Maarten H. WIGGERS

Person

Patents Grantslast 30 patents

Establishing a chain of trust within a virtual machine

Software verification

Software verification

Iterative generation of symbolic test drivers for object-oriented l...

Software regression testing using symbolic execution

Symbolic testing of software using concrete software execution

Patents Applicationslast 30 patents

SOFTWARE VERIFICATION

PATH EXECUTION REDUCTION IN SOFTWARE PROGRAM VERIFICATION

SOFTWARE VERIFICATION

SOFTWARE REGRESSION TESTING USING SYMBOLIC EXECUTION

SYMBOLIC TESTING OF SOFTWARE USING CONCRETE SOFTWARE EXECUTION

Iterative Generation of Symbolic Test Drivers for Object-Oriented L...

ESTABLISHING A CHAIN OF TRUST WITHIN A VIRTUAL MACHINE