Meng LI

Person

Niskayuna, NY, US

People

Patents Grantslast 30 patents

Information Patent Grant
Systems and methods of requirements chaining and applications thereof
- Patent number 10,585,779
- Issue date Mar 10, 2020
- General Electric Company
- Meng Li
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System and method for equivalence class analysis-based automated re...
- Patent number 10,437,713
- Issue date Oct 8, 2019
- General Electric Company
- Panagiotis Manolios
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System and method for model based technology and process for safety...
- Patent number 10,346,140
- Issue date Jul 9, 2019
- General Electric Company
- Timothy Lee Johnson
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System and method for test generation from software specification m...
- Patent number 10,169,217
- Issue date Jan 1, 2019
- General Electric Company
- Han Yu
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Integrated automated test case generation for safety-critical software
- Patent number 10,108,536
- Issue date Oct 23, 2018
- General Electric Company
- Meng Li
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System and method for equivalence class analysis-based automated re...
- Patent number 10,025,696
- Issue date Jul 17, 2018
- General Electric Company
- Panagiotis Manolios
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System and method for safety-critical software automated requiremen...
- Patent number 9,940,222
- Issue date Apr 10, 2018
- General Electric Company
- Meng Li
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System and method for coverage-based automated test case augmentati...
- Patent number 9,792,204
- Issue date Oct 17, 2017
- General Electric Company
- Meng Li
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
SYSTEMS AND METHODS OF REQUIREMENTS CHAINING AND APPLICATIONS THEREOF
- Publication number 20200034273
- Publication date Jan 30, 2020
- General Electric Company
- Meng LI
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SYSTEM AND METHOD FOR EQUIVALENCE CLASS ANALYSIS-BASED AUTOMATED RE...
- Publication number 20180300226
- Publication date Oct 18, 2018
- GENERAL ELECTRIC COMPANY
- Panagiotis MANOLIOS
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SYSTEM AND METHOD FOR SAFETY-CRITICAL SOFTWARE AUTOMATED REQUIREMEN...
- Publication number 20180196739
- Publication date Jul 12, 2018
- GENERAL ELECTRIC COMPANY
- Meng LI
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SYSTEM AND METHOD FOR TEST GENERATION FROM SOFTWARE SPECIFICATION M...
- Publication number 20170293549
- Publication date Oct 12, 2017
- GENERAL ELECTRIC COMPANY
- Han Yu
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SYSTEM AND METHOD FOR EQUIVALENCE CLASS ANALYSIS-BASED AUTOMATED RE...
- Publication number 20170228309
- Publication date Aug 10, 2017
- GENERAL ELECTRIC COMPANY
- Panagiotis MANOLIOS
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SYSTEM AND METHOD FOR COVERAGE-BASED AUTOMATED TEST CASE AUGMENTATI...
- Publication number 20170220456
- Publication date Aug 3, 2017
- GENERAL ELECTRIC COMPANY
- Meng LI
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SYSTEM AND METHOD FOR SAFETY-CRITICAL SOFTWARE AUTOMATED REQUIREMEN...
- Publication number 20170147482
- Publication date May 25, 2017
- GENERAL ELECTRIC COMPANY
- Meng LI
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SYSTEM AND METHOD FOR MODEL BASED TECHNOLOGY AND PROCESS FOR SAFETY...
- Publication number 20170039039
- Publication date Feb 9, 2017
- GENERAL ELECTRIC COMPANY
- Timothy Lee Johnson
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
INTEGRATED AUTOMATED TEST CASE GENERATION FOR SAFETY-CRITICAL SOFTWARE
- Publication number 20160170864
- Publication date Jun 16, 2016
- GENERAL ELECTRIC COMPANY
- Meng Li
- G06 - COMPUTING CALCULATING COUNTING

Person

Patents Grantslast 30 patents

Systems and methods of requirements chaining and applications thereof

System and method for equivalence class analysis-based automated re...

System and method for model based technology and process for safety...

System and method for test generation from software specification m...

Integrated automated test case generation for safety-critical software

System and method for equivalence class analysis-based automated re...

System and method for safety-critical software automated requiremen...

System and method for coverage-based automated test case augmentati...

Patents Applicationslast 30 patents

SYSTEMS AND METHODS OF REQUIREMENTS CHAINING AND APPLICATIONS THEREOF

SYSTEM AND METHOD FOR EQUIVALENCE CLASS ANALYSIS-BASED AUTOMATED RE...

SYSTEM AND METHOD FOR SAFETY-CRITICAL SOFTWARE AUTOMATED REQUIREMEN...

SYSTEM AND METHOD FOR TEST GENERATION FROM SOFTWARE SPECIFICATION M...

SYSTEM AND METHOD FOR EQUIVALENCE CLASS ANALYSIS-BASED AUTOMATED RE...

SYSTEM AND METHOD FOR COVERAGE-BASED AUTOMATED TEST CASE AUGMENTATI...

SYSTEM AND METHOD FOR SAFETY-CRITICAL SOFTWARE AUTOMATED REQUIREMEN...

SYSTEM AND METHOD FOR MODEL BASED TECHNOLOGY AND PROCESS FOR SAFETY...

INTEGRATED AUTOMATED TEST CASE GENERATION FOR SAFETY-CRITICAL SOFTWARE