Assignee
LI GUODONG
US·11 granted patents·1 pending application·75 citations·filing 2010–2015
Top patents by PatentIndex Score
12 records- 0194US8595701B2Symbolic execution and test generation for GPU programsLI GUODONG·Filed 2011·Granted Nov 26, 2013·30 cites·28 claims
- 0290US8645924B2Lossless path reduction for efficient symbolic execution and automatic test generationLI GUODONG·Filed 2011·Granted Feb 4, 2014·14 cites·22 claims
- 0384US8869113B2Software architecture for validating C++ programs using symbolic executionLI GUODONG·Filed 2011·Granted Oct 21, 2014·8 cites·23 claims
- 0480US9586484B2Electric-vehicle control deviceLI GUODONG·Filed 2015·Granted Mar 7, 2017·4 cites·6 claims
- 0580US8943487B2Optimizing libraries for validating C++ programs using symbolic executionLI GUODONG·Filed 2011·Granted Jan 27, 2015·6 cites·14 claims
- 0676US9038032B2Symbolic execution and automatic test case generation for JavaScript programsLI GUODONG·Filed 2012·Granted May 19, 2015·4 cites·12 claims
- 0771US9100384B2Method and apparatus for accessing heterogeneous networks via wireless local area networkLI GUODONG·Filed 2010·Granted Aug 4, 2015·3 cites·18 claims
- 0870US8578202B2System and method for providing high availability for distributed applicationLI GUODONG·Filed 2010·Granted Nov 5, 2013·3 cites·20 claims
- 0968US10017075B2Device for controlling electric automobileLI GUODONG·Filed 2015·Granted Jul 10, 2018·2 cites·5 claims
- 1062US9501331B2Satisfiability checkingLI GUODONG·Filed 2012·Granted Nov 22, 2016·1 cites·21 claims
- 1141US2012192162A1Optimizing Handlers for Application-Specific Operations for Validating C++ Programs Using Symbolic ExecutionLI GUODONG·Filed 2011·Application pending·0 cites
- 1239US9956890B2Device for controlling electric automobileLI GUODONG·Filed 2015·Granted May 1, 2018·0 cites·7 claims
Counts cover granted patents and pending applications in the PatentIndex corpus. How scoring works →